Answer set programming as the basis for a Homeland Security QAS

Chitta Baral, Michael Gelfond, Richard Scherl

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

Abstract

In this paper we discuss the applicability of the knowledge representation and reasoning language AnsProlog (Answer Set Programming) for the design and implementation of a query answering system (QAS) for homeland security. We discuss our work to date on using AnsProlog to axiomatize the travel domain. We illustrate how it can be used to represent defaults, causal relations, and other types of commonsense knowledge needed to properly answer non-trivial questions about this domain.

Original languageEnglish (US)
Title of host publicationAAAI Spring Symposium - Technical Report
Pages149-150
Number of pages2
VolumeSS-05-01
StatePublished - 2005
Event2005 AAAI Spring Symposium - Stanford, CA, United States
Duration: Mar 21 2005Mar 23 2005

Other

Other2005 AAAI Spring Symposium
CountryUnited States
CityStanford, CA
Period3/21/053/23/05

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'Answer set programming as the basis for a Homeland Security QAS'. Together they form a unique fingerprint.

  • Cite this

    Baral, C., Gelfond, M., & Scherl, R. (2005). Answer set programming as the basis for a Homeland Security QAS. In AAAI Spring Symposium - Technical Report (Vol. SS-05-01, pp. 149-150)