Encoding Higher-Order Argumentation Frameworks into Propositional Logic
Analysis
This paper addresses limitations in existing higher-order argumentation frameworks (HAFs) by introducing a new framework (HAFS) that allows for more flexible interactions (attacks and supports) and defines a suite of semantics, including 3-valued and fuzzy semantics. The core contribution is a normal encoding methodology to translate HAFS into propositional logic systems, enabling the use of lightweight solvers and uniform handling of uncertainty. This is significant because it bridges the gap between complex argumentation frameworks and more readily available computational tools.
Key Takeaways
- •Introduces a new higher-order argumentation framework (HAFS) with more flexible interaction capabilities.
- •Defines a suite of semantics for HAFS, including 3-valued and fuzzy semantics.
- •Develops a normal encoding methodology to translate HAFS into propositional logic systems.
- •Proves model equivalence between HAFS and their encoded logical formulas.
- •Enables seamless integration with lightweight computational solvers and uniform handling of uncertainty.
“The paper proposes a higher-order argumentation framework with supports ($HAFS$), which explicitly allows attacks and supports to act as both targets and sources of interactions.”