•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.