Argument-based Belief in Topological Structures
Chenwei Shi (ILLC), Sonja Smets (ILLC), Fernando R., Vel\'azquez-Quesada (ILLC)

TL;DR
This paper introduces a novel framework combining topological semantics and argumentation theory to model belief formation, highlighting the distinction between evidence combination and belief closure properties.
Contribution
It develops a formal language and axiom system for argument-based beliefs grounded in topological evidence structures, revealing their non-closure under conjunction.
Findings
Beliefs based on arguments are not closed under conjunction.
The formal system is sound and complete.
Evidence combination is rational but does not guarantee belief closure.
Abstract
This paper combines two studies: a topological semantics for epistemic notions and abstract argumentation theory. In our combined setting, we use a topological semantics to represent the structure of an agent's collection of evidence, and we use argumentation theory to single out the relevant sets of evidence through which a notion of beliefs grounded on arguments is defined. We discuss the formal properties of this newly defined notion, providing also a formal language with a matching modality together with a sound and complete axiom system for it. Despite the fact that our agent can combine her evidence in a 'rational' way (captured via the topological structure), argument-based beliefs are not closed under conjunction. This illustrates the difference between an agent's reasoning abilities (i.e. the way she is able to combine her available evidence) and the closure properties of her…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Semantic Web and Ontologies · Multi-Agent Systems and Negotiation
