Commonsense Reasoning.

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. I...

Full description

Saved in:
Bibliographic Details
Online Access: Full Text (via ProQuest)
Main Author: Mueller, Erik T.
Format: eBook
Language:English
Published: Burlington : Elsevier, 2006.
Subjects:
Description
Summary: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.
Physical Description:1 online resource (431 pages)
Bibliography:Includes bibliographical references (p. 361-390) and index.
ISBN:9780080476612
0080476619
9780123693884
0123693888
1281050490
9781281050496
Source of Description, Etc. Note:Print version record.