PulseAugur
EN
LIVE 13:12:47

New logic framework integrates defeasible beliefs with multiple viewpoints

By PulseAugur Editorial · [2 sources] ·

Researchers have integrated defeasible logic with standpoint logic to create Defeasible Restricted Standpoint Logics (DRSL). This framework allows for the formal expression of knowledge that considers multiple, potentially conflicting viewpoints, each holding beliefs that can be overridden. The paper provides foundational results for DRSL semantics and extends propositional logic entailment relations to this new standpoint-enhanced context, including rational and lexicographic closure. AI

IMPACT Introduces a formal logic framework for representing knowledge with multiple, potentially conflicting viewpoints, relevant for advanced AI reasoning systems.

RANK_REASON The cluster contains an academic paper detailing a new logic framework.

Read on arXiv cs.AI →

AI-generated summary · Google Gemini · from 2 sources. How we write summaries →

COVERAGE [2]

  1. arXiv cs.AI TIER_1 English(EN) · Nicholas Leisegang, Thomas Meyer, Sebastian Rudolph ·

    Standpoint Logics with Defeasible Beliefs

    arXiv:2606.08503v1 Announce Type: new Abstract: In this paper, we integrate the defeasible logic of Kraus, Lehmann and Magidor (KLM) with the standpoint logic framework of G\'omez \'Alvarez and Rudolph. This is done with the goal of formally expressing knowledge taking into accou…

  2. arXiv cs.AI TIER_1 English(EN) · Sebastian Rudolph ·

    Standpoint Logics with Defeasible Beliefs

    In this paper, we integrate the defeasible logic of Kraus, Lehmann and Magidor (KLM) with the standpoint logic framework of Gómez Álvarez and Rudolph. This is done with the goal of formally expressing knowledge taking into account multiple (possibly contradicting) viewpoints, whi…

RELATED TOPICS