Progress Towards Effective Automated Reasoning with World Knowledge
Geoff Sutcliffe, Martin Suda, Alexandra Teyssandier, Nelson Dellis, Gerard de Melo · 2010
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.