Introdução e Histórico
Introdução
- É dificil dar uma definição precisa de Lógica.
- “Logic is the systematic study of the structure of propositions and of the general conditions of valid inference by a method which abstracts from the content or matter of the propositions and deals only with their logical form” Encyclopaedia Brittanica
- Importância como teoria matemática.
- Adequada como método de representação de conhecimento.
- É O SISTEMA FORMAL MAIS SIMPLES DE QUE APRESENTA UMA TEORIA SEMÂNTICA INTERESSANTE DO PONTO DE VISTA DA REPRESENTAÇÃO DO CONHECIMENTO.
- Ainda hoje grande parte da pesquisa em IA está ligada direta ou indiretamente à Lógica.