All I know: a study in autoepistemic logic
Artificial Intelligence
Reasoning about knowledge
Decision Support Systems - Special issue: Formal modeling and electronic commerce
Resolving Conflicting Information
Journal of Logic, Language and Information
Semantics for multi-agent only knowing: extended abstract
TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
Default reasoning with preference within only knowing logic
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
FAST'05 Proceedings of the Third international conference on Formal Aspects in Security and Trust
Hi-index | 0.00 |
We present a framework for reasoning about information sources, with application to conflict resolution and belief formation at various degrees of reliability. On the basis of an assignment of relative trustworthiness to sets of information sources, a lattice of degrees of trustworthiness is constructed; from this, a priority structure is derived and applied to the problem of forming the right opinion. Consolidated with an unquestioned knowledge base, this provides an unambiguous account of what an agent should believe, conditionally on which information sources are trusted. Applications in multi-agent doxastic logic are sketched.