Representação do Conhecimento

Uma representação do conhecimento é um esquema para escrever o que o sistema sabe: sentenças numa linguagem reunidas numa base de conhecimento (KB). O mecanismo de inferência deriva, a partir dessas sentenças, o que não foi escrito.

Cláusulas de Horn, herança is-a e o ciclo reconhece–age deste tópico — e raciocínio não monotônico, fatores de certeza e Bayes nos seguintes — partem dessa KB.

As páginas se agrupam em três blocos. O primeiro fixa a linguagem da KB: predicado com aridade, fato, cláusula de Horn; e agrupa o conceito em frame (slots) ou o escreve como procedimento.

O segundo sobe a cadeia is-a e herda o atributo do ancestral; o valor no nó mais específico substitui o herdado.

O terceiro itera combinação, resolução de conflito e disparo na memória de trabalho, para frente até saturar ou para trás até o objetivo.

Átomos, aridade e a cláusula H ← B₁ ∧ ⋯ ∧ Bₙ numa KB estão em Esquemas de Representação do Conhecimento. O ciclo match–conflito–disparo, a saturação para frente e a árvore de subobjetivos para trás estão em Sistemas de Produção.

Preencher slots de um frame, com valor padrão e exceção, está em Esquemas de Representação do Conhecimento. Subir is-a e herdar o atributo do ancestral, salvo o valor no ancestral mais próximo, está em Representação em Rede.

A transitividade de is-a por percurso no grafo está em Representação em Rede. A cadeia A ⇒ B, B ⇒ C disparada a partir do fato A, até saturar a memória, está em Sistemas de Produção.