资源论文A Logic for Reasoning about Justified Uncertain Beliefs

A Logic for Reasoning about Justified Uncertain Beliefs

2019-11-19 | |  52 |   34 |   0
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 why a fact is believed are explicitly represented as justification terms. Traditionally, the modeling of uncertain beliefs is crucially important for epistemic reasoning. While graded modal logics interpreted with possibility theory semantics have been successfully applied to the representation and reasoning of uncertain beliefs, they cannot keep track of the reasons why an agent believes a fact. The objective of this paper is to extend the graded modal logics with explicit justifications. We introduce a possibilistic justification logic, present its syntax and semantics, and investigate its meta-properties, such as soundness, completeness, and realizability.

上一篇:Modular Systems with Preferences

下一篇:On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus

用户评价
全部评价

热门资源

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to learn...

    The move from hand-designed features to learned...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...