paper-with-me

Papers

Neuro-Symbolic Participation Governance for Verifiable AI Agents in Open Digital Twin Ecosystems

2026-08-02 · Juan Li, Wei Cai, Yan Bai arxiv

Autonomous AI agents, increasingly empowered by large language models, are becoming important components of human-machine systems for high-stakes decision support in digital twin ecosystems. However, existing multi-agent systems often lack robust verification for identity, capability, and policy compliance, especially in decentralized environments spanning multiple institutions. This paper proposes a neuro-symbolic decentralized governance framework for verifiable agents in collaborative digital twin environments. By representing agents through multi-layer semantic profiles, the framework bridges probabilistic neural reasoning with deterministic institutional governance, thereby supporting trustworthy human-AI collaboration and meaningful human oversight. Capabilities are grounded in formal domain ontologies to enable machine-interpretable, policy-aware, and context-sensitive participation. These credentials, issued by organizational authorities, are validated via blockchain-based smart contracts, ensuring auditable participation without exposing sensitive data. We demonstrate the framework using a decision-support prototype with clinic, digital twin, and wearable provider agents effectively prevents unauthorized interaction and enforces institutional policies with manageable overhead. Our findings suggest that neuro-symbolic decentralized governance provides a scalable and trustworthy pathway for safe human-machine collaboration across institutional boundaries.

📄 PDF Abstract BibTeX arXiv:2608.00937

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Bridging Symbolic Control and Neural Reasoning in LLM Agents -- The Structured Cognitive Loop

2025-11-21 · Myung Ho Kim arxiv

Large language model agents suffer from architectural fragilities such as entangled reasoning and execution, memory volatility, and uncontrolled action sequences. We introduce Structured Cognitive Loop (SCL), a modular a…

HyDRA: A Hybrid-Driven Reasoning Architecture for Verifiable Knowledge Graphs

2025-07-21 · Adrian Kaiser, Claudiu Leoveanu-Condrei, Ryan Gold, Marius-Constantin Dinu 외 arxiv

The synergy between symbolic knowledge, often represented by Knowledge Graphs (KGs), and the generative capabilities of neural networks is central to advancing neurosymbolic AI. A primary bottleneck in realizing this pot…

Knowledge Graphs

MathLedger: A Verifiable Learning Substrate with Ledger-Attested Feedback

2025-12-22 · Ismail Ahmad Abdullah arxiv

Contemporary AI systems achieve extraordinary performance yet remain opaque and non-verifiable, creating a crisis of trust for safety-critical deployment. We introduce MathLedger, a substrate for verifiable machine cogni…

Traceable, Enforceable, and Compensable Participation: A Participation Ledger for People-Centered AI Governance

2026-02-11 · Rashid Mushkani arxiv

Participatory approaches are widely invoked in AI governance, yet participation rarely translates into durable influence. In public sector and civic AI systems, community contributions such as deliberations, annotations,…

Cross-Domain Demo-to-Code via Neurosymbolic Counterfactual Reasoning

2026-03-19 · Jooyoung Kim, Wonje Choi, Younguk Song, Honguk Woo arxiv

Recent advances in Vision-Language Models (VLMs) have enabled video-instructed robotic programming, allowing agents to interpret video demonstrations and generate executable control code. We formulate video-instructed ro…

Domain Adaptation