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

INF 1771 – Inteligência Artificial Aula 09 – Introdução ao Prolog Edirlei Soares de Lima <elima@inf.puc-rio.br> Introdução • O Prolog é uma linguagem de programação baseada em lógica de primeira ordem. • Não é padronizada. • Algumas implementações: SICStus Prolog, Borland Turbo Prolog, SWI-Prolog... • Geralmente é interpretado, mas pode ser compilado. Prolog x Outras Linguagens • Linguagens Procedimentais (C, Pascal, Basic...): Especifica-se como realizar determinada tarefa. •…