Argument-based Belief in Topological Structures

  title={Argument-based Belief in Topological Structures},
  author={Chenwei Shi and Sonja Smets and Fernando R. Vel{\'a}zquez-Quesada},
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… 

Figures and Tables from this paper

Beliefs Based on Evidence and Argumentation
This paper provides a sound and complete axiom system for the presented logical language, which can describe the given models in full detail, and it is shown how this setting can be used to explore more intricate epistemic notions.
Logic of Justified Beliefs Based on Argumentation
A topological argumentation framework for modelling notions of evidence-based (i.e., justified) belief is presented, analysed and compared with the existing notion of topological justified belief.
No false grounds and topology of argumentation
The formalization shows that one of the two notions of knowledge proposed by Clark, justified belief with true grounds, satisfies Stalnaker’s axiom system of belief and knowledge except for the axiom of closure under conjunction.
Beliefs supported by binary arguments
This paper introduces a formal ‘two-dimensional’ language to talk about propositions and arguments, for which a sound and complete axiom system is provided.
An Awareness Epistemic Framework for Belief, Argumentation and Their Dynamics
This paper tries to improve awareness epistemic logic's conceptual grounds, by depicting its philosophical foundations, critically discussing some of its design choices and exploring further possibilities, and provides a (heretofore missing) completeness theorem for the basic fragment of the logic.
Argument evaluation in multi-agent justification logics
The present work exploits the formal notion of awareness in order to model several informal phenomena: awareness of sentences, availability of arguments and communication between agents and external sources (advisers) and offer completeness and decidability results for all of them.
UvA-DARE ( Digital Academic Repository ) Beliefs supported by binary arguments
In this paper, we explore the relation between an agent’s doxastic attitude and her arguments in support of a given claim. Our main contribution is the design of a logical setting that allows us
Persuasive Argumentation and Epistemic Attitudes
This paper extends one of the logics of Schwarzentruber et al. with dynamic operators, designed to capture communicative phenomena, and makes a distinction between actual persuasion and persuasion from the speaker’s perspective.
Knowledge in Topological Argumentation Models
The main contribution of this paper is a counter-intuitive result about the notion of knowledge based on justification, which is related to the no false lemmas in Stalnaker’s BK system.


Evidence and plausibility in neighborhood structures
The Topological Theory of Belief
Stalnaker introduced a combined epistemic-doxastic logic that can formally express a strong concept of belief, a concept which captures the ‘epistemic possibility of knowledge’. In this paper we
The Topology of Belief, Belief Revision and Defeasible Knowledge
We present a new topological semantics for doxastic logic, in which the belief modality is interpreted as the closure of the interior operator. We show that this semantics is the most general
Building an Epistemic Logic for Argumentation
This paper proposes a logical framework for reasoning about the sets of arguments owned by other agents, their knowledge about other agents' arguments, etc, by defining an epistemic logic for representing their knowledge, which allows for a wide range of scenarios.
Justified Belief and the Topology of Evidence
This work introduces a new topological semantics for evidence, evidence-based justifications, belief and knowledge, and applies this setting to analyze key issues in Epistemology: "no false lemma" Gettier examples, misleading defeaters, and undefeated justification versus undefeated belief.
The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge
A logic for reasoning about the evidence-based knowledge and beliefs and the evidential dynamics of non-logically -omniscient agents and a formal dynamic account of Lehrer’s well-known Gettier-type scenario involving the famous Ferrari and the infamous Messrs. Nogot and Havit is provided.
Beliefs and Evidence in Justification Models
This paper focuses on the formal qualitative representation of an agent’s evidence and justification in support of her beliefs and knowledge, based on ‘justification models’, which are introduced as a generalization of the so-called evidence models proposed by J. van Benthem and E. Pacuit in [18].
Introducing Justification into Epistemic Logic
This paper studies two basic systems, S4LP and S4LPN, of epistemic logic with justification, and shows completeness with respect to natural epistemic semantics, which augments Kripke models with a natural Fitting-style treatment of justification assertions t:F.
A general Correspondence Theorem is stated showing that behind each epistemic modal logic, there is a robust system of justifications, which renders a new, evidence-based foundation for epistemic logic.