05665nam 22006974a 450 991078313570332120230120004133.01-281-04931-X97866110493170-08-048932-X(CKB)1000000000016245(EBL)333988(OCoLC)476138988(SSID)ssj0000187978(PQKBManifestationID)12011961(PQKBTitleCode)TC0000187978(PQKBWorkID)10143229(PQKB)11345087(Au-PeEL)EBL333988(CaPaEBR)ebr10226628(CaONFJC)MIL104931(CaSebORM)9781558609327(MiAaPQ)EBC333988(EXLCZ)99100000000001624520040311d2004 uy 0engur|n|---|||||txtccrKnowledge representation and reasoning[electronic resource] /Ronald J. Brachman, Hector J. Levesque1st editionAmsterdam ;Boston Morgan Kaufmannc20041 online resource (413 p.)The Morgan Kaufmann Series in Artificial IntelligenceDescription based upon print version of record.1-4933-0379-1 1-55860-932-6 Includes bibliographical references (p. 349-375) and index.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 Facts3.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 Strategy6.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; Chapter 7. Rules in Production Systems; 7.1 Production Systems: Basic Operation; 7.2 Working Memory; 7.3 Production Rules; 7.4 A First Example; 7.5 A Second Example; 7.6 Conflict Resolution; 7.7 Making Production Systems More Efficient; 7.8 Applications and Advantages; 7.9 Some Significant Production Rule Systems; 7.10 Bibliographic Notes; 7.11 Exercises; Chapter 8. Object-Oriented Representation8.1 Objects and Frames8.2 A Basic Frame Formalism; 8.3 An Example: Using Frames to Plan a Trip; 8.4 Beyond the Basics; 8.5 Bibliographic Notes; 8.6 Exercises; Chapter 9. Structured Descriptions; 9.1 Descriptions; 9.2 A Description Language; 9.3 Meaning and Entailment; 9.4 Computing Entailments; 9.5 Taxonomies and Classification; 9.6 Beyond the Basics; 9.7 Bibliographic Notes; 9.8 Exercises; Chapter 10. Inheritance; 10.1 Inheritance Networks; 10.2 Strategies for Defeasible Inheritance; 10.3 A Formal Account of Inheritance Networks; 10.4 Bibliographic Notes; 10.5 Exercises; Chapter 11. Defaults11.1 Introduction11.2 Closed-World Reasoning; 11.3 Circumscription; 11.4 Default Logic; 11.5 Autoepistemic Logic; 11.6 Conclusion; 11.7 Bibliographic Notes; 11.8 Exercises; Chapter 12. Vagueness, Uncertainty, and Degrees of Belief; 12.1 Noncategorical Reasoning; 12.2 Objective Probability; 12.3 Subjective Probability; 12.4 Vagueness; 12.5 Bibliographic Notes; 12.6 Exercises; Chapter 13. Explanation and Diagnosis; 13.1 Diagnosis; 13.2 Explanation; 13.3 A Circuit Example; 13.4 Beyond the Basics; 13.5 Bibliographic Notes; 13.6 Exercises; Chapter 14. Actions; 14.1 The Situation Calculus14.2 A Simple Solution to the Frame ProblemKnowledge representation is at the very core of a radical idea for understanding intelligence. Instead of trying to understand or build brains from the bottom up, its goal is to understand and build intelligent behavior from the top down, putting the focus on what an agent needs to know in order to behave intelligently, how this knowledge can be represented symbolically, and how automated reasoning procedures can make this knowledge available as needed. This landmark text takes the central concepts of knowledge representation developed over the last 50 years and illustrates them in a lMorgan Kaufmann Series in Artificial IntelligenceKnowledge representation (Information theory)ReasoningKnowledge representation (Information theory)Reasoning.006.3/32Brachman Ronald J.1949-51202Levesque Hector J.1951-51203MiAaPQMiAaPQMiAaPQBOOK9910783135703321Knowledge representation and reasoning3794979UNINA01534nam0 22003011i 450 UON0008948520231205102503.27920020107d1993 |0itac50 baengUS|||| |||||ˆThe ‰Inscribed EconomyProduction and Distribution in the Roman Empire in the light of Instrumentum DomesticumThe proceedings of a conference held at The American Academy in Rome on 10-11 January, 1992edited by W. V. HarrisAnn ArborJRA1993192 p.ill.29 cm001UON000674252001 Journal of Roman archaeology. Supplementary seriesGeneral editorJ. H. Humphrey6001UON003631922001 Production and distribution in the Roman Empire in the light of instrumentum domesticumUON00363191ˆThe ‰proceedings of a conference held at The American Academy in Rome on 10-11 January, 1992USAnn Arbor (Michigan)UONL000025PERPERIODICIAHARRISWilliam V.UONV056035Journal of Roman ArchaeologyUONV258842650HARRIS, William VernonHARRIS, William V.UONV185286ITSOL20240220RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00089485SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI PER J 0250 SUPPL. 006 1993 SI MC 17094 7 1993 Inscribed economy650248UNIOR