Get best of the week

Semántica y actividad

El texto " Sistemas digitales semánticos " señaló que las tecnologías semánticas modernas aún no cuentan con herramientas completas para describir actividades. Los datos semánticos se representan tradicionalmente en forma de un gráfico de objeto, cuyos nodos son entidades o valores, y bordes - propiedades (relaciones y atributos). Tales gráficos fijan el estado estático del área temática. Y dicho conjunto de datos capturado simultáneamente debería considerarse más bien como un gráfico de conocimiento sobre el área temática, y no como su modelo, especialmente si el área temática es una actividad y no un conjunto de hechos inmutables.

Al considerar un área temática como una actividad, en primer lugar deberíamos estar interesados ​​no en entidades y sus propiedades, sino en actos, es decir, eventos de propiedades cambiantes. Y, por supuesto, muchas declaraciones relevantes, es decir, necesarias para modelar un dominio, no deben limitarse a una descripción del estado actual de la actividad, sino que deben ser una secuencia de declaraciones que arreglen eventos de entidades cambiantes. De hecho, el punto es que el modelo semántico del área temática no debe estar representado por un gráfico de objeto estático, sino por un gráfico dirigido acíclico temporal.

Para aclarar de qué se trata, veamos algunos ejemplos simples.

De la relación "el cónyuge de Sasha y Masha" con los atributos fijos de los individuos "hombre Sasha", "mujer Masha", las relaciones "marido Sasha Masha", "esposa Sasha de Masha", así como las relaciones entre cónyuges y sus padres: yerno, nuera , suegra, suegro, etc. Sin embargo, debe tenerse en cuenta que todo este conjunto de hechos fue generado por un evento "Sasha y Masha se casaron" (recibió un certificado de matrimonio), que debe guardarse como una afirmación, y todas las relaciones generadas por este evento pueden generarse automáticamente en respuesta a consultas de búsqueda utilizando axiomas. Pero lo más interesante e importante en este ejemplo es que el evento "casado" se puede registrar como el evento "Sasha y Masha se divorciaron", lo que debería cancelar todas las relaciones generadas por el primer evento.

Las consideraciones anteriores sugieren que distinguimos estrictamente entre los actos de actividad que definen la semántica y las relaciones que generan, que, sin agregar contenido, se usan solo en la comunicación, es decir, para simplificar la comunicación. Una secuencia ordenada de eventos como “Abraham engendró a Isaac; Isaac engendró a Jacob; Jacob dio a luz a Judá ... "es una base exhaustiva para entender quién es quién es su hijo, abuelo o bisabuelo. Es decir, la ontología se puede dividir en (1) el nivel sustancial (evento, activo) en el que se registran los eventos de cambio del estado o las propiedades de los individuos, y (2) puramente lingüístico, en el que se determinan las reglas para nombrar las relaciones entre los individuos. Además, el segundo nivel de la ontología es necesario solo para atender consultas de búsqueda, porque está claro que el usuario estará interesado en "¿cuántos sobrinos tenía Magog?",pero no formulará su pregunta de tal manera "¿cuántos hijos nacieron de aquellos nacidos del mismo de quien nació Magog?".

Lo anterior es cierto para todas las relaciones: todas derivan de actos de actividad. La relación "Ivanov trabaja en Gazprom" y "Gazprom tiene un empleado Ivanov" se genera por el evento "Gazprom contrata a Ivanov". Es la última declaración que debe preservarse como una declaración sobre individuos, y la presencia de Ivanov en la lista de empleados de Gazprom y el lugar de trabajo de Ivanov se obtiene de esta declaración de acuerdo con las reglas elementales (axiomas). Bueno, es obvio que los datos sobre las personas deben contener una secuencia de todos los eventos de contratación y despido, es decir, deben ser un gráfico acíclico dirigido temporalmente.

Como ejemplo, demostrando no solo las ventajas, sino la necesidad semántica del enfoque del evento, podemos citar la fijación de la relación "pieza - todo" (pieza de pan - una hogaza). Un intento de describir directamente a través de la relación parte-todo conducirá al absurdo de que "un pedazo de pan es parte de una barra de pan". Después de todo, está claro que cuando tenemos una barra de pan, entonces no existe un objeto como una pieza, y cuando cortamos un pedazo de pan, no habrá una barra entera, es decir, una barra de pan. Correctamente, esta situación se puede describir solo con la declaración verbal "una pieza se cortó de un pan", que está vinculada a un momento específico en el tiempo y de la cual se pueden sacar todas las conclusiones sobre la relación entre el pan que existía antes del acto de cortar la pieza y la nueva "pieza" individual que apareció solo después de este evento .

Entonces, si nos fijamos el objetivo de modelar la actividad, entonces deberíamos registrar los actos / eventos (con un verbo conectivo) como declaraciones, construyéndolos en secuencias temporales: procesos y acciones. Con este enfoque, los datos se organizarán en gráficos acíclicos dirigidos. En este caso, los gráficos de objetos que describen las propiedades de las entidades del área temática deben obtenerse como resultado de una conclusión lógica de la totalidad de los actos, es decir, eventos de cambios en las propiedades.

More articles:


All Articles