Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 3 of 3 on The situation calculus [17] isa first-order language (with some second-order features)....  
" The situation calculus [17] 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 Reiter
Limited preview - About this book

Dynamics and Management of Reasoning Processes: Volume 6: Dynamics and ...

John-Jules Meyer, Jan Treur - Computers - 2001 - 385 pages
...(McCarthy [1963]) is a first order language (with, as we shall see later, some second order features) specifically designed for representing dynamically...simply a sequence of actions, is represented by a first order term called a situation. The constant 5o is used to denote the initial situation, namely...
Limited preview - About this book

Advanced Information Systems Engineering: 11th International Conference ...

Matthias Jarke, Andreas Oberweis - Business & Economics - 1999 - 478 pages
...based on the situation calculus. Let us briefly introduce this language. In the situation calculus, all changes to the world are the result of named actions....simply a sequence of actions, is represented by a first order term called a situation. The constant SQ is used to denote the initial situation, namely...
Limited preview - About this book

European Symposium on Computer Aided Process Engineering - 14: 37th European ...

Ana Paula Barbosa-Póvoa, Henrique Matos - Science - 2004 - 1200 pages
...a formal language for representing dynamically changing "worlds" such as the state of a MEM model. All changes to the world are the result of named actions....represented by a first-order term called a situation. A situation is a state of affairs in the world we are modeling. The constant So is used to denote the...
Limited preview - About this book




  1. My library
  2. Help
  3. Advanced Book Search