KL-ONE
KL-ONE (pronuncia-se "kay ell won") é um sistema de representação de conhecimento na tradição de redes e quadros semânticos; ou seja, é uma linguagem de quadro. O sistema é uma tentativa de superar a indistinção semântica em representações de rede semântica e representar explicitamente informações conceituais como uma rede de herança estruturada.
Visão geral
Existe toda uma família de sistemas semelhantes ao KL-ONE. Uma das inovações que o KL-ONE iniciou foi o uso de um classificador dedutivo, um mecanismo de raciocínio automatizado que pode validar uma ontologia de quadro e deduzir novas informações sobre a ontologia com base nas informações iniciais fornecidas por um especialista do domínio.
Frames em KL-ONE são chamados de conceitos. Estes formam hierarquias usando relações de subsunção; na terminologia KL-ONE, diz-se que uma superclasse inclui suas subclasses. Herança múltipla é permitida. Na verdade, diz-se que um conceito é bem formado apenas se herdar de mais de um outro conceito. Todos os conceitos, exceto o conceito superior (geralmente COISA), devem ter pelo menos uma superclasse.
No KL-ONE, as descrições são separadas em duas classes básicas de conceitos: primitivo e definido. Primitivos são conceitos de domínio que não estão totalmente definidos. Isso significa que, dadas todas as propriedades de um conceito, isso não é suficiente para classificá-lo. Eles também podem ser vistos como definições incompletas. Usando a mesma visão, os conceitos definidos são definições completas. Dadas as propriedades de um conceito, estas são condições necessárias e suficientes para classificar o conceito.
O conceito de slot é chamado de funções e os valores das funções são preenchimentos de funções. Existem vários tipos diferentes de papéis a serem usados em diferentes situações. O tipo de função mais comum e importante é o RoleSet genérico que captura o fato de que a função pode ser preenchida com mais de um preenchimento.
Contenido relacionado
RUR-5 ASROC
Prova automática de teorema
Áster CT-80