Linguagens Simbólicas

Uma linguagem simbólica é um sistema formal: um vocabulário de símbolos, regras que decidem quais cadeias são fórmulas bem formadas, e uma interpretação I que escolhe um domínio D e liga cada FBF a um valor de verdade.

Fatos, regras, unificação e S-expressões deste tópico — e quadros, redes semânticas, produções e encadeamento no tópico de representação do conhecimento — partem desse par fórmula–interpretação.

As páginas se agrupam em três blocos. O primeiro monta o sistema: átomo e composto, árvore de análise, e o valor de φ sob I; quadros, redes e produções só se nomeiam.

O segundo deposita cláusulas de Horn e reduz a consulta: unifica o objetivo com a cabeça, substitui pelo corpo e retrocede no ramo que falhou.

O terceiro trata código e dado como S-expressão: a aspa impede a avaliação; car e cdr leem o primeiro elemento e o resto da lista.

Decidir se a cadeia é FBF, ou se ∀x (Cachorro(x) → ¬Pessoa(x)) vale sob I, está em Introdução às Linguagens Simbólicas. Unificar o objetivo com a cabeça e substituir pelo corpo está em LISP e Prolog.

Nomear quadro, rede semântica ou encadeamento, sem derivar, está em Introdução às Linguagens Simbólicas. Escrever gato(tom) e mamifero(X) :- gato(X) está em LISP e Prolog.

Trocar só I e reler a mesma φ está em Introdução às Linguagens Simbólicas. Produzir a substituição θ que torna dois termos iguais, ou o seletor car da S-expressão, está em LISP e Prolog.