Progress towards effective automated reasoning with world knowledge

Geoff Sutcliffe, Alexandra Teyssandier, Nelson Dellis, Martin Suda, Gerard De Melo

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Scopus citations

Abstract

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.

Original languageEnglish (US)
Title of host publicationProceedings of the 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23
Pages110-115
Number of pages6
StatePublished - Oct 19 2010
Event23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23 - Daytona Beach, FL, United States
Duration: May 19 2010May 21 2010

Publication series

NameProceedings of the 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23

Other

Other23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23
CountryUnited States
CityDaytona Beach, FL
Period5/19/105/21/10

ASJC Scopus subject areas

  • Artificial Intelligence
  • Control and Systems Engineering

Cite this

Sutcliffe, G., Teyssandier, A., Dellis, N., Suda, M., & De Melo, G. (2010). Progress towards effective automated reasoning with world knowledge. In Proceedings of the 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23 (pp. 110-115). (Proceedings of the 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23).