05503nam 22006734a 450 991045866290332120200520144314.01-281-05049-097866110504980-08-047661-9(CKB)1000000000364179(EBL)294040(OCoLC)703863158(SSID)ssj0000292062(PQKBManifestationID)11228970(PQKBTitleCode)TC0000292062(PQKBWorkID)10255946(PQKB)10971465(MiAaPQ)EBC294040(CaSebORM)9780123693884(Au-PeEL)EBL294040(CaPaEBR)ebr10186070(EXLCZ)99100000000036417920051103d2006 uy 0engur|n|---|||||txtccrCommonsense reasoning[electronic resource] /Erik T. Mueller1st editionAmsterdam ;Boston Elsevier Morgan Kaufmannc20061 online resource (431 p.)Description based upon print version of record.0-12-369388-8 Includes bibliographical references (p. 361-390) and index.Front cover; About the Author; Title page; Copyright page; Table of contents; Foreword; Preface; Why Commonsense Reasoning?; Approach; Intended Audience; Roadmap; Material Covered; Supplemental Materials; Web Site and Reasoning Programs; Exercises and Solutions; Text and Figure Acknowledgments; Acknowledgments; 1 Introduction; What Is Commonsense Reasoning?; Key Issues of Commonsense Reasoning; Summary; Brief History of Commonsense Reasoning; Logical Methods; Nonlogical Methods; The Event Calculus; Events, Fluents, and Timepoints; A Simple Example; Automated Event Calculus ReasoningBibliographic NotesPart I Foundations; 2 The Event Calculus; First-Order Logic; Syntax of First-Order Logic; Semantics of First-Order Logic; Proof Theory; Many-Sorted First-Order Logic; Notational Conventions; Event Calculus Basics; Event Calculus Sorts; Event Calculus Predicates; States of a Fluent; Event Calculus Axiomatizations; The (Continuous) Event Calculus; The Discrete Event Calculus; Choosing between the Event Calculus and the Discrete Event Calculus; Reification; Unique Names Axioms; Conditions; Circumscription; Computing Circumscription; Example: Circumscription of HappensExample: Circumscription of InitiatesDomain Descriptions; Example: Sleep; Inconsistency; Reasoning Types; Deduction and Temporal Projection; Abduction and Planning; Example: Sleep Abduction; Postdiction; Model Finding; Bibliographic Notes; Exercises; Part II Commonsense Phenomena; 3 The Effects of Events; Positive and Negative Effect Axioms; Example: Telephone; Effect Axiom Idioms; Preconditions; Fluent Preconditions; Action Preconditions; Example: Walking through a Door; State Constraints; Example: Telephone Revisited; Bibliographic Notes; Exercises; 4 The Triggering of EventsTrigger AxiomsExample: Alarm Clock; Preventing Repeated Triggering; Example: Bank Account Service Fee; Triggered Fluents; Bibliographic Notes; Exercises; 5 The Commonsense Law of Inertia; Representation of the Commonsense Law of Inertia; Frame Problem; Classical Frame Axioms; Explanation Closure Axioms; Minimizing Event Occurrences; Introduction of Initiates Predicate; Minimizing Event Effects; Introduction of Terminates Predicate; Discussion; Representing Release from the Commonsense Law of Inertia; Example: Yale Shooting Scenario; Releasing from Inertia; Restoring InertiaExplanation Closure Axioms for ReleasedAtExample: Russian Turkey Scenario; Release Axioms; Bibliographic Notes; Exercises; 6 Indirect Effects of Events; Effect Axioms; Example: Carrying a Book; Discussion; Primitive and Derived Fluents; Example: Device; Release Axioms and State Constraints; Example: Carrying a Book Revisited; Effect Constraints; Example: Carrying a Book Revisited; Causal Constraints; Example: Thielscher's Circuit; Trigger Axioms; Example: Thielscher's Circuit with Delays; Example: Shanahan's Circuit with Delays; Bibliographic Notes; Exercises; 7 Continuous ChangeTrajectory AxiomsTo endow computers with common sense is one of the major long-term goals of Artificial Intelligence research. One approach to this problem is to formalize commonsense reasoning using mathematical logic. Commonsense Reasoning is a detailed, high-level reference on logic-based commonsense reasoning. It uses the event calculus, a highly powerful and usable tool for commonsense reasoning, which Erik T. Mueller demonstrates as the most effective tool for the broadest range of applications. He provides an up-to-date work promoting the use of the event calculus for commonsense reasoning, and bringingCommonsense reasoningAutomationArtificial intelligenceMathematicsLogic, Symbolic and mathematicalData processingElectronic books.Commonsense reasoningAutomation.Artificial intelligenceMathematics.Logic, Symbolic and mathematicalData processing.153.4/3Mueller Erik T898871MiAaPQMiAaPQMiAaPQBOOK9910458662903321Commonsense reasoning2008260UNINA