Evaluating violations of expectations to find exceptional information

Data and Knowledge Engineering

Volumn 54, Issue 2, 2005, Pages 97-120

  Byrne, Emma ^a   Hunter, Anthony ^a  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

Analysing inconsistency; Contradiction; Default information; Defeasible information; Exceptions; Expectations; Measuring inconsistency

Indexed keywords

DATA PROCESSING; FORMAL LOGIC; INFORMATION DISSEMINATION; INFORMATION MANAGEMENT; INFORMATION RETRIEVAL; KNOWLEDGE ENGINEERING;

ANALYSING INCONSISTENCY; CONTRADICTION; DEFAULT INFORMATION; DEFEASIBLE INFORMATION; EXCEPTIONS; EXPECTATIONS; MEASURING INCONSISTENCY;

INFORMATION ANALYSIS;

EID: 18844398575     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.datak.2004.09.003     Document Type: Article

References (27)

1. S. Bergamaschi, S. Castano, M. Vincini, and D. Beneventano Semantic integration of heterogeneous information sources Data and Knowledge Engineering 36 2001 215 249
2. G. Brewka, J. Dix, and K. Konolige Non-monotonic Reasoning: An Overview 1997 CLSI Publications
3. E. Byrne, and A. Hunter Man bites dog: Looking for interesting inconsistencies in structured news reports Data and Knowledge Engineering 48 2004 265 285
4. C. Baral, S. Kraus, J. Minker, and V. Subrahmanian Combining knowledge bases of consisting of first-order theories Computational Intelligence 8 1992 45 71
5. E. Byrne, Representing and reasoning with expectations. Ph.D. thesis, UCL Department of Computer Science, 2005, (in preparation)
6. D. Calvanese, G. De Giacomo, M. Lenzerini, D. Nardi, R. Rosati, Source integration in data warehousing, in: Proceedings of the 9th International Workshop on Database and Expert Systems (DEXA'98), IEEE Computer Society Press, 1998, pp. 192-197
7. L. Cholvy, A. Hunter, Information fusion in logic: A brief overview, in: D. Gabbay, R. Kruse, A. Nonnengart, H.-J. Ohlbach, (Eds.), Symbolic and Quantitative Approaches to Uncertainty (ECSQARU'97), Lecture Notes in Computer Science, Springer, 1997, pp. 86-95
8. J. Cussens, A. Hunter, A. Srinivasan, Generating explicit orderings for non-monotonic logics, In Proceedings of the 11th National Conference on Artificial Intelligence (AAAI'93), MIT Press, 1993, pp. 420-425
9. L. Cholvy, and S. Moral Merging databases: Problems and examples International Journal of Intelligent Systems 10 2001 1193 1221
10. M. Fitting Bilattices and the theory of truth Journal of Philosophical Logic 18 1989 225 256
11. D. Gillies Artificial Intelligence and Scientific Method 1996 Oxford University Press
12. M. Ginsberg, Multi-valued logics, in: Proceedings of the 5th National Conference on Artificial Intelligence (AAAI'86), Morgan Kaufmann, Philadelphia PA, 1986, pp. 243-247
13. A. Hunter, and S. Konieczny Approaches to measuring inconsistent information Inconsistency Tolerance, volume 3300 of Lecture Notes in Computer Science 2004 Springer 189 234
14. A. Hunter, R. Summerton, Propositional fusion rules, In Symbolic and Quantitative Approaches to Reasoning with Uncertainty, volume 2711 of Lecture Notes in Computer Science, Springer, 2003, pp. 502-514
15. A. Hunter, and R. Summerton Fusion rules for context-dependent aggregation of structured news reports Journal of Applied Non-classical Logic 14 3 2004 329 366
16. A. Hunter Logical fusion rules for merging structured news reports Data and Knowledge Engineering 42 2002 23 56
17. A. Hunter, Measuring inconsistency in knowledge via quasi-classical models, in: Proceedings of the National Conference on Artificial Intelligence (AAAI'02), MIT Press, 2002, pp. 68-73
18. A. Hunter, Evaluating the significance of inconsistency, in: Proceedings of the International Joint Conference on AI (IJCAI'03), Morgan Kaufmann, 2003, pp. 468-473
19. S. Konieczny, J. Lang, P. Marquis, Quantifying information and contradiction in propositional logic through epistemic actions, in: Proceedings of the 18th International Joint Conference on Artificial Intellignce (IJCAI'03), 2003, pp. 106-111
20. S. Konieczny, R. Pino Perez, On the logic of merging. In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Morgan Kaufmann, 1998, pp. 488-498
21. E. Lozinskii Information and evidence in logic systems Journal of Experimental and Theoretical Artificial Intelligence 6 1994 163 193
22. P. Liberatore, and M. Schaerf Arbitration (or how to merge knowledge bases) IEEE Transactions on Knowledge and Data Engineering 10 1998 76 90
23. S. Muggleton Inductive logic programming: issues, results and the LLL challenge Artificial Intelligence 114 1-2 1999 283 296
24. S. Muggleton Scientific knowledge discovery using inductive logic programming Communications of the ACM 42 11 1999 42 46
25. A. Preece, K. Hui, A. Gray, P. Marti, T. Bench-Capon, D. Jeans, Z. Cui, The KRAFT architecture for knowledge fusion and transformation, In Expert Systems, Springer, 1999
26. G. Plotkin, A note on inductive generalization, In: B. Meltzer, D. Michie, (Eds.), Machine Intelligence 5, Edinburgh University Press, 1970, pp. 153-163
27. R. Reiter On closed world databases H. Gallaire J. Minker Logic and Databases 1978 Plenum Press 55 76