A Complete Axiomatization for Blocks World

Blocks World (BW) has been one of the most popular model domains in AI history. However, there has not been serious work on axiomatizing the state constraints of BW and giving justification for its soundness and completeness. In this paper, we model a state of BW by a finite collection of finite chains, and call the theory of all these structures BW theory. We present seven simple axioms and prove that their consequences are precisely BW theory, using Ehrenfeucht-Fra

• Type: Journal
• Year: 2002
• Where: AMAI
• Authors: Stephen A. Cook, Yongmei Liu
• Keywords: AMAI 2002, Artificial Intelligence, Blocks World, BW Theory, Theory