book

Knowledge Representation and Reasoning

by Ronald Brachman, Hector Levesque

June 2004

Beginner to intermediate

381 pages

10h 48m

English

Morgan Kaufmann

Read now

Unlock full access

1.1 THE KEY CONCEPTS: KNOWLEDGE, REPRESENTATION, AND REASONING1.2 WHY KNOWLEDGE REPRESENTATION AND REASONING?1.3 THE ROLE OF LOGIC1.4 BIBLIOGRAPHIC NOTES1.5 EXERCISES
2.1 INTRODUCTION2.2 THE SYNTAX2.3 THE SEMANTICS2.4 THE PRAGMATICS2.5 EXPLICIT AND IMPLICIT BELIEF2.6 BIBLIOGRAPHIC NOTES2.7 EXERCISES

3.1 KNOWLEDGE ENGINEERING3.2 VOCABULARY3.3 BASIC FACTS3.4 COMPLEX FACTS3.5 TERMINOLOGICAL FACTS3.6 ENTAILMENTS3.7 ABSTRACT INDIVIDUALS3.8 OTHER SORTS OF FACTS3.9 BIBLIOGRAPHIC NOTES3.10 EXERCISES
4.1 THE PROPOSITIONAL CASE4.2 HANDLING VARIABLES AND QUANTIFIERS4.3 DEALING WITH COMPUTATIONAL INTRACTABILITY4.4 BIBLIOGRAPHIC NOTES4.5 EXERCISES
5.1 HORN CLAUSES5.2 SLD RESOLUTION5.3 COMPUTING SLD DERIVATIONS5.4 BIBLIOGRAPHIC NOTES5.5 EXERCISES
6.1 FACTS AND RULES6.2 RULE FORMATION AND SEARCH STRATEGY6.3 ALGORITHM DESIGN6.4 SPECIFYING GOAL ORDER6.5 COMMITTING TO PROOF METHODS6.6 CONTROLLING BACKTRACKING6.7 NEGATION AS FAILURE6.8 DYNAMIC DATABASES6.9 BIBLIOGRAPHIC NOTES6.10 EXERCISES
7.1 PRODUCTION SYSTEMS: BASIC OPERATION7.2 WORKING MEMORY7.3 PRODUCTION RULES7.4 A FIRST EXAMPLE7.5 A SECOND EXAMPLE7.6 CONFLICT RESOLUTION7.7 MAKING PRODUCTION SYSTEMS MORE EFFICIENT7.8 APPLICATIONS AND ADVANTAGES7.9 SOME SIGNIFICANT PRODUCTION RULE SYSTEMS7.10 BIBLIOGRAPHIC NOTES7.11 EXERCISES
8.1 OBJECTS AND FRAMES8.2 A BASIC FRAME FORMALISM8.3 AN EXAMPLE: USING FRAMES TO PLAN A TRIP8.4 BEYOND THE BASICS8.5 BIBLIOGRAPHIC NOTES8.6 EXERCISES
9.1 DESCRIPTIONS9.2 A DESCRIPTION LANGUAGE9.3 MEANING AND ENTAILMENT9.4 COMPUTING ENTAILMENTS9.5 TAXONOMIES AND CLASSIFICATION9.6 BEYOND THE BASICS9.7 BIBLIOGRAPHIC NOTES9.8 EXERCISES
10.1 INHERITANCE NETWORKS10.2 STRATEGIES FOR DEFEASIBLE INHERITANCE10.3 A FORMAL ACCOUNT OF INHERITANCE NETWORKS10.4 BIBLIOGRAPHIC NOTES10.5 EXERCISES
11.1 INTRODUCTION11.2 CLOSED-WORLD REASONING11.3 CIRCUMSCRIPTION11.4 DEFAULT LOGIC11.5 AUTOEPISTEMIC LOGIC11.6 CONCLUSION11.7 BIBLIOGRAPHIC NOTES11.8 EXERCISES
12.1 NONCATEGORICAL REASONING12.2 OBJECTIVE PROBABILITY12.3 SUBJECTIVE PROBABILITY12.4 VAGUENESS12.5 BIBLIOGRAPHIC NOTES12.6 EXERCISES
13.1 DIAGNOSIS13.2 EXPLANATION13.3 A CIRCUIT EXAMPLE13.4 BEYOND THE BASICS13.5 BIBLIOGRAPHIC NOTES13.6 EXERCISES
14.1 THE SITUATION CALCULUS14.2 A SIMPLE SOLUTION TO THE FRAME PROBLEM14.3 COMPLEX ACTIONS14.4 BIBLIOGRAPHIC NOTES14.5 EXERCISES
15.1 PLANNING IN THE SITUATION CALCULUS15.2 THE STRIPS REPRESENTATION15.3 PLANNING AS A REASONING TASK15.4 BEYOND THE BASICS15.5 BIBLIOGRAPHIC NOTES15.6 EXERCISES
16.1 A DESCRIPTION LOGIC CASE STUDY16.2 LIMITED LANGUAGES16.3 WHAT MAKES REASONING HARD?16.4 VIVID KNOWLEDGE16.5 BEYOND VIVID16.6 BIBLIOGRAPHIC NOTES16.7 EXERCISES