Generalizing Deontic Action Logic.
Alessandro GiordaniMatteo PascucciPublished in: Stud Logica (2022)
Keyphrases
- deontic logic
- classical logic
- logic programming
- reasoning about actions
- modal logic
- dynamic logic
- action theories
- action descriptions
- transition systems
- action sequences
- legal reasoning
- expressive power
- knowledge representation
- initial state
- automated reasoning
- computational properties
- situation calculus
- human actions
- logic programs
- natural deduction
- proof theory
- machine learning
- database