Lógica de Primeira Ordem

1569 palavras 7 páginas
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

Relacionados

  • Lógica de Primeira ordem
    11008 palavras | 45 páginas
  • ex logica de primeira ordem
    1579 palavras | 7 páginas
  • 12121
    1829 palavras | 8 páginas
  • 00 exercicios enunciados
    5274 palavras | 22 páginas
  • Verdade Logica e verdade ontologica
    11577 palavras | 47 páginas
  • ATPS eletrônica
    1353 palavras | 6 páginas
  • ATPS C
    4237 palavras | 17 páginas
  • Logica de predicados
    2362 palavras | 10 páginas
  • ATPS Ia 1 2015 Reformulado
    1656 palavras | 7 páginas
  • Algoritimo
    552 palavras | 3 páginas