Elsevier Science Ltd Books
Books editi da Elsevier Science Ltd con argomento Commonsense Reasoning Automation Artificial Intelligence Mathematics Logic Symbolic And Mathematical Data Processing
Mueller Erik T.
edizioni Elsevier Science Ltd collana Elsevier Science Ltd (Paperback)
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: An Event Calculus Based Approach is a detailed, high-level reference on logic-based commonsense...