Lógica de Primeira Ordem

INF 1771 – Inteligência Artificial
Aula 08 – Lógica de Primeira Ordem

Edirlei Soares de Lima

Agente Baseado em Conhecimento
• O componente central de um agente baseado em conhecimento é sua base de conhecimento.
• A base de conhecimento é formada por um conjunto de sentenças expressadas através de uma linguagem lógica de representação de conhecimento.
• Deve ser possível adicionar novas sentenças à base e consultar o que se conhece. Ambas as tarefas podem envolver inferência
(derivação de novas sentenças a partir de sentenças antigas).

Limitações da Lógica Proposicional
• Muito simples para representar o conhecimento de ambientes complexos de uma forma concisa.
• Falta de capacidade de expressão para descrever um ambiente com muitos objetos.
– Exemplo em linguagem natural:
• “quadrados adjacentes a poços possuem brisa”

– Em lógica proposicional:
• B1,1⇔(P1,2 ∨ P2,1)

-

(Seria necessário declarar todas as salas!)

Linguagem Natural
• Objetos: pessoas, casas, números, cores, jogos, séculos...
• Relações:
– Unárias: propriedades de um objeto.
• Exemplo: vermelho, redondo, falso

– n-árias: relacionam grupos de objetos.
• Exemplo: irmão de, maior que, interior a, parte de...

– Funções: um objeto está relacionado a exatamente um objeto.
• Exemplo: pai de, melhor amigo de, terceiro turno de, uma unidade maior que...

• Linguagem da lógica de primeira ordem é elaborada em torno de objetos e relações.

Lógica de Primeira Ordem
• Principal diferença entre lógica proposicional e a lógica de primeira ordem é o compromisso ontológico, ou seja, o que cada linguagem pressupões sobre a natureza da realidade: – Lógica Proposicional: pressupõe que existem fatos que são válidos ou não-válidos no mundo.
– Lógica de Primeira Ordem: pressupõe que o mundo consiste em objetos com certas relações entre eles que são válidas ou não-válidas.

Modelo em Lógica de Primeira Ordem
• Exemplo: Ricardo Coração de Leão, rei da