Get best of the week

Semântica e atividade

O texto “ Sistemas Digitais Semânticos ” observou que as modernas tecnologias semânticas ainda não possuem ferramentas completas para descrever atividades. Os dados semânticos são tradicionalmente representados na forma de um gráfico de objetos, cujos nós são entidades ou valores e arestas - propriedades (relações e atributos). Esses gráficos fixam o estado estático da área de assunto. E esse conjunto de dados capturados simultaneamente deve ser considerado como um gráfico de conhecimento sobre a área de assunto, e não como seu modelo, especialmente se a área de assunto for uma atividade e não um conjunto de fatos imutáveis.

Ao considerar uma área de assunto como uma atividade, devemos primeiro nos interessar não pelas entidades e suas propriedades, mas pelos atos, ou seja, eventos de mudança de propriedades. E, é claro, muitas declarações relevantes, ou seja, necessárias para modelar a área de assunto, não devem se limitar a uma descrição do estado atual da atividade, mas devem ser uma sequência de instruções que fixam eventos de entidades em mudança. De fato, o ponto é que o modelo semântico da área de assunto não deve ser representado por um gráfico estático de objetos, mas por um gráfico direcionado acíclico temporal.

Para deixar mais claro do que se trata, vejamos alguns exemplos simples.

Do relacionamento "cônjuge de Sasha e Masha" com os atributos fixos dos indivíduos "homem de Sasha", "mulher de Masha", as relações "marido de Sasha Masha", "esposa de Masha Sasha", bem como as relações de relacionamento entre cônjuges e seus pais: genro, nora , sogra, sogro etc. No entanto, deve-se notar que todo esse conjunto de fatos foi gerado por um evento "Sasha e Masha se casaram" (recebeu uma certidão de casamento), que deve ser salva como uma afirmação, e todas as relações geradas por esse evento podem ser geradas automaticamente em resposta a consultas de pesquisa usando axiomas. Mas o mais interessante e importante neste exemplo é que o evento "casado" pode ser registrado como "Sasha e Masha se divorciaram", o que deve cancelar todas as relações geradas pelo primeiro evento.

As considerações acima sugerem que distinguimos estritamente entre atos de atividade que definem semântica e os relacionamentos que eles geram, os quais, sem adicionar conteúdo, são usados ​​apenas na comunicação, ou seja, para simplificar a comunicação. Uma sequência ordenada de eventos como “Abraão gerou Isaque; Isaque gerou a Jacó; Jacó deu à luz Judá ... ”é uma base exaustiva para entender quem é quem é seu filho, avô ou bisavô. Ou seja, a ontologia pode ser dividida em (1) o nível substancial (evento, ativo) no qual os eventos de alteração do status ou das propriedades dos indivíduos são registrados e (2) puramente linguístico, no qual são determinadas as regras para nomear as relações entre os indivíduos. Além disso, o segundo nível da ontologia é necessário apenas para atender às consultas de pesquisa, porque é claro que o usuário estará interessado em "quantos sobrinhos Magog tinha?",e ele não começará a formular sua pergunta de tal maneira: "quantos filhos nasceram por aqueles nascidos do mesmo filho de quem Magogue nasceu?".

O acima exposto é verdadeiro para todos os relacionamentos - todos são derivados de atos de atividade. O relacionamento “Ivanov trabalha na Gazprom” e “Gazprom tem um funcionário Ivanov” é gerado pelo evento “Ivanov é contratado pela Gazprom”. É a última declaração que deve ser preservada como uma declaração sobre indivíduos, e a presença de Ivanov na lista de funcionários da Gazprom e no local de trabalho de Ivanov é obtida desta declaração de acordo com regras elementares (axiomas). Bem, é óbvio que os dados dos indivíduos devem conter uma sequência de todos os eventos de contratação e demissão, ou seja, eles devem ser um gráfico acíclico temporal direcionado.

Como exemplo, demonstrando não apenas vantagens, mas a necessidade semântica da abordagem do evento, podemos citar a fixação da relação “pedaço - todo” (pedaço de pão - um pão). Uma tentativa de descrever diretamente através do relacionamento parte-todo levará ao absurdo "um pedaço de pão faz parte de um pão". Afinal, é claro que, quando temos um pão, não existe um objeto como um pedaço e, quando cortamos um pedaço de pão, não haverá todo, isto é, um pão. Corretamente, essa situação pode ser descrita apenas com a afirmação verbal "uma peça foi cortada de um pão", que está ligada a um momento específico no tempo e a partir do qual todas as conclusões podem ser tiradas sobre a conexão entre o pão que existia antes do ato de cortar a peça e a nova "peça" individual que apareceu somente após esse evento .

Portanto, se estabelecemos o objetivo de modelar a atividade, devemos fixar atos / eventos (com um verbo conectivo) como instruções, construindo-os em sequências temporais - processos e ações. Com essa abordagem, os dados serão organizados em gráficos acíclicos direcionados. Nesse caso, os gráficos de objetos que descrevem as propriedades das entidades da área de assunto devem ser obtidos como resultado de uma conclusão lógica da totalidade dos atos, ou seja, eventos de alterações nas propriedades.

More articles:


All Articles