Corpus ID: 236171045

A Logic of Expertise

  title={A Logic of Expertise},
  author={Joseph Singleton},
In this paper we introduce a simple modal logic framework to reason about the expertise of an information source. In the framework, a source is an expert on a proposition p if they are able to correctly determine the truth value of p in any possible world. We also consider how information may be false, but true after accounting for the lack of expertise of the source. This is relevant for modelling situations in which information sources make claims beyond their domain of expertise. We use non… Expand

Figures and Tables from this paper


Modal logic
This paper shows how the tree or tableau method provides a simple and easily comprehensible decision procedure for systems such as K, T, S4 and S5 and how the formal techniques of modal logic can be used to analyse several informal problems involving modal concepts, including cases combining modality with quantification. Expand
Evidence and plausibility in neighborhood structures
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. Expand
Dynamic Logics of Evidence-Based Beliefs
This paper adds evidence structure to standard models of belief, in the form of families of sets of worlds. We show how these more fine-grained models support natural actions of “evidenceExpand
A Simple Modal Logic for Belief Revision
Three simple axioms are used to provide a sound and complete axiomatization of the qualitative part of Bayes’ rule and some theorems of this logic are derived concerning the interaction between current beliefs and future beliefs. Expand
Belief, information acquisition, and trust in multi-agent systems--A modal logic formulation
  • C. Liau
  • Computer Science
  • Artif. Intell.
  • 2003
By use of modal logic, the relationship among belief, information acquisition and trust is semantically and axiomatically characterized and the applications of the logic to computer security and database reasoning are suggested. Expand
Using the Universal Modality: Gains and Questions
The universal modality is advertised as a natural and helpful tool, providing a better medium for the mission of modality; and second, to illustrate the typical problems arising when enricha ments of modal languages are investigated. Expand
Inferring Trust
Liau's logic of Belief, Inform and Trust (BIT), which captures the use of trust to infer beliefs from acquired information, does not capture the derivation of trust from other notions, so two extensions are suggested. Expand
Trust as a Precursor to Belief Revision
This paper defines trust as a pre-processing step before revision, and demonstrates that this form of trust can be captured by associating a state partition with each agent, then relativizing all reports to this partition before revising. Expand
Neighborhood Semantics for Modal Logic
The focus is on the basics of neighborhood semantics with only pointers to literature relating to the more advanced topics. Expand
A logic of trust and reputation
A definition of reputation is presented that is structurally similar to the definition of trust but moves the basic concept of belief to a collective dimension of group belief. Expand