Answer Set Programming as the Basis for a Homeland Security QAS

AI Technologies for Homeland Security

Volume

Papers from the 2005 AAAI Spring Symposium

Contents

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 sysem (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 common-sense knowledge needed to properly answer non-trivial questions about this domain.