Commonsense Reasoning: Book announcement
- From: erik@xxxxxxxxx (Erik T. Mueller)
- Date: 25 Jan 2006 21:59:13 -0500
The following is a book which readers of this list might find of
interest. For more information please visit
http://www.signiform.com/csr/
Commonsense Reasoning
Erik T. Mueller
ISBN 0-12-369388-8
432 pages
Morgan Kaufmann, an imprint of Elsevier
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
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.
Features:
* Covers key areas of commonsense reasoning including action, change,
defaults, space, and mental states.
* Focuses on how to use the event calculus to actually perform
commonsense reasoning; other texts focus only on the formalisms.
* Includes fully worked out proofs and circumscriptions for every
example.
* Describes software tools that can be downloaded
(http://decreasoner.sourceforge.net) and used for automated
commonsense reasoning, and real-world applications that have been
built using the event calculus.
For more information on this book, see http://www.signiform.com/csr/
.
- Prev by Date: Re: Where is the error?
- Next by Date: Substitutability in First-Order Logic
- Previous by thread: computable analysis problem
- Next by thread: Substitutability in First-Order Logic
- Index(es):
Relevant Pages
|
|
