Paper Info
Title
A Logic of Plausible Justifications.
Abstract
In this work, we combine features from Justification Logics and Logics of Plausibility-Based Beliefs to build a logic for Multi-Agent Systems where each agent can explicitly state his justification for believing in a given sentence. Our logic is a normal modal logic based on the standard Kripke semantics, where we provide a semantic definition for the evidence terms and define the notion of plausible evidence for an agent, based on plausibility relations in the model. As we deal with beliefs, justifications can be faulty and unreliable. In our logic, agents can disagree not only over whether a sentence is true or false, but also on whether some evidence is a valid justification for a sentence or not. After defining our logic and its semantics, we provide a strongly complete axiomatic system for it, show that it has the finite model property, analyze the complexity of its Model-Checking Problem and show that its Satisfiability Problem has the same complexity as the one from basic modal logics. Thus, this logic seems to be a good first step for the development of a dynamic logic that can model the processes of argumentation and debate in Multi-Agent Systems.
Year
DOI
Venue
2012
10.1016/j.tcs.2015.07.018
Theoretical Computer Science
Keywords
Field
DocType
Epistemic logic,Justifications,Plausibility models,Axiomatic system,Multi-agent systems
Finite model property,Axiomatic system,Normal modal logic,Kripke semantics,Computer science,Argumentation theory,Algorithm,Decidability,Theoretical computer science,Dynamic logic (digital electronics),Sentence
Conference
Volume
Issue
ISSN
603
C
0304-3975
Citations 
PageRank 
References 
1
0.36
11
Authors
1
Name
Order
Citations
PageRank
L. Menasché Schechter1234.84