Library Hours
Monday to Friday: 9 a.m. to 9 p.m.
Saturday: 9 a.m. to 5 p.m.
Sunday: 1 p.m. to 9 p.m.
Naper Blvd. 1 p.m. to 5 p.m.
LEADER 00000cam a2200661 i 4500
001 899003980
003 OCoLC
005 20240129213017.0
006 m o d
007 cr mn|||||||||
008 141127t20152015ne a ob 001 0 eng d
019 899245479
020 9780128016473|q(e-book)
020 0128016477|q(e-book)
020 |q(paperback)
020 |q(paperback)
029 1 DEBBG|bBV042490471
029 1 DEBSZ|b434836508
029 1 GBVCP|b882843303
035 (OCoLC)899003980|z(OCoLC)899245479
037 CL0500000518|bSafari Books Online
040 E7B|beng|erda|epn|cE7B|dOCLCO|dUMI|dOSU|dDEBBG|dLIP|dBUF
|dUUM|dOCLCF|dINT|dOCLCQ|dWYU|dCEF|dAU@|dOCLCQ|dRDF|dINARC
|dOCLCO|dOCLCQ|dOCLCO|dOCLCL
049 INap
082 04 153.4/3
082 04 153.4/3|223
099 eBook O'Reilly for Public Libraries
100 1 Mueller, Erik T.,|eauthor.
245 10 Commonsense reasoning :|ban event calculus based approach
/|cErik T. Mueller.|h[O'Reilly electronic resource]
250 Second edition.
264 1 Amsterdam :|bElsevier Morgan Kaufmann,|c[2015]
264 4 |c©2015
300 1 online resource (xxxiii, 482 pages) :|billustrations
336 text|btxt|2rdacontent
337 computer|bc|2rdamedia
338 online resource|bcr|2rdacarrier
504 Includes bibliographical references and indexes.
505 0 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 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 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 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 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
520 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 ...
588 0 Print version record.
590 O'Reilly|bO'Reilly Online Learning: Academic/Public
Library Edition
650 0 Commonsense reasoning|xAutomation.
650 0 Artificial intelligence|xMathematics.
650 0 Logic, Symbolic and mathematical|xData processing.
650 6 Raisonnement de sens commun|xAutomatisation.
650 6 Intelligence artificielle|xMathématiques.
650 6 Logique symbolique et mathématique|xInformatique.
650 7 Artificial intelligence|xMathematics|2fast
650 7 Logic, Symbolic and mathematical|xData processing|2fast
700 1 Limbert, Matthew,|edesigner.
776 08 |iPrint version:|aMueller, Erik T.|tCommonsense reasoning.
|bSecond edition.|dWaltham, MA : Morgan Kaufmann, [2015]
|z9780128014165|w(DLC) 2014029954|w(OCoLC)885092730
856 40 |uhttps://ezproxy.naperville-lib.org/login?url=https://
learning.oreilly.com/library/view/~/9780128014165/?ar
|zAvailable on O'Reilly for Public Libraries
938 ebrary|bEBRY|nebr10986756
938 Internet Archive|bINAR|ncommonsensereaso0000muel
994 92|bJFN