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.
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.
Related stories
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 14
AGM-like Paraconsistent Partial Meet Abductive Expansion Operation
arXiv:2607. 09729v1 Announce Type: new Abstract: In his 1996 doctoral thesis, Maurice Pagnucco created the first AGM-like abductive expansion operation.
arXiv AI
Jul 24
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.
arXiv AI
Jun 9
Standpoint Logics with Defeasible Beliefs
arXiv:2606. 08503v1 Announce Type: new Abstract: In this paper, we integrate the defeasible logic of Kraus, Lehmann and Magidor (KLM) with the standpoint logic framework of G\'omez \'Alvarez and Rudolph.
arXiv AI
Jun 3
Towards Non-Monotonic Entailment in Propositional Defeasible Standpoint Logic
arXiv:2606. 03655v1 Announce Type: new Abstract: Recent work in defeasible reasoning has seen notions of preferential semantics and entailment in the style of Kraus et al.
Hugging Face Trending Papers
Jun 2
ZX-Calculus:Trace-Indexed Dependent Types and Epistemic Semantics
We propose ZX-Calculus (Knowledge Evolution Calculus), a conservative extension of Martin-Lof Dependent Type Theory (MLTT) integrating trace-indexed types, presheaf non-monotone semantics, and constructive AGM belief revision. A Coq mechanisation accompanies the paper (34 complete proofs; zero admits for the two central results).
Hugging Face Trending Papers
Jun 2
Towards Non-Monotonic Entailment in Propositional Defeasible Standpoint Logic
Recent work in defeasible reasoning has seen notions of preferential semantics and entailment in the style of Kraus et al. applied to modal logics.
arXiv AI
Jul 14
First-Order Modal Logic in HOL: Deep and Shallow Embeddings with Automated Faithfulness (Extended Preprint)
arXiv:2607. 10880v1 Announce Type: new Abstract: We extend, in Isabelle/HOL, the deep-and-shallow embedding methodology of our prior work from propositional to first-order modal logic (FML) with constant-domain Kripke semantics.
arXiv AI
Jul 21
Tractable Query Answering under Epistemic Confidentiality Policies in DL Ontologies (extended version)
arXiv:2607. 16715v1 Announce Type: new Abstract: We study Controlled Query Evaluation (CQE), a declarative approach to confidentiality-preserving data access, in the context of Description Logic (DL) ontologies, and for confidentiality policies expressed through Epistemic Dependencies (EDs).
arXiv AI
Aug 11
Determinization in Structure Theories: A Unified Framework via Closure, Comparability, and Joint Admissibility
arXiv:2608. 07476v1 Announce Type: new Abstract: We develop a formal framework for constructing canonical interpretations from plural structure theories.
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.