Fluent Calculus

State(Do(move(box,table,floor), s \circ on(box,table)) = s \circ on(box,floor)

This formula states that the state after the move is added the term

on(box,floor)

and removed the term

on(box,table)

. Axioms specifying that

\circ

is commutative and non-indempotent are necessary for such axioms to work.

SEE ALSO

REFERENCE

M. Thielscher (1998). Introduction to the fluent calculus . ''Electronic Transactions on Artificial Intelligence'', 2(3-4):179-192.

	CATEGORIES ABOUT FLUENT CALCULUS

	logical calculi

Information About