The Chisholm Paradox and the Situation Calculus.
Robert DemolombeMaria del Pilar Pozos ParraPublished in: ISMIS (2005)
Keyphrases
- situation calculus
- deontic logic
- action theories
- event calculus
- modal logic
- nonmonotonic logics
- legal reasoning
- initial state
- fluent calculus
- reasoning tasks
- inference rules
- reasoning about actions
- logical language
- provably correct
- blocks world
- concurrent actions
- agent programming
- universally quantified
- formal semantics
- expert systems
- high level
- indirect effects
- artificial intelligence