Resolving Conflicting Information

Information received from different sources can be inconsistent. Even when the sources of information can be ordered on the basis of their trustworthiness, it turns out that extracting an acceptable notion of support for information is a non-trivial matter, as is the question what information a rational agent should accept. Here it is shown how a support ordering on the information can be generated and how it can be used to decide what information to accept and what not to accept. This ordering, it turns out, is closely related to notions such as Epistemic Entrenchment and Grove spheres studied in belief revision.

[1]  H. Kyburg The Fixation of Belief and Its Undoing , 1994 .

[2]  K. Lehrer Theory Of Knowledge , 1990 .

[3]  Dov M. Gabbay,et al.  Classical vs non-classical logics (the universality of classical logic) , 1994, Handbook of Logic in Artificial Intelligence and Logic Programming.

[4]  Y. Shoham Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence , 1987 .

[5]  Didier Dubois,et al.  Inconsistency Management and Prioritized Syntax-Based Entailment , 1993, IJCAI.

[6]  Hans Rott,et al.  Coherent Choice and Epistemic Entrechment (Preliminary Report) , 1994, KI.

[7]  Peter Gärdenfors,et al.  Nonmonotonic Inference Based on Expectations , 1994, Artif. Intell..

[8]  Peter Gärdenfors,et al.  Revisions of Knowledge Systems Using Epistemic Entrenchment , 1988, TARK.

[9]  Mary-Anne Williams,et al.  Iterated Theory Base Change: A Computational Model , 1995, IJCAI.

[10]  Adam J. Grove,et al.  Two modellings for theory change , 1988, J. Philos. Log..

[11]  Jinxin Lin,et al.  Integration of Weighted Knowledge Bases , 1996, Artif. Intell..

[12]  Krister Segerberg,et al.  Belief Revision From the Point of View of Doxastic Logic , 1995, Log. J. IGPL.

[13]  H. Kyburg Probability and Rationality , 1961 .

[14]  Wlodzimierz Rabinowicz,et al.  Stable Revision, or Is Preservation Worth Preserving? , 1996, Logic, Action, and Information.

[15]  Henry E. Kyburg Science and Reason , 1990 .

[16]  Peter Gärdenfors,et al.  Knowledge in Flux , 1988 .

[17]  Sven Ove Hansson,et al.  Taking Belief Bases Seriously , 1994 .

[18]  Bernhard Nebel,et al.  Belief Revision: Syntax based approaches to belief revision , 1992 .

[19]  Mukesh Dalal,et al.  Investigations into a Theory of Knowledge Base Revision , 1988, AAAI.

[20]  David Makinson,et al.  On the logic of theory change: Safe contraction , 1985, Stud Logica.

[21]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[22]  Robert Demolombe,et al.  Reasoning with information sources ordered by topics , 1995 .

[23]  Isaac Levi,et al.  Decisions and revisions: Deductive cogency in inductive inference , 1984 .