ANN: Commonsense Reasoning: Book announcement
- From: erik@xxxxxxxxx (Erik T. Mueller)
- Date: Thu, 26 Jan 2006 08:21:38 GMT
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/
[ comp.ai is moderated. To submit, just post and be patient, or if ]
[ that fails mail your article to <comp-ai@xxxxxxxxxxxxxxxxxx>, and ]
[ ask your news administrator to fix the problems with your system. ]
.
- Prev by Date: Re: anybody want to work with me ???
- Next by Date: Emotions - a step up from 'Hard-Wiring'
- Previous by thread: CFP: BIOMA2006 - The 2nd International Conference on Bioinspired Optimization Methods and their Applications
- Next by thread: Novel research in Artificial Intelligence?
- Index(es):
Relevant Pages
|
