A descrição de joabe

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 14
2.7 EXERCÍCIOS 16
CAPÍTULO 3 - LÓGICA DE pREDICADOS 19
3.1 INTRODUÇÃO 19
3.2 INTERPRETAÇÃO DE FÓRMULAS NA LÓGICA DE PREDICADOS 21
3.3 FORMAS NORMAIS PRENEX NA LÓGICA DE PREDICADOS 24
3.4 APLICAÇÕES DA LÓGICA DE PREDICADOS 27
3.5 EXERCÍCIOS 28
CAPÍTULO 4 - Teorema de Herbrand 31
4.1 INTRODUÇÃO 31
4.2 FORMAS PADRÃO DE SKOLEM 31
4.3 O UNIVERSO DE HERBRAND DE UM CONJUNTO DE CLÁUSULAS 35
4.4 ÁRVORES SEMÂNTICAS 39
4.5 TEOREMA DE HERBRAND 42
4.6 IMPLEMENTAÇÃO DO TEOREMA HERBRAND 44
4.7 EXERCÍCIOS 46
CAPÍTULO 5 - PRINCÍPIO DA RESOLUÇÃO 48
5.1. INTRODUÇÃO 48
5.2 O PRINCÍPIO DE RESOLUÇÃO PARA A LÓGICA PROPOSICIONAL 48
5.3 SUBSTITUIÇÃO E UNIFICAÇÃO 51
5.4 ALGORITMO DE UNIFICAÇÃO 52
5.5 O PRINCÍPIO DE RESOLUÇÃO DA LÓGICA DE PREDICADOS 55
5.6 COMPLETUDE DO PRINCÍPIO DE RESOLUÇÃO 57
5.7 EXEMPLOS USANDO O PRINCÍPIO DE RESOLUÇÃO 59
5.8 ESTRATÉGIA DE ELIMINAÇÃO 62
5.9 EXERCÍCIOS 66
CAPÍTULO 6 - RESOLUÇÃO SEMÂNTICA E RESOLUÇÃO INDEXADA 68
6.1 INTRODUÇÃO 68
6.2 INTRODUÇÃO INFORMAL À RESOLUÇÃO SEMÂNTICA 68
6.5 HIPERRESOLUÇÃO E ESTRATÉGIA DO CONJUNTO DE APOIO: CASOS ESPECIAIS DA RESOLUÇÃO SEMÂNTICA 73
6.5.1 Hiperresolução 73
6.5.2 Estratégia do Conjunto de Apoio 74
6.6 RESOLUÇÃO SEMÂNTICA USANDO CLÁUSULAS ORDENADAS 76
6.7 IMPLEMENTAÇÃO DA RESOLUÇÃO SEMÂNTICA 80
6.8 RESOLUÇÃO INDEXADA 83
6.9 COMPLETUDE DA RESOLUÇÃO INDEXADA 85
6.10 EXERCÍCIOS 87
CAPÍTULO 7 - RESOLUÇÃO LINEAR 90
7.1 INTRODUÇÃO 90
7.2 RESOLUÇÃO LINEAR 90
7.3 RESOLUÇÃO POR ENTRADA E RESOLUÇÃO UNITÁRIA 91
7.4 RESOLUÇÃO LINEAR USANDO CLÁUSULAS