Dyadic Obligations over Complex Actions as Deontic Constraints in the Situation Calculus.
Jens ClaßenJames P. DelgrandePublished in: KR (2020)
Keyphrases
- situation calculus
- indirect effects
- action theories
- reasoning about actions
- event calculus
- initial state
- deontic logic
- concurrent actions
- fluent calculus
- modal logic
- reasoning tasks
- provably correct
- logical language
- blocks world
- logical theories
- sensing actions
- agent programming
- high level
- taxonomic reasoning
- universally quantified
- general purpose