Development of a Background Knowledge-Base about Shipping and Smuggling

Richard Scherl

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.

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.