•Lógica e Representação do Conhecimento
–Lógica dos Predicados
•A
capacidade de representação da lógica das proposições é pequena, a lógica dos predicados apresenta uma capacidade bastante ampliada neste sentido.
•A
lógica dos predicados inclui funções, variáveis, quantificadores e predicados.
•É
indecidível, ou seja, existem procedimentos que encontrarão a prova de um teorema proposto, se de fato houver o teorema, mas não há a
garantia de parar se a
afirmação proposta não for um teorema.
•Pode
também ser usada para representar conhecimento. Seja o exemplo:
•"(x,y,z)(filho(x,y) Ù
(filho(y,z)Þneto(x,z))
•Esta
fbf encerra o que se pode chamar de regra.
•Esta
regra é suposta verdadeira no mundo considerado.
•Pode-se
interpretar a regra como a definição de “neto” na nossa linguagem.