arXiv AI
Jun 12
A Study of Belief Revision Postulates in Multi-Agent Systems (Extended Version)
arXiv:2605. 02249v2 Announce Type: replace Abstract: We investigate the belief revision problem in epistemic planning, i.
Explainable Belief Harmonization under Dynamic Epistemic Partitions
arXiv:2607. 21210v1 Announce Type: cross Abstract: Existing approaches to multi-agent belief combination have established mature foundations for combining uncertain beliefs under common assumptions: consensus methods use iterative averaging, logic-based methods resolve conflicting knowledge bases, and epistemic logic analyzes agents' information states.
Related stories
arXiv AI
Jul 14
Replicating Belief, Not Bits: Epistemic State Replication for Agentic Systems
arXiv:2607. 09748v1 Announce Type: new Abstract: In distributed systems, the classical State Machine Replication (SMR) model assumes that correct replicas execute deterministic transitions to yield identical bitwise states.
arXiv AI
Jul 1
Belief Contraction in Dynamic Epistemic Logic
arXiv:2606. 31861v1 Announce Type: cross Abstract: Dynamic epistemic logic represents belief change via model transformations induced by epistemic events.
arXiv AI
Jul 24
A New Well-Supported Semantics for Description Logic Programs
arXiv:2607. 21203v1 Announce Type: new Abstract: Description logic programs are a powerful formalism for combining rules with ontologies.
arXiv AI
Jul 1
Better Understanding, Understanding Better
arXiv:2606. 31892v1 Announce Type: cross Abstract: "Any fool can know; the point is to understand.
arXiv AI
Jun 2
An Abstract Worlds Semantic Framework for Belief Change Operators
arXiv:2606. 02163v1 Announce Type: new Abstract: This article proposes a set-theoretic framework for belief change, called Abstract Worlds Semantics, in which no logical syntax is assumed.
arXiv AI
Jul 24
Explainability Framework for Policy-Aware Autonomous Agents
arXiv:2607. 21209v1 Announce Type: cross Abstract: In the field of Artificial Intelligence, an agent is a system which is able to autonomously make decisions in order to reach a desired goal.
Hugging Face Trending Papers
Jul 23
A New Well-Supported Semantics for Description Logic Programs
Description logic programs are a powerful formalism for combining rules with ontologies. The well-supported semantics for description logic programs ensures that no answer sets rely on cyclic dependencies.
arXiv AI
Jul 1
Containment Verification: AI Safety Guarantees Independent of Alignment
arXiv:2605. 09045v2 Announce Type: replace Abstract: Agentic frameworks are the software layer through which AI agents act in the world.
arXiv AI
Jun 4
Consensus is Strategically Insufficient: Reasoning-Trace Disagreement as a Knowledge-Representation Signal
arXiv:2606. 04223v1 Announce Type: new Abstract: Multi-agent systems are commonly designed to reduce disagreement through voting, consensus protocols, debate, or fault-tolerant aggregation.
arXiv AI
Jun 29
Robustness of Constraint Automata for Description Logics with Concrete Domains
arXiv:2601. 19644v2 Announce Type: replace-cross Abstract: Decidability or complexity issues about the consistency problem for description logics with concrete domains have already been analysed with tableaux-based or type elimination methods.
arXiv AI
Jul 7
Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation
arXiv:2003. 05746v5 Announce Type: replace-cross Abstract: In this paper, we explore the issue of inconsistency handling over prioritized knowledge bases (KBs), which consist of an ontology, a set of facts, and a priority relation between conflicting facts.