The situation calculus  isa first-order language (with some second-order features) for representing dynamically changing worlds. All changes to the world are the result of named actions. A possible world history, which is simply a sequence of actions,...
Knowledge in Action: Logical Foundations for Specifying and Implementing ... - Page 19
by Raymond Reiter - 2001 - 448 pages
Limited preview -