Rules as Actions: A Situation Calculus Semantics for Logic Programs.
Fangzhen LinRaymond ReiterPublished in: J. Log. Program. (1997)
Keyphrases
- situation calculus
- semantics for logic programs
- action theories
- concurrent actions
- initial state
- reasoning about actions
- event calculus
- logic programs
- modal logic
- reasoning tasks
- normal logic programs
- action language
- fixpoint
- logic programming
- indirect effects
- stable models
- sensing actions
- knowledge base
- nonmonotonic reasoning
- finite state machines
- answer sets
- open world
- minimal models
- data model
- expert systems