Approaches to measuring inconsistent information

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3300 LNCS, Issue , 2004, Pages 191-236

  Hunter, Anthony ^a   Konieczny, Sébastien ^b  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

^b UNIVERSITÉ D'ARTOIS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; INFORMATION ANALYSIS; KNOWLEDGE BASED SYSTEMS; INFORMATION THEORY; INTELLIGENT SYSTEMS; PROBABILITY;

CLASSICAL INFERENCE; CLASSICAL MODEL; PROPOSITIONAL LOGIC;

INFORMATION THEORY; COMPUTER CIRCUITS;

AMOUNT OF INFORMATION; CLASSICAL INFORMATION; CLASSICAL MODEL; INCONSISTENT INFORMATION; MEASURES OF INFORMATION; PARACONSISTENT LOGIC; PROBABILITY THEORY; PROPOSITIONAL LOGIC;

EID: 36849009156     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (71)

1. C. Alchourrón, P. Gärdenfors, and D. Makinson. On the logic of theory change: partial meet contraction and revision functions. Journal of Symbolic Logic, 50:510-530, 1985.
2. L. Amgoud, S. Parsons, and N. Maudet. Arguments, dialogue, and negotiation. In Proceedings of the 14th European Conference on Artificial Intelligence (ECAI'2000), 2000.
3. K. J. Arrow. Social choice and individual values. Wiley, New York, second edition, 1963.
4. C. Baral, S. Kraus, J. Minker, and V. S. Subrahmanian. Combining knowledge bases consisting of first-order theories. Computational Intelligence, 8(1):45-71, 1992.
5. C. Baral, S. Kraus, and J. Minker. Combining multiple knowledge bases. IEEE Transactions on Knowledge and Data Engineering, 3(2):208-220, 1991.
6. N. Belnap. A useful four-valued logic. In G Epstein, editor, Modern Uses of Multiple-valued Logic, pages 8-37. Reidel, 1977.
7. S. Benferhat, D. Dubois, and H. Prade. Argumentative inference in uncertain and inconsistent knowledge bases. In Proceedings of Uncertainty in Artificial Intelligence, pages 1449-1445. Morgan Kaufmann, 1993.
8. S. Benferhat, D. Dubois, and H. Prade. An overview of inconsistency-tolerant inferences in prioritized knowledge bases. In Fuzzy Sets, Logic and Reasoning about Knowledge, volume 15 of Applied Logic Series, pages 395-417. Kluwer, 1999.
9. Ph. Besnard and A. Hunter. Quasi-classical logic: Non-trivializable classical reasoning ¿from inconsistent information. In C Froidevaux and J Kohlas, editors, Symbolic and Quantitative Approaches to Uncertainty, volume 946 of Lecture Notes in Computer Science, pages 44-51, 1995.
10. Ph. Besnard and A. Hunter. Introduction to actual and potential contradictions. In Ph Besnard and A. Hunter, editors, Handbook of Defeasible Resoning and Uncertainty Management Systems, volume 2, pages 1-9. Kluwer, 1998. (Series editors: Dov Gabbay and Ph Smets).
11. G. Brewka. Preferred subtheories: An extended logical framework for default reasoning. In Proceedings of the Eleventh International Conference on Artificial Intelligence, pages 1043-1048, 1989.
12. L. Cholvy and C. Garion, Querying Several Conflicting Databases. Journal Of Applied Non-Classical Logics, 14(3):295-327, 2004.
13. W. Carnielli and J. Marcos. A taxonomy of C systems. In Paraconsistency: The Logical Way to the Inconsistent, pages 1-94. Marcel Dekker, 2002.
14. C. Chesnevar, A. Maguitman, and R. Loui. Logical models of argument. ACM Computing Surveys, 32:337-383, 2001.
15. M. Dalal. Investigations into a theory of knowledge base revision: Preliminary report. In Proceedings of the 7th National Conference on Artificial Intelligence (AAAI'88), pages 3-7. MIT Press, 1988.
16. A. Darwiche and J. Pearl. On the logic of iterated belief revision. Artificial Intelligence, 89:1-29, 1997.
17. N. C. da Costa. On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic, 15:497-510, 1974.
18. D. Dubois, S. Konieczny, and H. Prade. Quasi-possibilistic logic and its measures of information and conflict. Fundamenta Informaticae, 57:101-125, 2003.
19. D. Dubois, J. Lang, and H. Prade. Possibilistic logic. In Handbook of Logic in Artificial Intelligence and Logic Programming, volume 3, pages 439-513. Oxford University Press, 1994.
20. D. Dubois and H. Prade. Properties of measures of information in evidence and possibility theories. Fuzzy Sets and Systems, 24:161-182, 1987.
21. Reprinted in Fuzzy Sets and Systems, supplement to Vol. 100, 35-49, 1999.
22. M. Elvang-Goransson and A. Hunter. Argumentative logics: Reasoning from classically inconsistent information. Data and Knowledge Engineering, 16:125-145, 1995.
23. N. Friedman and J. Y. Halpern. Belief revision: a critique. In Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), pages 421-431, 1996.
24. D. Gabbay and A. Hunter. Making inconsistency respectable 1: A logical framework for inconsistency in reasoning. In Fundamentals of Artificial Intelligence, volume 535 of Lecture Notes in Computer Science, pages 19-32. Springer, 1991.
25. P. Gärdenfors. Knowledge in Flux. MIT Press, 1988.
26. J. Grant and A. Hunter. Measuring inconsistency in knowledgebases. Technical report, UCL Department of Computer Science, 2004.
27. J. Grant. Classifications for inconsistent theories. Notre Dame Journal of Formal Logic, 19:435-444, 1978.
28. J. Hintikka. On semantic information. Information and Inference, pages 3-27, 1970.
29. A. Hunter. Paraconsistent logics. In Dov Gabbay and Ph Smets, editors, Handbook of Defeasible Resoning and Uncertainty Management Systems, volume 2, pages 11-36. Kluwer, 1998.
30. A. Hunter. Reasoning with contradictory information using quasi-classical logic. Journal of Logic and Computation, 10:677-703, 2000.
31. A. Hunter. A semantic tableau version of first-order quasi-classical logic. In Quantitative and Qualitative Approaches to Reasoning with Uncertainty, LNCS. Springer, 2001. 544-556.
32. A. Hunter. Measuring inconsistency in knowledge via quasi-classical models. In Proceedings of the 18th National Conference on Artificial Intelligence (AAAI'2002), pages 68-73. MIT Press, 2002. ISBN 0-262-51129-0.
33. A. Hunter. Evaluating the significance of inconsistency. In Proceedings of the International Joint Conference on AI (IJCAI'03), pages 468-473, 2003.
34. A. Hunter. Measuring inconsistency in first-order knowledge. Technical report, UCL Department of Computer Science, 2003.
35. A. Hunter. Logical comparison of inconsistent perspectives using scoring functions. Knowledge and Information Systems Journal, 2004. (in press).
36. J. Kemeny. A logical measure function. Journal of Symbolic Logic, 18:289-308, 1953.
37. J. De Kleer and B. Williams. Diagnosing multiple faults. Artificial Intelligence, 32:97-130, 1987.
38. K. M. Knight. Measuring inconsistency. Journal of Philosophical Logic, 31:77-98, 2001.
39. K. M. Knight. A theory of inconsistency. PhD thesis, The university of Manchester, 2002.
40. K. M. Knight. Two information measures for inconsistent sets. Journal of Logic, Language and Information, 12:227-248, 2003.
41. S. Konieczny, J. Lang, and P. Marquis. Quantifying information and contradiction in propositional logic through epistemic tests. In Proceedings of the 18th International Joint Conference on Artificial Intellignce (IJCAI'03), pages 106-111, 2003.
42. S. Konieczny and R. Pino-Pérez. On the logic of merging. In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR98), pages 488-498. Morgan Kaufmann, 1998.
43. S. Konieczny and R. Pino-Pérez. Merging information under constraints: a qualitative framework. Journal of Logic and Computation, 12(5):773-808, 2002.
44. S. Kraus, D. Lehmann, and M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44:167-207, 1990.
45. T. Kuipers, editor. What is closer-to-the-truth? Rodopi, Amsterdam, 1987.
46. R. Kwok, N. Foo, and A. Nayak. Coherence of laws. In Proceedings of the International Joint Conference on AI (IJCAI'03), 2003.
47. D. Lehmann and M. Magidor. What does a conditional knowledge base entail? Artificial Intelligence, 55:1-60, 1992.
48. H. Levesque. A logic of implicit and explicit belief. In Proceedings of the National Conference on Artificial Intelligence (AAAI'84), pages 198-202, 1984.
49. E. Lozinskii. Information and evidence in logic systems. Journal of Experimental and Theoretical Artificial Intelligence, 6:163-193, 1994.
50. E. Lozinskii. Resolving contradictions: A plausible semantics for inconsistent systems. Journal of Automated Reasoning, 12:1-31, 1994.
51. E. Lozinskii. On knowledge evolution: Acquisition, revision, contraction. Journal of Applied Non-Classical Logic, 7:177-212, 1997.
52. D. Makinson. Handbook of Logic in Artificial Intelligence and Logic Programming, volume III, chapter General Pattern in nonmonotonic reasoning, pages 35-110. Clarendon Press, Oxford, 1994.
53. R. Manor and N. Rescher. On inferences from inconsistent information. Theory and Decision, 1:179-219, 1970.
54. P. Marquis and N. Porquet. Computational aspects of quasi-classical entailment. Journal of Applied Non-classical Logics, 11:295-312, 2001.
55. C. Papadimitriou. Computational Complexity. Addison-Wesley, 1994.
56. J. B. Paris. The uncertain reasoner's companion: a mathematical perspective. Number 39 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1994.
57. S. Parsons, M. Wooldridge, and L. Amgoud. Properties and complexity of some formal inter-agent dialogues. Journal of Logic and Computation, 2003.
58. K. Popper. Conjectures and Refutation. Routlege and Kegan Paul, London, 1963.
59. H. Prakken and G. Vreeswijk. Logical systems for defeasible argumentation. In D Gabbay, editor, Handbook of Philosophical Logic. Kluwer, 2000.
60. G. Priest. Minimally inconsistent LP. Studia Logica, 50:321-331, 1991.
61. G. Priest. Paraconsistent logic. In Handbook of Philosophical Logic, volume 6. Kluwer, 2002.
62. R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32:57-95, 1987.
63. P. Revesz. On the semantics of arbitration. International Journal of Algebra and Computation, 7:133-160, 1997.
64. M. Ryan and P. Y. Schobbens. Belief revision and verisimilitude. Notre Dame Journal of Formal Logic, 36(1):15-29, 1995.
65. L. J. Savage. The foundations of statistics. Dover Publications, New York, 1971. Second revised edition.
66. M. Schaerf and M. Cadoli. Tractable reasoning via approximation. Artificial Intelligence, 74:249-310, 1995.
67. G. Shafer. A Mathematical Theory of Evidence. Princeton University Press, 1976.
68. C. Shannon. A mathematical theory of communication. Bell System Technical Journal, 27:379-423, 1948.
69. W. Spohn. Ordinal conditional functions: a dynamic theory of epistemic states. In W. L. Harper and B. Skyrms, editors, Causation in Decision, Belief Change, and Statistics, volume 2, pages 105-134. Princeton University Press, 1987.
70. M. Williams. Iterated theory base change: A computational model. In Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI'95), pages 1541-1547, 1995.
71. P. Wong and Ph. Besnard. Paraconsistent reasoning as an analytic tool. Journal of the Interest Group in Propositional Logic, 9:233-246, 2001.