AAAI Publications, Twenty-Third International FLAIRS Conference

Font Size: 
Progress Towards Effective Automated Reasoning with World Knowledge
Geoff Sutcliffe, Martin Suda, Alexandra Teyssandier, Nelson Dellis, Gerard de Melo

Last modified: 2010-05-06


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.


Automated reasoning; World knowledge

Full Text: PDF