knowledge-representation

The paper proposes WFM, a Wiki Foundation Model for scalable, agent-native knowledge representation and retrieval, demonstrating improved performance in complex agentic reasoning tasks with a 10.5x training acceleration.

This paper presents a self-demonstration-driven approach for schema-ontology mapping using LLMs, combining neuro-symbolic task decomposition to achieve state-of-the-art performance on the RODI benchmark.

ITA Controlled English (CE) is a structured English language for defining human and machine-readable models, and the CE Store is an open-source environment by IBM for working with CE.

The paper introduces the Knowledge Card, a structured and expert-validated artifact designed to represent knowledge in AI systems, particularly for agentic AI, enhancing transparency and auditability.

This paper surveys the historical and theoretical foundations of computational belief change, tracing the evolution from Doyle's taxonomy to the AGM framework and providing an implementation roadmap for contemporary approaches.

An essay exploring knowledge representation in artificial intelligence, differentiating between model and state knowledge, and discussing the challenges of enabling computers to understand nuanced contexts like those in address books.

Introduces BoardroomAI, a framework for human-steerable multi-agent deliberation using dependency-aware evolving decision graphs, enabling selective repair of affected artifacts after human interventions. Evaluated on synthetic interventions, showing efficiency while preserving unaffected nodes.

This paper investigates how different formal knowledge representation notations affect language models' syllogistic reasoning, extending FOLIO and P-FOLIO datasets and introducing the CLGC library for generating syllogisms.

This paper proposes a task-based evaluation methodology for measuring semantic preservation in ontology learning, comparing LLM performance on source documents versus transformed representations in the legal domain.

This paper introduces NeurOWL, a neuro-symbolic framework using LLMs and ontology embeddings to perform subsumption verification and abduction on incomplete OWL ontologies, enabling reasoning when axioms are missing.

This paper proposes a theoretical framework for intelligence as atomic compression and compositional reuse, introducing the Compression Calculus and the Compounding Cascade thesis.

This comprehensive survey systematically reviews graph neural network-based methods across the entire knowledge graph pipeline, proposing a novel two-level taxonomy and discussing challenges and future research directions.

Kevin Kelly argues that the latent space within AI models represents a compressed form of all human knowledge, and that this latent space will become a new medium for creativity, enabling novel artistic and scientific exploration.

This proposal introduces the Dynamic Concept Graph (DCG), a hybrid cognitive architecture that combines neural representation learning, symbolic knowledge structures, multimodal perception, and analogical reasoning to provide persistent, evolving world models for AI, addressing limitations such as inconsistent reasoning and lack of causal understanding in large language models.

This paper presents a novel fuzzy-logic-based extension of Answer Set Programming (ASP) that integrates numerical information with qualitative reasoning using membership functions, demonstrated through a travel recommendation case study.

Google Cloud introduces the Open Knowledge Format (OKF), an open specification for representing metadata and curated knowledge in markdown files to improve data sharing and context for AI agents. The format aims to make knowledge from fragmented internal systems portable and interoperable.

Google Cloud introduces the Open Knowledge Format (OKF), an open specification that standardizes the LLM-wiki pattern for representing structured knowledge in markdown with YAML frontmatter, aiming to improve data sharing and interoperability for AI agents.

The Agent Instruction Protocol (AIP) proposes modeling AI agent skills as directed execution graphs with schema-validated YAML specifications, replacing free-form prose instructions. Experiments show AIP compilation raised Claude Sonnet's task reward from 0.60 to 0.71 and pass rate from 53% to 67% across 27 real agent tasks.

This paper proposes MONIR, a Modalized-Output Normative Intermediate Representation that bridges LLM-assisted norm extraction and ASP-based compliance reasoning for technical standards. The framework is instantiated on Chinese ADAS regulations, combining symbolic reasoning with LLM pipelines for explainable compliance checking.

This paper argues that consensus-seeking in multi-agent LLM systems is insufficient for value-laden tasks, proposing a knowledge-representation layer that classifies agent reasoning-trace disagreements into four symbolic states to enable strategic routing in systems like content moderation.