Knowledge representation and reasoning /
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Subjects: | |
| Online Access: | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=196373 |
Table of Contents:
- Chapter 1. Introduction
- - Chapter 2. The Language of First-Order Logic
- - Chapter 3. Expressing Knowledge
- - Chapter 4. Resolution
- - Chapter 5. Reasoning with Horn Clauses
- - Chapter 6. Procedural Control of Reasoning
- - Chapter 7. Rules in Production Systems
- - Chapter 8. Object-Oriented Representation
- - Chapter 9. Structured Descriptions
- - Chapter 10. Inheritance
- - Chapter 11. Defaults
- - Chapter 12. Vagueness, Uncertainty, and Degrees of Belief
- - Chapter 13. Explanation and Diagnosis
- - Chapter 14. Actions.