Researchers have developed new expressivity results for structured argumentation frameworks that incorporate uncertain rules and premises. The study introduces a novel notion of comparative expressivity, allowing for the comparison of different formalisms in their ability to generate abstract argumentation frameworks. The findings include both positive and negative results when comparing abstract models with structured models like ASPIC+, Assumption-Based Argumentation, and Deductive Argumentation. AI
IMPACT This research contributes to the theoretical foundations of AI systems that need to reason under uncertainty, potentially improving their robustness and reliability.
RANK_REASON The cluster contains an academic paper published on arXiv detailing theoretical results in formal argumentation. [lever_c_demoted from research: ic=1 ai=1.0]
- Antonio Yuste-Ginel
- arXiv
- ASPIC+
- Assumption-Based Argumentation
- Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations
AI-generated summary · Google Gemini · from 1 sources. How we write summaries →