Journal ArticleDOI
Possibilistic Justification Logic: Reasoning About Justified Uncertain Beliefs
Reads0
Chats0
TLDR
A possibilistic justification logic is introduced, its syntax and semantics are presented, and its metaproperties, such as soundness, completeness, and realizability are investigated.Abstract:
Justification logic originated from the study of the logic of proofs However, in a more general setting, it may be regarded as a kind of explicit epistemic logic In such logic, the reasons a fact is believed are explicitly represented as justification terms Traditionally, the modeling of uncertain beliefs is crucially important for epistemic reasoning Graded modal logics interpreted with possibility theory semantics have been successfully applied to the representation and reasoning of uncertain beliefs; however, they cannot keep track of the reasons an agent believes a fact This article is aimed at extending the graded modal logics with explicit justifications We introduce a possibilistic justification logic, present its syntax and semantics, and investigate its metaproperties, such as soundness, completeness, and realizabilityread more
Citations
More filters
Proceedings ArticleDOI
A logic for reasoning about evidence and belief
Tuan-Fang Fan,Churn-Jung Liau +1 more
TL;DR: This paper presents the axiomatization for the basic logic and its dynamic extension, investigates its properties, and uses a running example to show its applicability to information fusion for autonomous agents.
A logic of default justifications
TL;DR: A logic of default justifications that relies on operational semantics that is able to address interactions of normal defaults without relying on priorities among default rules and introduces the possibility of extension revision for normal default theories.
Journal ArticleDOI
A logic of defeasible argumentation: Constructing arguments in justification logic
TL;DR: This paper defines a new justification logic that relies on operational semantics for default logic and develops a semantics for “defeaters”: conflicting reasons forming a basis to doubt the original conclusion or to believe an opposite statement.
Journal ArticleDOI
Reason-maintenance Belief Logic with Uncertain Information
Tuan-Fang Fan,Churn-Jung Liau +1 more
TL;DR: This article extends the basic logic to accommodate the possibilistic uncertainty of information and beliefs, provides a complete axiomatization of the extended logic, and shows that it can address the reason-maintenance issue of partially inconsistent beliefs.
References
More filters
Journal ArticleDOI
Fuzzy sets as a basis for a theory of possibility
TL;DR: The theory of possibility described in this paper is related to the theory of fuzzy sets by defining the concept of a possibility distribution as a fuzzy restriction which acts as an elastic constraint on the values that may be assigned to a variable.
Book
Reasoning About Knowledge
TL;DR: Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed systems, artificial intelligence, and game theory.
Book
Metamathematics of Fuzzy Logic
TL;DR: This paper presents a meta-analysis of many-Valued Propositional Logic, focusing on the part of Lukasiewicz's Logic that deals with Complexity, Undecidability and Generalized Quantifiers and Modalities.