|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910825613503321 |
|
|
Autore |
Brachman Ronald J. <1949-> |
|
|
Titolo |
Knowledge representation and reasoning [[electronic resource] /] / Ronald J. Brachman, Hector J. Levesque |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Amsterdam ; ; Boston, : Morgan Kaufmann, c2004 |
|
|
|
|
|
|
|
ISBN |
|
1-281-04931-X |
9786611049317 |
0-08-048932-X |
|
|
|
|
|
|
|
|
Edizione |
[1st edition] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (413 p.) |
|
|
|
|
|
|
Collana |
|
The Morgan Kaufmann Series in Artificial Intelligence |
|
|
|
|
|
|
Altri autori (Persone) |
|
LevesqueHector J. <1951-> |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Knowledge representation (Information theory) |
Reasoning |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (p. 349-375) and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Front Cover; Knowledge Representation and Reasoning; Copyright Page; Contents; Preface; Acknowledgments; Chapter 1. Introduction; 1.1 The Key Concepts: Knowledge, Representation, and Reasoning; 1.2 Why Knowledge Representation and Reasoning?; 1.3 The Role of Logic; 1.4 Bibliographic Notes; 1.5 Exercises; Chapter 2. The Language of First-Order Logic; 2.1 Introduction; 2.2 The Syntax; 2.3 The Semantics; 2.4 The Pragmatics; 2.5 Explicit and Implicit Belief; 2.6 Bibliographic Notes; 2.7 Exercises; Chapter 3. Expressing Knowledge; 3.1 Knowledge Engineering; 3.2 Vocabulary; 3.3 Basic Facts |
3.4 Complex Facts3.5 Terminological Facts; 3.6 Entailments; 3.7 Abstract Individuals; 3.8 Other Sorts of Facts; 3.9 Bibliographic Notes; 3.10 Exercises; Chapter 4. Resolution; 4.1 The Propositional Case; 4.2 Handling Variables and Quantifiers; 4.3 Dealing with Computational Intractability; 4.4 Bibliographic Notes; 4.5 Exercises; Chapter 5. Reasoning with Horn Clauses; 5.1 Horn Clauses; 5.2 SLD Resolution; 5.3 Computing SLD Derivations; 5.4 Bibliographic Notes; 5.5 Exercises; Chapter 6. Procedural Control of Reasoning; 6.1 Facts and Rules; 6.2 Rule Formation and Search Strategy |
6.3 Algorithm Design6.4 Specifying Goal Order; 6.5 Committing to Proof Methods; 6.6 Controlling Backtracking; 6.7 Negation as Failure; 6.8 Dynamic Databases; 6.9 Bibliographic Notes; 6.10 Exercises; |
|
|
|
|