Abstract:
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.