Using n-ary multi-modal logics in argumentation frameworks to reason about ethics.
Christopher LeturcGrégory BonnetPublished in: AI Commun. (2024)
Keyphrases
- modal logic
- argumentation frameworks
- decision procedures
- inference rules
- logical framework
- nonmonotonic logics
- temporal logic
- epistemic logic
- argumentation semantics
- classical logic
- practical reasoning
- default logic
- decision problems
- abstract argumentation frameworks
- model checking
- conditional logic
- argumentation systems
- sufficient conditions
- special case
- multi agent systems
- abstract argumentation
- bayesian networks