Cargando…
Commonsense reasoning : an event calculus based approach /
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: An Event Calculus Based Approach is a detailed, high-level reference on lo...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam :
Elsevier Morgan Kaufmann,
[2015]
|
| Edición: | Second edition. |
| Temas: | |
| Acceso en línea: | Texto completo (Requiere registro previo con correo institucional) |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | OR_ocn899003980 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr mn||||||||| | ||
| 008 | 141127t20152015ne a ob 001 0 eng d | ||
| 040 | |a E7B |b eng |e rda |e pn |c E7B |d OCLCO |d UMI |d OSU |d DEBBG |d LIP |d BUF |d UUM |d OCLCF |d INT |d OCLCQ |d WYU |d CEF |d AU@ |d OCLCQ |d RDF |d INARC |d OCLCO |d OCLCQ | ||
| 019 | |a 899245479 | ||
| 020 | |a 9780128016473 |q (e-book) | ||
| 020 | |a 0128016477 |q (e-book) | ||
| 020 | |z 9780128014165 |q (paperback) | ||
| 020 | |z 0128014164 |q (paperback) | ||
| 029 | 1 | |a DEBBG |b BV042490471 | |
| 029 | 1 | |a DEBSZ |b 434836508 | |
| 029 | 1 | |a GBVCP |b 882843303 | |
| 035 | |a (OCoLC)899003980 |z (OCoLC)899245479 | ||
| 037 | |a CL0500000518 |b Safari Books Online | ||
| 050 | 4 | |a Q338.85 |b .M84 2015eb | |
| 082 | 0 | 4 | |a 153.4/3 |2 23 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Mueller, Erik T., |e author. | |
| 245 | 1 | 0 | |a Commonsense reasoning : |b an event calculus based approach / |c Erik T. Mueller. |
| 250 | |a Second edition. | ||
| 264 | 1 | |a Amsterdam : |b Elsevier Morgan Kaufmann, |c [2015] | |
| 264 | 4 | |c ©2015 | |
| 300 | |a 1 online resource (xxxiii, 482 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 520 | |a 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: An Event Calculus Based Approach 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 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 com ... | ||
| 504 | |a Includes bibliographical references and indexes. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Front Cover; Commonsense Reasoning:An Event Calculus Based Approach; Copyright; Dedication; Contents; Praise for Commonsense Reasoning; Foreword to the First Edition; Preface; About the Author; Acknowledgments to the First Edition; Acknowledgments to the Second Edition; New to the Second Edition; Chapter 1: Introduction; 1.1 What is Commonsense Reasoning?; 1.2 Key Issues of commonsense Reasoning; Representation; Objects, properties, events, and time; Object identity; Reasoning; Representations of commonsense knowledge; Effects of events; Context-sensitive effects; Nondeterministic effects | |
| 505 | 8 | |a Concurrent eventsSpace; Indirect effects; Preconditions; Commonsense law of inertia; Delayed effects and continuous change; Release from the commonsense law of inertia; Triggered events; Default reasoning; Mental states; Reasoning types; 1.2.1 Summary; 1.3 Brief history of commonsense reasoning; 1.3.1 Logical Methods; 1.3.2 Nonlogical Methods; 1.4 The event calculus; 1.4.1 Events, Fluents, and Timepoints; 1.4.2 A Simple Example; 1.4.3 Automated Event Calculus Reasoning; Bibliographic Notes; Commonsense reasoning; Logic and commonsense reasoning; Logical methods for commonsense reasoning | |
| 505 | 8 | |a Benchmark problemsNonlogical methods for commonsense reasoning; Declarative/procedural distinction; Automated reasoning and SAT; Part I: Foundations; Chapter 2: The Event Calculus; 2.1 First-order logic; 2.1.1 Syntax of First-Order Logic; 2.1.2 Semantics of First-Order Logic; 2.1.3 Proof Theory; 2.1.4 Many-Sorted First-Order Logic; 2.1.5 Notational Conventions; Case conventions; Implicit universal quantification; Conjunctions and disjunctions; Running exclusive or (XOR) notation; Definitions of abbreviations; 2.2 Event Calculus Basics; 2.2.1 Event Calculus Sorts | |
| 505 | 8 | |a 2.2.2 Event Calculus Predicates2.2.3 States of a Fluent; 2.3 Event calculus axiomatizations; 2.3.1 EC; Clipped, declipped, stopped, and started; Trajectory and AntiTrajectory; Inertia of HoldsAt; Inertia of ReleasedAt; Influence of events on fluents; 2.3.2 DEC; Stopped and started; Trajectory and AntiTrajectory; Inertia of HoldsAt; Inertia of ReleasedAt; Influence of events on fluents; 2.3.3 Choosing Between EC And DEC; 2.4 Reification; 2.4.1 Unique Names Axioms; 2.5 Conditions; 2.6 Circumscription; Nonmonotonic reasoning; 2.6.1 Computing Circumscription | |
| 505 | 8 | |a 2.6.2 Example: Circumscription of Happens2.6.3 Example: Circumscription of Initiates; 2.7 Domain descriptions; 2.7.1 Example: Sleep; 2.7.2 Inconsistency; 2.8 Reasoning types; 2.8.1 Deduction and Temporal Projection; 2.8.2 Abduction and Planning; 2.8.3 Example: Sleep Abduction; 2.8.4 Postdiction; 2.8.5 Model Finding; Bibliographic Notes; Event calculus basics and axioms; Reification; Time intervals; Nonmonotonic reasoning; Circumscription; Formalizing domains; Writing proofs; Reasoning types; Exercises; Part II: Commonsense Phenomena; Chapter 3: The Effects of Events | |
| 590 | |a O'Reilly |b O'Reilly Online Learning: Academic/Public Library Edition | ||
| 650 | 0 | |a Commonsense reasoning |x Automation. | |
| 650 | 0 | |a Artificial intelligence |x Mathematics. | |
| 650 | 0 | |a Logic, Symbolic and mathematical |x Data processing. | |
| 650 | 6 | |a Raisonnement de sens commun |x Automatisation. | |
| 650 | 6 | |a Intelligence artificielle |x Mathématiques. | |
| 650 | 6 | |a Logique symbolique et mathématique |x Informatique. | |
| 650 | 7 | |a Artificial intelligence |x Mathematics. |2 fast |0 (OCoLC)fst00817266 | |
| 650 | 7 | |a Logic, Symbolic and mathematical |x Data processing. |2 fast |0 (OCoLC)fst01002071 | |
| 700 | 1 | |a Limbert, Matthew, |e designer. | |
| 776 | 0 | 8 | |i Print version: |a Mueller, Erik T. |t Commonsense reasoning. |b Second edition. |d Waltham, MA : Morgan Kaufmann, [2015] |z 9780128014165 |w (DLC) 2014029954 |w (OCoLC)885092730 |
| 856 | 4 | 0 | |u https://learning.oreilly.com/library/view/~/9780128014165/?ar |z Texto completo (Requiere registro previo con correo institucional) |
| 938 | |a ebrary |b EBRY |n ebr10986756 | ||
| 938 | |a Internet Archive |b INAR |n commonsensereaso0000muel | ||
| 994 | |a 92 |b IZTAP | ||