🌭 👨🏽‍🚀 🖨️ Sémantique et activité 🧚🏾 🧒🏽 🧘

Le texte « Systèmes numériques sémantiques » a noté que les technologies sémantiques modernes ne disposent pas encore d'outils à part entière pour décrire les activités. Les données sémantiques sont traditionnellement représentées sous la forme d'un graphe objet, dont les nœuds sont des entités ou des valeurs, et des propriétés d'arêtes (relations et attributs). Ces graphiques fixent l'état statique du domaine. Et un tel ensemble de données capturé simultanément devrait plutôt être considéré comme un graphique des connaissances sur le domaine, et non pas comme son modèle, surtout si le domaine est une activité, et non un ensemble de faits immuables.

Lorsqu'on considère un sujet comme une activité, il faut d'abord s'intéresser non pas aux entités et à leurs propriétés, mais aux actes, c'est-à-dire aux événements de changement de propriétés. Et bien sûr, beaucoup d'instructions pertinentes, c'est-à-dire nécessaires à la modélisation d'un domaine, ne doivent pas se limiter à une description de l'état actuel de l'activité, mais doivent être une séquence d'instructions fixant les événements d'entités changeantes. En fait, le fait est que le modèle sémantique du domaine ne devrait pas être représenté par un graphique d'objet statique, mais par un graphique dirigé acyclique temporel.

Pour clarifier ce dont il s'agit, regardons quelques exemples simples.

De la relation "Sasha et le conjoint de Masha" avec les attributs fixes des individus "Sasha man", "Masha woman", les relations "Sasha mari Masha", "Masha’s wife Sasha", ainsi que les relations relationnelles entre les époux et leurs parents: gendre, belle-fille , belle-mère, beau-père, etc. Cependant, il convient de noter que tout cet ensemble de faits a été généré par un événement «Sasha et Masha se sont mariés» (a reçu un certificat de mariage), qui doit être enregistré comme une affirmation, et toutes les relations générées par cet événement peuvent être générées automatiquement dans réponse aux requêtes de recherche utilisant des axiomes. Mais la chose la plus intéressante et la plus importante dans cet exemple est que l'événement «marié» peut être enregistré comme l'événement «Sasha et Masha divorcé», ce qui devrait annuler toutes les relations générées par le premier événement.

Les considérations ci-dessus suggèrent que nous faisons une distinction stricte entre les actes d'activité qui définissent la sémantique et les relations qu'ils génèrent, qui, sans ajouter de contenu, ne sont utilisées que dans la communication, c'est-à-dire pour simplifier la communication. Une séquence ordonnée d'événements tels que «Abraham engendra Isaac; Isaac a engendré Jacob; Jacob a donné naissance à Juda ... »est une base exhaustive pour comprendre qui est qui est son fils, son grand-père ou son arrière-grand-père. C'est-à-dire que l'ontologie peut être divisée en (1) le niveau substantiel (événement, actif) auquel les événements de changement du statut ou des propriétés des individus sont enregistrés, et (2) purement linguistique, dans lequel les règles pour nommer les relations entre les individus sont déterminées. De plus, le deuxième niveau de l'ontologie n'est nécessaire que pour servir les requêtes de recherche, car il est clair que l'utilisateur sera intéressé par "combien de neveux Magog avait-il?",et il ne commencera pas à formuler sa question de la manière suivante: «combien d'enfants sont nés de ceux qui sont nés de la même personne dont Magog est né?».

Ce qui précède est vrai pour toutes les relations - elles dérivent toutes d'actes d'activité. La relation «Ivanov travaille à Gazprom» et «Gazprom a un employé Ivanov» est générée par l'événement «Ivanov est embauché par Gazprom». C’est la dernière déclaration qui doit être préservée en tant que déclaration concernant des individus, et la présence d’Ivanov dans la liste des employés de Gazprom et le lieu de travail d’Ivanov sont obtenus à partir de cette déclaration selon des règles élémentaires (axiomes). Eh bien, il est évident que les données sur les individus devraient contenir une séquence de tous les événements d'embauche et de licenciement, c'est-à-dire qu'ils devraient être un graphique acyclique dirigé dans le temps.

A titre d'exemple, démontrant non seulement des avantages, mais la nécessité sémantique de l'approche événementielle, on peut citer la fixation de la relation «morceau - tout» (morceau de pain - un pain). Une tentative de décrire directement à travers la relation partielle entraînera l'absurdité «un morceau de pain fait partie d'un pain». Après tout, il est clair que lorsque nous avons un pain, alors il n'y a pas d'objet comme un morceau, et lorsque nous coupons un morceau de pain, il n'y aura pas de tout, c'est-à-dire un pain. À juste titre, cette situation ne peut être décrite qu'avec la déclaration verbale «un morceau a été coupé d'un pain», qui est liée à un moment précis et à partir de laquelle toutes les conclusions peuvent être tirées sur le lien entre le pain qui existait avant l'acte de couper le morceau et le nouveau «morceau» individuel qui n'est apparu qu'après cet événement. .

Donc, si nous nous fixons l'objectif de modéliser l'activité, nous devons alors fixer les actes / événements (avec un verbe conjonctif) comme des déclarations, en les construisant en séquences temporelles - processus et actions. Avec cette approche, les données seront organisées en graphiques acycliques dirigés. Dans ce cas, les graphiques d'objets décrivant les propriétés des entités du domaine doivent être obtenus à la suite d'une conclusion logique à partir de la totalité des actes, c'est-à-dire des événements de changements de propriétés.

Sémantique et activité

More articles: