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 into one place information scattered across many books and papers. Mueller shares the knowledge gained in using the event calculus and extends the literature with detailed event calculus solutions to problems that span many areas of the commonsense world.
What people are saying - Write a review
We haven't found any reviews in the usual places.
The Triggering of Events
The Commonsense Law of Inertia
16 other sections not shown
action active agent applications Artificial Intelligence awake axiomatization called cancellation causal Chapter CIRC[A circumscription commonsense law commonsense reasoning Computer concurrent condition conjunction consider consists constraints continuous change default defined DEFINITION described determining device Discrete Event Calculus discussed domain effect axioms emotions event calculus event occurrences example false first-order logic fluent follows Formalize formula frame function given goal Happens Happens(e Happens(e,t Holds indirect effects infer Initiates input introduced James Kitchen knowledge language law of inertia Living Room longer McCarthy method moves Nathan object observations occurs performed person precondition predicate presents problem Proof proposed PROPOSITION relation released represent representation Research scenario Shanahan situation calculus sort space specify starts Suppose symbol Table temporal term Terminates Terminates(e Theorem 2.1 theory timepoint trigger true turned variables walks