Researchers have introduced the Evidential-Based Higher-Order Set Argumentation Framework (EHSAF), a novel system that unifies and extends existing argumentation formalisms. EHSAF addresses limitations in treating evidential support, higher-order relations, and collective interactions by requiring arguments to be backed by evidence. The framework includes two distinct semantics: an adjacent complete labelling semantics for multi-valued logic and an extension-based complete semantics for strict evidentialism. These semantics are shown to diverge in the presence of support cycles but converge under support-acyclicity. The paper also presents propositional encodings for EHSAFs, enabling computational reasoning within three-valued Łukasiewicz logic and continuous fuzzy logics like G"{o}del and Product. AI
IMPACT Introduces a new formal framework for evidential argumentation, potentially enhancing AI reasoning capabilities in complex scenarios.
RANK_REASON The item is a research paper published on arXiv detailing a new theoretical framework. [lever_c_demoted from research: ic=1 ai=1.0]
- EHSAF
- Evidential-Based Higher-Order Set Argumentation Framework
- G"{o}del
- Łukasiewicz logic
- Shuai Tang
AI-generated summary · Google Gemini · from 1 sources. How we write summaries →