PLINI: A Probabilistic Logic Program Framework for Inconsistent News Information
News sources are reliably unreliable. Different news sources may provide significantly differing reports about the same event. Often times, even the same news source may provide widely varying data over a period of time about the same event. Past work on inconsistency management and paraconsistent logics assume that we have “clean” definitions of inconsistency. However, when reasoning about events reported in the news, we need to deal with two unique problems: (i) are two events being reported on the same or are they different? and (ii) what does it mean for two event descriptions to be mutually inconsistent, given that these events are often described using linguistic terms that do not always have a uniquely accepted formal semantics? The answers to these two questions turn out to be closely interlinked. In this paper, we propose a probabilistic logic programming language called PLINI (Probabilistic Logic for Inconsistent News Information) within which users can write rules specifying what they mean by inconsistency in situation (ii) above. We show that PLINI rules can be learned automatically from training data using standard machine learning algorithms. PLINI is a variant of the well known generalized annotated program framework that accounts for similarity of numeric, temporal, and spatial terms occurring in news. We develop a syntax, model theoretic semantics, and fixpoint semantics for PLINI rules, and show how PLINI rules can be used to detect inconsistent news reports.
KeywordsLogic Programming Hausdorff Distance News Report Predicate Symbol Equivalence Atom
Unable to display preview. Download preview PDF.
- 1.Belnap, N.: A useful four valued logic. Modern Uses of Many Valued Logic, 8–37 (1977)Google Scholar
- 10.Albanese, M., Subrahmanian, V.S.: T-REX: A domain-independent system for automated cultural information extraction. In: Proceedings of the First International Conference on Computational Cultural Dynamics, pp. 2–8. AAAI Press, Menlo Park (2007)Google Scholar
- 11.Cohn, A.G.: A many sorted logic with possibly empty sorts. In: Proceedings of the 11th International Conference on Automated Deduction, pp. 633–647 (1992)Google Scholar
- 15.Ozcan, F., Subrahmanian, V.S.: Partitioning activities for agents. In: Proceedings of the 17th International Joint Conference on Artificial Intelligence, pp. 1218–1228 (2001)Google Scholar
- 17.Demaine, E.D., Immorlica, N.: Correlation clustering with partial information. In: Arora, S., Jansen, K., Rolim, J.D.P., Sahai, A. (eds.) RANDOM 2003 and APPROX 2003. LNCS, vol. 2764, pp. 71–80. Springer, Heidelberg (2003)Google Scholar
- 18.Bhattacharya, I., Getoor, L.: Collective entity resolution in relational data. ACM Transactions on Knowledge Discovery from Data (TKDD) 1(1) (2007)Google Scholar
- 21.Ng, A.Y., Jordan, M.I.: On discriminative vs. generative classifiers: A comparison of logistic regression and naive bayes. Advances in Neural Information Processing Systems 2, 841–848 (2002)Google Scholar
- 25.Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of the 5th International Conference on Logic Programming, pp. 1070–1080 (1988)Google Scholar