arXiv AI

The Belief-Desire-Intention Ontology for modelling mental reality and agency

arXiv:2511. 17162v2 Announce Type: replace Abstract: The Belief-Desire-Intention (BDI) model is a cornerstone for representing rational agency in artificial intelligence and cognitive sciences.

arXiv AI
Sep 10

Discoverable Agent Knowledge -- A Formal Framework for Agentic KG Affordances (Extended Version)

The paper proposes a four‑dimensional formal framework—Semantic Expressivity, Agentic Discoverability, Task‑Relative Grounding, and Epistemic Trust Scope—to extend current KG metadata standards (VoID and DCAT). It introduces the Agentic Affordance Profile (AAP), a semantic layer that enables agents to select, compose, and diagnose failures in knowledge graphs at planning time. A scholarly‑search example illustrates the framework and outlines a five‑point research agenda for scaling AAP‑based affordance matching.

By Terry R. Payne, Valentina Tamma, Enrico Daga
arXiv AI
Jul 7

Web-CogReasoner: Towards Multimodal Knowledge-Induced Cognitive Reasoning for Web Agents

arXiv:2508. 01858v3 Announce Type: replace-cross Abstract: Multimodal large-scale models have significantly advanced the development of web agents, enabling perception and interaction with digital environments akin to human cognition.

By Yuhan Guo, Cong Guo, Aiwen Sun, Hongliang He, Xinyu Yang, Yue Lu, Yingji Zhang, Xuntao Guo, Dong Zhang, Jianzhuang Liu, Jiang Duan, Yijia Xiao, Liangjian Wen, Hai-Ming Xu, Yong Dai
arXiv AI
Sep 3

Towards a Foundational Ontology for Identifying and Resolving Contradictions in Dialogue-based Human-Robot Interactions

The article proposes a foundational ontology, Activity Theory-based foundational ontology (ATFOt), to formally represent contradictions in dialogue-based human‑robot interactions. Using METHONTOLOGY and Activity Theory, the authors provide natural language, set‑theoretic, and first‑order logic definitions of dialogues and contradictions, and introduce three novel principles for guiding human‑robot dialogue. The work aims to create an interoperable framework applicable across HRI and human‑agent interaction domains.

By Maitreyee Tewari, Michele Persiani
arXiv AI
Aug 7

Vibe Compiler: A Research-Logic Synthesis Tool That Runs without Prompt Engineering -Toward Enhancing Metacognition for Sustaining Agency in the Age of Generative AI-

arXiv:2608. 05545v1 Announce Type: cross Abstract: Generative AI used as a capable servant has greatly accelerated intellectual work, but it also risks eroding human epistemic agency by encouraging uncritical acceptance of AI-generated reasoning.

By Riichiro Mizoguchi, Tomoki Aburatani, Kento Koike, Machi Shimmei
arXiv AI
Sep 15

Surprising Effectiveness of Self-Demonstrations in Enhancing Schema-Ontology Mapping with LLMs

The paper introduces a self-demonstration-driven method for mapping relational database schemas to ontologies, addressing challenges such as semantic heterogeneity and cryptic schema naming. It combines neuro-symbolic task decomposition with pattern-guided, dependency-aware demonstrations to improve LLM performance on schema-ontology mapping. Experiments on the RODI benchmark show state‑of‑the‑art results, outperforming existing methods by up to 25 percentage points in F1 score.

By Siddhesh Thombre, Manasi Patwardhan, Sunita Sarawagi
Hugging Face Trending Papers
Sep 2

Towards a Foundational Ontology for Identifying and Resolving Contradictions in Dialogue-based Human-Robot Interactions

The paper proposes a foundational ontology to represent contradictions in dialogue-based human‑robot interactions. Using METHONTOLOGY and Activity Theory, it defines dialogues and contradictions through natural language, set theory, and first‑order logic, and introduces three new principles for human‑robot dialogue. The work aims to create a formal, interoperable framework applicable across HRI and human‑agent interaction domains.