Development of a Background Knowledge-Base about Shipping and Smuggling

Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering

Volume

Papers from the 2006 AAAI Spring Symposium

Contents

This paper demonstrates how one can base a theory of transporting and smuggling on a more general theory of travel. The language of the axiomatization is AnsProlog which is particularly suitable for representing defaults. It is shown how given an AnsProlog theory of travel (including a basic theory of actions and intentions) a theory of shipping and smuggling can be derived in a natural fashion. Both the initial and the resulting theories have been implemented in Smodels and can be used to answer queries about scenarios over the intended domain.