A descrição de joabe

25720 palavras 103 páginas
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

Relacionados

  • 2015 Prim
    3130 palavras | 13 páginas
  • Pesquisa
    581 palavras | 3 páginas
  • ADM 216
    1324 palavras | 6 páginas
  • 239046718
    1950 palavras | 8 páginas
  • Antigo Testamento
    10509 palavras | 43 páginas
  • pcmat
    1847 palavras | 8 páginas
  • Dá-nos um Rei
    7926 palavras | 32 páginas
  • Fichamento
    567 palavras | 3 páginas
  • Empreendedorismo
    2326 palavras | 10 páginas
  • ESPECIFICAÇÃO DE SOFTWARE: Sistema de Cadastro e Consulta para Alocação de sala de aula, laboratório e auditório no CCA/UFES para os professores.
    21796 palavras | 88 páginas