Answer Set Programming as the Basis for a Homeland Security QAS

Chitta Baral, Michael Gelfond, and Richard Scherl

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.

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.