Progress Towards Effective Automated Reasoning with World Knowledge

There is a growing demand for automated reasoning with world knowledge. SPASS-XDB is an automated reasoning system that incorporates world knowledge from multiple external sources, asynchronously on demand, during its reasoning process. This paper describes how SPASS-XDB's reasoning is focussed and controlled, its sources of world knowledge, and their use in solving a range of test problems.

• Type: Conference
• Year: 2010
• Where: FLAIRS
• Authors: Geoff Sutcliffe, Martin Suda, Alexandra Teyssandier, Nelson Dellis, Gerard de Melo
• Keywords: Artificial Intelligence, Automated Reasoning, FLAIRS 2010, Multiple External Sources, World Knowledge