3 articles tagged with #epistemic-logic. 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 propose a formal framework for describing knowledge graph affordances to agents, extending decades-old semantic web service standards to address modern KG discovery and composition challenges. The framework introduces the Agentic Affordance Profile (AAP), a metadata layer that enables principled selection and failure diagnosis by specifying what agents can prove from a knowledge graph and under what epistemic conditions.
This academic paper presents a formal framework for belief revision using quantitative dynamic epistemic logic (DEL), extending AGM theory to capture degrees of conviction rather than binary belief states. The research formalizes belief revision processes within a modal logic system and proposes a new revision function that better aligns with philosophical intuitions behind AGM postulates.
