{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":1,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":26,"n_cols":5,"rows_kept":26,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[4,2,4,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[10,2,10,3],[13,2,13,3],[14,2,14,3],[18,2,18,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910784649503321"]
[null,null,"Autore",null,"Mueller Erik T"]
[null,null,"Titolo",null,"Commonsense reasoning [[electronic resource] /] / Erik T. Mueller"]
[null,null,"Pubbl/distr/stampa",null,"Amsterdam ; ; Boston, : Elsevier Morgan Kaufmann, c2006"]
[null,null,"ISBN",null,"1-281-05049-0"]
[{"$nulls":4},"9786611050498"]
[{"$nulls":4},"0-08-047661-9"]
[null,null,"Edizione",null,"[1st edition]"]
[null,null,"Descrizione fisica",null,"1 online resource (431 p.)"]
[null,null,"Disciplina",null,"153.4/3"]
[null,null,"Soggetti",null,"Commonsense reasoning - Automation"]
[{"$nulls":4},"Artificial intelligence - Mathematics"]
[{"$nulls":4},"Logic, Symbolic and mathematical - Data processing"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references (p. 361-390) and index."]
[null,null,"Nota di contenuto",null,"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 Reasoning"]
[{"$nulls":4},"Bibliographic 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 Happens"]
[{"$nulls":4},"Example: 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 "]
[{"$nulls":4},"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 Events"]
[{"$nulls":4},"Trigger 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 Inertia"]
[{"$nulls":4},"Explanation 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 Change"]
[{"$nulls":4},"Trajectory Axioms"]
[null,null,null,"Sommario/riassunto","To 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 bringing"]