Re: commonsense

from news:comp.ai.nat-lang



The following is a book which readers of comp.ai.nat-lang 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

In order for computers to understand natural language in more than a
shallow fashion, they must perform commonsense reasoning. The
automation of commonsense reasoning, long a goal of the field of
artificial intelligence and an area of active research in the last
decade, is attaining a level of maturity. 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/


.

Relevant Pages

  • ANN: Commonsense Reasoning: Book announcement
    ... problem is to formalize commonsense reasoning using mathematical ... Mueller demonstrates as the most effective tool for the broadest range ... the event calculus for commonsense reasoning, ... * Covers key areas of commonsense reasoning including action, change, ...
    (comp.ai)
  • Re: commonsense
    ... Erik T. Mueller ... they must perform commonsense reasoning. ... It uses the event calculus, ... and real-world applications that have been ...
    (comp.ai.philosophy)
  • Commonsense Reasoning: Book announcement
    ... problem is to formalize commonsense reasoning using mathematical ... Mueller demonstrates as the most effective tool for the broadest range ... the event calculus for commonsense reasoning, ... * Covers key areas of commonsense reasoning including action, change, ...
    (sci.logic)
  • Commonsense Reasoning: Book announcement
    ... problem is to formalize commonsense reasoning using mathematical ... Mueller demonstrates as the most effective tool for the broadest range ... the event calculus for commonsense reasoning, ... * Covers key areas of commonsense reasoning including action, change, ...
    (comp.ai.philosophy)