Man bites dog: Looking for interesting inconsistencies in structured news reports

Data and Knowledge Engineering

Volumn 48, Issue 3, 2004, Pages 265-295

  Byrne, Emma ^a   Hunter, Anthony ^a  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

Analysing inconsistency; Argumentation; Contradiction; Default knowledge; Defeasible knowledge; Expectation; Measuring inconsistency

Indexed keywords

ATMOSPHERIC HUMIDITY; DATA MINING; DATABASE SYSTEMS; HEURISTIC METHODS; INFORMATION MANAGEMENT; INFORMATION TECHNOLOGY; KNOWLEDGE BASED SYSTEMS; MERGERS AND ACQUISITIONS; PUBLISHING; WEATHER FORECASTING;

ANALYZING INCONSISTENCY; ARGUMENTATION; CONTRADICTIONS; DEFAULT KNOWLEDGE; DEFEASIBLE KNOWLEDGE; EXPECTATIONS; MEASURING INCONSISTENCY;

KNOWLEDGE ENGINEERING;

EID: 1142276031     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0169-023X(03)00123-X     Document Type: Article

References (37)

1. Boolos G., Burgess J., Jeffrey R. Computability and Logic. 2002;Cambridge University Press.
2. S. Benferhat, D. Dubois, S. Kaci, H. Prade, Encoding information fusion in possibilistic logic: A general framework for rational syntactic merging, in: Proceedings of the 14th European Conference on Artificial Intelligence (ECAI'2000), IOS Press, 2000, pp. 3-7.
3. S. Benferhat, D. Dubois, H. Prade, Argumentative inference in uncertain and inconsistent knowledge bases, in: Proceedings of Uncertainty in Artificial Intelligence (UAI'93), Morgan Kaufmann, 1993, pp. 1449-1445.
4. Besnard Ph., Hunter A. A logic-based theory of deductive arguments. Artificial Intelligence. 128:2001;203-235.
5. E. Byrne, A. Hunter, Event modeling for reasoning with structured news reports. Technical report, Department of Computer Science, University College London, 2002.
6. G. Brewka, Preferred subtheories: An extended logical framework for default reasoning, in: Proceedings of the Eleventh International Conference on Artificial Intelligence (IJCAI'89), 1989, pp. 1043-1048.
7. 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.
8. Cowie J., Lehnert W. Information extraction. Communications of the ACM. 39:1996;81-91.
9. M. Dalal, Investigations into a theory of knowledge base revision: Preliminary report, in: Proceedings of the 7th National Conference on Artificial Intelligence (AAAI'88), MIT Press, 1988, pp. 3-7.
10. A. Darwiche, Compiling knowledge into decomposible negation normal form, in: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI'99), 1999, pp. 284-289.
11. D. Dubois, J. Lang, H. Prade, Possibilistic logic, in: Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, Oxford University Press, 1994, pp. 439-513.
12. A. Darwiche, P. Marquis, A perspective on knowledge compilation, in: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI'01), 2001, pp. 175-182.
13. Eiter T., Gottlob G. The complexity of logic-based abduction. Journal of the ACM. 42:1995;3-42.
14. Gardenfors P. Knowledge in Flux. 1988;MIT Press.
15. Gabbay D., Gillies D., Hunter A., Muggleton S., Ng Y., Richards B. The Rule-based Systems Project: Using confirmation theory and non-monotonic logics for incremental learning. Muggleton S. Inductive Logic Programming. 1992;Academic Press.
16. D. Gabbay, A. Hunter, Making inconsistency respectable, in: Foundations of Artificial Intelligence Research, volume 535 of Lecture Notes in Computer Science, Springer, 1991, pp. 19-32.
17. Garey M., Johnson D. Computers and Intractability. 1979;W.H. Freeman.
18. Hunter A. Merging potentially inconsistent items of structured text. Data and Knowledge Engineering. 34:2000;305-332.
19. Hunter A. Ramification analysis using causal mapping. Data and Knowledge Engineering. 32:2000;1-27.
20. Hunter A. Reasoning with inconsistency in structured text. Knowledge Engineering Review. 15:2000;317-337.
21. Hunter A. Hybrid argumentation systems for structured news reports. Knowledge Engineering Review. 16:2001;295-329.
22. Hunter A. Logical fusion rules for merging structured news reports. Data and Knowledge Engineering. 42:2002;23-56.
23. 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.
24. Hunter A. Merging structured text using temporal knowledge. Data and Knowledge Engineering. 41:2002;29-66.
25. 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.
26. Kowalski R., Sergot M. A logic-based calculus of events. New Generation Computing. 4:1985;67-95.
27. De Kleer J., Williams B. Diagnosing multiple faults. Artificial Intelligence. 32:1987;97-130.
28. Lin J., Mendelzon A.O. Merging databases under constraints. International Journal of Cooperative Information Systems. 7(1):1998;55-76.
29. Lozinskii E. Information and evidence in logic systems. Journal of Experimental and Theoretical Artificial Intelligence. 6:1994;163-193.
30. P. Marquis, Knowledge compilation using prime implicates, in: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI'95), 1995, pp. 837-843.
31. R. Miller, M. Shanahan, Some alternative formulations of the event calculus, in: Computational Logic: Logic Programming and Beyond, volume 2408 of Lecture Notes in Computer Science, Springer, 2002, pp. 452-490.
32. Reiter R. On closed world databases. Gallaire H., Minker J. Logic and Databases. 1978;55-76 Plenum Press.
33. Reiter R. A theory of diagnosis from first principles. Artificial Intelligence. 32:1987;57-95.
34. Revesz P. On the semantics of arbitration. International Journal of Algebra and Computation. 7:1997;133-160.
35. Schaerf M., Cadoli M. Tractable reasoning via approximation. Artificial Intelligence. 74:1995;249-310.
36. Sterling L., Shapiro E. The Art of Prolog. 1994;MIT Press.
37. Wong P., Besnard Ph. Paraconsistent reasoning as an analytic tool. Journal of the Interest Group in Propositional Logic. 9:2001;233-246.