PulseAugur
EN
LIVE 09:41:23

Paper advocates for logical pluralism in AI reasoning frameworks

By PulseAugur Editorial · [3 sources] ·

A new preprint advocates for logical pluralism in formalized reasoning, proposing the LogiKEy methodology as a unifying framework. The paper argues against "logical imperialism," the practice of adhering to a single foundational logic, suggesting it hinders interdisciplinary knowledge reuse. It highlights two decades of research on embedding non-classical logics within classical higher-order logic as a foundation for this approach. AI

IMPACT Advocates for flexible logic frameworks in AI, potentially enabling broader interdisciplinary applications.

RANK_REASON The cluster contains a preprint of an academic paper discussing a new methodology for formalized reasoning.

Read on arXiv cs.AI →

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

Paper advocates for logical pluralism in AI reasoning frameworks

COVERAGE [3]

  1. arXiv cs.AI TIER_1 English(EN) · Christoph Benzm\"uller, Daniel Kirchner, Luca Pasetto ·

    Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)

    arXiv:2605.27246v1 Announce Type: cross Abstract: This position statement looks back on two decades of work on shallow embeddings of non-classical logics in classical higher-order logic (HOL), a line of research that expanded into a range of logic embeddings in HOL and inspired t…

  2. arXiv cs.AI TIER_1 English(EN) · Luca Pasetto ·

    Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)

    This position statement looks back on two decades of work on shallow embeddings of non-classical logics in classical higher-order logic (HOL), a line of research that expanded into a range of logic embeddings in HOL and inspired the LogiKEy logic-pluralistic knowledge representat…

  3. Hugging Face Daily Papers TIER_1 English(EN) ·

    Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)

    This position statement looks back on two decades of work on shallow embeddings of non-classical logics in classical higher-order logic (HOL), a line of research that expanded into a range of logic embeddings in HOL and inspired the LogiKEy logic-pluralistic knowledge representat…

RELATED ENTITIES

RELATED TOPICS