A Defeasible Deontic Calculus for Resolving Norm Conflicts.
Taylor OlsonRoberto Salas-DamianKenneth D. ForbusPublished in: CoRR (2024)
Keyphrases
- deontic logic
- update semantics
- conflict resolution
- legal reasoning
- cooperative
- resolving conflicts
- tableau calculus
- objective function
- resolve conflicts
- default logic
- defeasible logic
- classical logic
- database
- nonmonotonic logics
- penalty term
- automated deduction
- computer algebra
- trace norm
- propositional logic
- inference rules
- normative systems
- artificial intelligence
- data sets