UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Missionaries and Cannibals in the Causal Calculator (2000)
Vladimir Lifschitz
A knowledge representation formalism is ``elaboration tolerant'' to the extent that it is convenient to modify a set of facts expressed in the formalism to take into account new phenomena or changed circumstances. John McCarthy illustrated this idea by defining 19 elaborations of the Missionaries and Cannibals Problem. We argue that, to a certain degree, the goal of elaboration tolerance is met by the input language of Norman McCain's Causal Calculator. We present formal descriptions of the basic Missionaries and Cannibals Problem and of ten of McCarthy's enhancements as input files accepted by the Causal Calculator. Each enhancement is obtained from the basic formulation by the simplest kind of elaboration---adding postulates.
View:
PS
Citation:
In
Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR)
, pp. 85-96 2000.
Bibtex:
@INPROCEEDINGS{lif00, title={Missionaries and Cannibals in the Causal Calculator}, author={Vladimir Lifschitz}, booktitle={Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR)}, pages={85-96}, url="http://www.cs.utexas.edu/users/ai-lab?lif00", year={2000} }
People
Vladimir Lifschitz
Faculty
vl [at] cs utexas edu
Areas of Interest
Action Languages
Automated Reasoning
Common Sense Reasoning
Control
Elaboration Tolerance
Nonmonotonic Reasoning
Reasoning about Actions