A aranha

LÓGICA DE PREDICADOS

SUMÁRIO

CAPÍTULO 1 - INTRODUÇÃO 1
1.1. Inteligência Artificial, Lógica Simbólica e Prova de Teoremas 1
1.2. Base Matemática 3
CAPÍTULO 2 - a lógica proposicional 5
2.1. Introdução 5
2.2 Interpretações de Fórmulas na Lógica Proposicional 6
2.3. Validade e Inconsistência na Lógica Proposicional 7
2.4 Formas Normais na Lógica Proposicional 9
2.5. Implicação Lógica 11
2.6 APLICAÇÕES DA LÓGICA PROPOSICIONAL 15
2.7 EXERCÍCIOS 17
CAPÍTULO 3 - LÓGICA DE pREDICADOS 20
3.1 INTRODUÇÃO 20
3.2 INTERPRETAÇÃO DE FÓRMULAS NA LÓGICA DE PREDICADOS 22
3.3 FORMAS NORMAIS PRENEX NA LÓGICA DE PREDICADOS 25
3.4 APLICAÇÕES DA LÓGICA DE PREDICADOS 28
3.5 EXERCÍCIOS 30
CAPÍTULO 4 - Teorema de Herbrand 33
4.1 INTRODUÇÃO 33
4.2 FORMAS PADRÃO DE SKOLEM 33
4.3 O UNIVERSO DE HERBRAND DE UM CONJUNTO DE CLÁUSULAS 37
4.4 ÁRVORES SEMÂNTICAS 41
4.5 TEOREMA DE HERBRAND 44
4.6 IMPLEMENTAÇÃO DO TEOREMA HERBRAND 46
4.7 EXERCÍCIOS 48
CAPÍTULO 5 - PRINCÍPIO DA RESOLUÇÃO 51
5.1. INTRODUÇÃO 51
5.2 O PRINCÍPIO DE RESOLUÇÃO PARA A LÓGICA PROPOSICIONAL 51
5.3 SUBSTITUIÇÃO E UNIFICAÇÃO 54
5.4 ALGORITMO DE UNIFICAÇÃO 56
5.5 O PRINCÍPIO DE RESOLUÇÃO DA LÓGICA DE PREDICADOS 58
5.6 COMPLETUDE DO PRINCÍPIO DE RESOLUÇÃO 60
5.7 EXEMPLOS USANDO O PRINCÍPIO DE RESOLUÇÃO 63
5.8 ESTRATÉGIA DE ELIMINAÇÃO 66
5.9 EXERCÍCIOS 70
CAPÍTULO 6 - RESOLUÇÃO SEMÂNTICA E RESOLUÇÃO INDEXADA 72
6.1 INTRODUÇÃO 72
6.2 INTRODUÇÃO INFORMAL À RESOLUÇÃO SEMÂNTICA 72
6.5 HIPERRESOLUÇÃO E ESTRATÉGIA DO CONJUNTO DE APOIO: CASOS ESPECIAIS DA RESOLUÇÃO SEMÂNTICA 77
6.5.1 Hiperresolução 77
6.5.2 Estratégia do Conjunto de Apoio 78
6.6 RESOLUÇÃO SEMÂNTICA USANDO CLÁUSULAS ORDENADAS 80
6.7 IMPLEMENTAÇÃO DA RESOLUÇÃO SEMÂNTICA 85
6.8 RESOLUÇÃO INDEXADA 87
6.9 COMPLETUDE DA RESOLUÇÃO INDEXADA 90
6.10 EXERCÍCIOS 91
CAPÍTULO 7 - RESOLUÇÃO LINEAR 95
7.1 INTRODUÇÃO 95
7.2 RESOLUÇÃO LINEAR 95
7.3 RESOLUÇÃO POR ENTRADA E RESOLUÇÃO UNITÁRIA 96
7.4 RESOLUÇÃO LINEAR USANDO CLÁUSULAS