Representing the Zoo World and the Traffic World in the language of the Causal Calculator

Abstract

Cataloged from PDF version of article.The work described in this report is motivated by the desire to test the expressive possibilities of\ud action language C+. The Causal Calculator (CCALC) is a system that answers queries about action\ud domains described in a fragment of that language. The Zoo World and the Traffic World have been\ud proposed by Erik Sandewall in his Logic Modelling Workshop—an environment for communicating\ud axiomatizations of action domains of nontrivial size.\ud The Zoo World consists of several cages and the exterior, gates between them, and animals of\ud several species, including humans. Actions in this domain include moving within and between cages,\ud opening and closing gates, and mounting and riding animals. The Traffic World includes vehicles\ud moving continuously between road crossings subject to a number of restrictions, such as speed\ud limits and keeping a fixed safety distance away from other vehicles on the road. We show how to\ud represent the two domains in the input language of CCALC, and how to use CCALC to test these\ud representations.(C)2003 Elsevier B.V. All rights reserved

Logic-based event recognition

“…EC has been frequently used for event recognition -to the best of our knowledge, only in a logic programming form, as in (Chittaro and Dojat 1997; EC is related to other formalisms proposed in the literature of commonsense reasoning, such as the Situation Calculus (McCarthy and Hayes 1969;Reiter 2001), the action language C + (Giunchiglia et al 2004;Akman et al 2004), the fluent calculus (Thielscher 1999;Thielscher 2001) and Temporal Action Logics (Doherty et al 1998;Kvarnström 2005). Comparisons between formalisms for commonsense reasoning and proofs of equivalence between some of them may be found in (Kowalski and Sadri 1997; …”

Chapter 19 Nonmonotonic Causal Logic

“…A much fuller account of causal theories was published in 2004 [18], although a number of results presented in this chapter do not appear there. Causal theories have been studied, applied and extended in [24,25,17,31,45,22,27,47,2,3,4,6,7,11,20,1,5,10,21,46,13,9,42]. An implementation of causal theories-the Causal Calculator (CCALC)-is publiclyavailable, and many of the above-cited papers describe applications of it.…”

Dynamic specification of open agent systems

“…To compute an answer to a query, Ccalc invokes a satisfiability (SAT) solver to find models of the propositional theory which also satisfy the query. A detailed account of Ccalc's operation and functionality may be found in [1,38,56].…”