Commonsense ReasoningTo endow computers with common sense is one of the major longterm goals of Artificial Intelligence research. One approach to this problem is to formalize commonsense reasoning using mathematical logic. Commonsense Reasoning is a detailed, highlevel reference on logicbased 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 uptodate 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.
Contents
Introduction  1 
The Triggering of Events  75 
The Commonsense Law of Inertia  85 
Copyright  
16 other sections not shown
Other editions  View all
Common terms and phrases
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 firstorder 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