Commonsense Reasoning

To endow computers with common sense is one of the major goals of Artificial Intelligence research. One approach to this problem is to formalize commonsense reasoning using mathematical logic. This book offers a reference on logic-based commonsense reasoning. It uses the event calculus, a highly pow [...]
Visa längre beskrivning

To endow computers with common sense is one of the major goals of Artificial Intelligence research. One approach to this problem is to formalize commonsense reasoning using mathematical logic. This book offers a reference on logic-based commonsense reasoning. It uses the event calculus, a highly powerful and usable tool for commonsense reasoning.