[mod.ai] Seminar - Formal Theories of Action

VAL@SAIL.STANFORD.EDU (Vladimir Lifschitz) (01/18/87)

            Commonsense and Nonmonotonic Reasoning Seminar


		     FORMAL THEORIES OF ACTION

			 Vladimir Lifschitz

		      Thursday, January 22, 4pm
		 	 Bldg. 160, Room 161K

	We apply circumscription to formalizing reasoning about the effects
of actions in the framework of situation calculus. An axiomatic description
of causal connections between actions and changes allows us to solve the
qualification problem and the frame problem using only simple forms of
circumscription. 
	In this talk the method is illustrated by constructing a
circumscriptive theory of the blocks world in which blocks can be moved
and painted. We show that the theory allows us to compute the result of
the execution of any sequential plan.