Knowledge representation and reasoning
Print Book, English, 2004
Morgan Kaufmann Publishers, San Francisco, CA, 2004
Textbooks
xxix, 381 pages : illustrations ; 26 cm
9781558609327, 1558609326
1017042862
1. Introduction
2. The language of first-order logic
3. Expressing knowledge
4. Resolution
5. Reasoning with horn clauses
6. Procedural control of reasoning
7. Rules in production systems
8. Objects-oriented representation
9. Structured descriptions
10. Inheritance
11. Defaults
12. Vagueness uncertainty, and degrees of belief
13. Explanation and diagnosis
14. Actions
15. Planning
16. The tradeoff between expressiveness and tractability