#knowledge-representation News & Analysis

32 articles tagged with #knowledge-representation. AI-curated summaries with sentiment analysis and key takeaways from 50+ sources.

32 articles

AINeutralarXiv – CS AI · Apr 146/10

🧠

Retrieval Is Not Enough: Why Organizational AI Needs Epistemic Infrastructure

Researchers present OIDA, a framework that adds epistemic structure to organizational knowledge systems by tracking commitment strength, contradiction status, and gaps in understanding. The framework introduces a QUESTION primitive that surfaces organizational ignorance with increasing urgency, addressing a capability absent from current retrieval-augmented generation (RAG) systems.

AINeutralarXiv – CS AI · Apr 146/10

🧠

Neuro-Symbolic Strong-AI Robots with Closed Knowledge Assumption: Learning and Deductions

This academic paper proposes a neuro-symbolic approach for AGI robots combining neural networks with formal logic reasoning using Belnap's 4-valued logic system. The framework enables robots to handle unknown information, inconsistencies, and paradoxes while maintaining controlled security through axiom-based logic inference.

AIBearisharXiv – CS AI · Mar 266/10

🧠

Large Language Models and Scientific Discourse: Where's the Intelligence?

A research paper argues that Large Language Models lack true intelligence and understanding compared to humans, as they rely on written discourse rather than tacit knowledge built through social interaction. The authors demonstrate this through examples like the Monty Hall problem, showing that LLM improvements come from changes in training data rather than enhanced reasoning abilities.

🧠 ChatGPT

AINeutralarXiv – CS AI · Apr 205/10

🧠

Characterising LLM-Generated Competency Questions: a Cross-Domain Empirical Study using Open and Closed Models

Researchers conducted a systematic cross-domain study evaluating how large language models generate Competency Questions (CQs)—natural language requirements for ontology engineering. Using both open-source models (Llama, KimiK2) and proprietary systems (GPT-4, Gemini 2.5), they identified measurable differences in readability, relevance, and structural complexity, revealing that LLM performance varies significantly by use case.

🧠 GPT-4🧠 Gemini

AINeutralarXiv – CS AI · Feb 274/105

🧠

The logic of KM belief update is contained in the logic of AGM belief revision

A new academic paper demonstrates that AGM belief revision logic contains KM belief update logic, showing that AGM belief revision can be viewed as a special case of KM belief update. The research uses modal logic with three operators to prove this theoretical relationship between two foundational frameworks in artificial intelligence reasoning.

AINeutralarXiv – CS AI · Feb 274/105

🧠

Types of Relations: Defining Analogies with Category Theory

Researchers propose using category theory to formalize knowledge domains and construct analogies between different fields. The paper demonstrates this approach using the classic analogy between the solar system and hydrogen atom, showing how mathematical structures like functors and pullbacks can define analogical relationships.

$ATOM

AINeutralarXiv – CS AI · Jun 233/10

🧠

Study on Quantitative Dynamic Epistemic Logic for Belief Revision

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.

← PrevPage 2 of 2