•Lógica e Representação do Conhecimento
–Lógica dos Predicados
•Calabar foi enforcado;
•getúlio foi presidente;
•Todo traidor é enforcado;
•Todos os índios eram selvagens;
•Tiradentes não era índio;
•Tiradentes foi considerado traidor.
•
•Enforcado(Calabar);
•presidente(Getúlio);
•" x traidor(x) Þ enforcado(x);
•" x índio(x) Þ selvagem(x);
•Ø índio(Tiradentes);
•traidor(Tiradentes).
•
–As representações ocasionaram a perda de informações, como é o caso dos tempos das ocorrências dos fatos.
–Podemos inferir que Tiradentes foi enforcado, mas não podemos inferir que Calabar era um traidor.
–A lógica separa entre si a represntação e o procedimento, tornando difícil incluir aspectos heurísticos. Isto faz com que sua aplicação a problemas grandes complique.
–A representação de conhecimento usando Lógica usa fbfs da Lógica de Primeira Ordem e a todas elas é dado o valor de verdade verdadeiro, formando uma base de regras e fatos e constituindo a Base de Conhecimentos. Um mecanismo externo a esta base irá manipulá-la, com regras de inferência (ex. modus ponens) para resolver o problema desejado.
–PROBLEMA DE UTILIZAR REGRAS DE INFERÊNCIA OU TABELAS VERDADE:
•Explosão Combinatorial,
•Que regra usar?