Logical foundations of artificial intelligence
Michael R. Genesereth and Nils J. Nilsson.
Los Altos, Calif. : Morgan Kaufmann, ©1987.
xviii, 405 págs. : ilustraciones ; 24 cm.
ISBN: 0934613311
Contenido
- 1. Introduction
- 2. Declarative Knowledge
- 3. Inference
- 4. Resolution
- 5. Resolution Strategies
- 6. Nonmonotonic Reasoning
- 7. Induction
- 8. Reasoning with Uncertain Beliefs
- 9. Knowledge and Belief
- 10. Metaknowledge and Metareasoning
- 11. State and Change
- 12. Planning
- 13. Intelligent-Agent Architecture.