2 articles tagged with #defeasible-reasoning. AI-curated summaries with sentiment analysis and key takeaways from 50+ sources.
This paper integrates defeasible logic with standpoint logic to formally model knowledge across multiple contradictory viewpoints that may hold uncertain beliefs. The work provides theoretical foundations for Defeasible Restricted Standpoint Logics (DRSL) and proves that computational complexity remains unchanged when extending propositional KLM entailment relations to multi-standpoint settings.
Researchers introduce NormBench, a benchmark with 2,290 legal provisions across multiple languages, and Span-Grounded Deontic Trees (SG-DT), a structured representation method designed to address Silent Scope Omission—where AI systems appear compliant but fail to apply nested exceptions correctly. Testing reveals that frontier LLMs struggle with recursive defeater chains and struggle to assemble correct logical control flow despite retrieving relevant source material.
