Argument-based Belief in Topological Structures

@inproceedings{Shi2017ArgumentbasedBI,
  title={Argument-based Belief in Topological Structures},
  author={Chenwei Shi and Sonja Smets and Fernando R. Vel{\'a}zquez-Quesada},
  booktitle={TARK},
  year={2017}
}
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… 
Beliefs Based on Evidence and Argumentation
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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.
Preservation of semantic properties in collective argumentation: The case of aggregating abstract argumentation frameworks
TLDR
The results cover semantic properties formulated in terms of six of the most widely used extension-based semantics for abstract argumentation and range from positive results that show that certain aggregation rules can provide the desired preservation guarantees to impossibility theorems that shows that certain combinations of requirements cannot be met by any reasonable aggregation rule.
Argument evaluation in multi-agent justification logics
TLDR
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
TLDR
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
TLDR
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.
...
1
2
...

References

SHOWING 1-10 OF 48 REFERENCES
Evidence and plausibility in neighborhood structures
TLDR
This paper develops an evidence logic for epistemic agents faced with possibly contradictory evidence from different sources based on a neighborhood semantics, and develops sound and complete axiomatizations for the logics of all four major model classes with respect to the modal language of evidence, belief and safe belief.
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
TLDR
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
TLDR
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.
On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games
TLDR
By showing that argumentation can be viewed as a special form of logic programming with negation as failure, this paper introduces a general logic-programming-based method for generating meta-interpreters for argumentation systems, a method very much similar to the compiler-compiler idea in conventional programming.
The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge
TLDR
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
TLDR
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
TLDR
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.
THE LOGIC OF JUSTIFICATION
TLDR
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.
...
1
2
3
4
5
...