[Ia]calculodepredicados

Inteligˆncia Artificial e Inferˆncia L´gica com C´lculo de Predicados de 1a Ordem e o a Prof. Wagner Toscano [e-mail] 11 de abril de 2009

1

C´lculo de predicados de 1a ordem a C´lculo de Predicados ´ um composto de predicados, quantificadores , conectivos l´gicos e regras de inferˆncia. Nosso a e o e foco, neste momento ser´ com rela¸˜o aos quantificadores. a ca
Vimos que a transforma¸˜o de senten¸as declarativas (em que n˜o haja paradoxo), com a utiliza¸˜o de conectivos ca c a ca l´gicos, permitem construir proposi¸˜es que poder˜o ser implementadas em uma linguagem l´gica, com o objetivo o co a o de poderem ser inferidas.
Por´m a transforma¸˜o de senten¸as como: e ca c Todos os amigos de Carlos s˜o amigos de Jonas. a Pedro n˜o ´ amigo de Jonas. ae Logo, Pedro n˜o ´ amigo de Carlos. ae ou
Todos os humanos s˜o racionais. a Alguns animais s˜o humanos. a Portanto, alguns animais s˜o racionais. a Possuem palavras que denotam quantidades n˜o precisas, como: todos, alguns, qualquer, nenhum etc. Dessa a forma para que possamos traduzir essas senten¸as para uma proposi¸˜o a ser implementada, ´ necess´rio introduzir c ca e a novos s´ ımbolos que auxiliar˜o na convers˜o. Na tabela 1, para recorda¸˜o tamb´m, s˜o apresentados os s´ a a ca e a ımbolos j´ a conhecidos al´m dos novos s´ e ımbolos.
S´
ımbolo conectivos (∧ ∨ →
↔ ⊕ ¬) parˆnteses ”( )” e vari´veis (a, b, c) a constantes (Jos´, e Marcio, Luana) s´ ımbolos de predicados quantificadores (∀ ∃) termos Descri¸˜o ca auxiliam no relacionamento das proposi¸˜es co agrupam objetos relacionados representam objetos desconhecidos, os quais n˜o se sabe se a est˜o identificados no Universo considerado a representam objetos identificados no universo representam propriedades ou rela¸˜es entre objetos do unico verso representam o relacionamento de uma quantidade indefinida de objetos
´ o nome gen´rico de vari´veis e