Web Stream Reasoning Using Probabilistic Answer Set Programming
详细信息 查看全文
- 作者：Matthias Nickles (17) (18)
Alessandra Mileo (17) - 关键词：Web Reasoning ; Uncertainty Stream Reasoning ; Answer Set Programming ; RDF ; Probabilistic Inductive Logic Programming ; Machine Learning
- 刊名：Lecture Notes in Computer Science
- 出版年：2014
- 出版时间：2014
- 年：2014
- 卷：8741
- 期：1
- 页码：197-205
- 全文大小：247 KB
- 参考文献：1. Baral, C., Gelfond, M., Rushton, N.: Probabilistic reasoning with answer sets. Theory Pract. Log. Program.聽9(1), 57鈥?44 (2009) CrossRef
2. Barbieri, D.F., Braga, D., Ceri, S., Valle, E.D., Huang, Y., Tresp, V., Rettinger, A., Wermser, H.: Deductive and inductive stream reasoning for semantic social media analytics. IEEE Intelligent Systems, 32鈥?1 (2010)
3. Barzilai, J., Borwein, J.M.: Two point step size gradient methods. IMA J. Numer. Anal. (1988)
4. Corapi, D., Sykes, D., Inoue, K., Russo, A.: Probabilistic rule learning in nonmonotonic domains. In: Leite, J., Torroni, P., 脜gotnes, T., Boella, G., van der Torre, L. (eds.) CLIMA XII 2011. LNCS, vol.聽6814, pp. 243鈥?58. Springer, Heidelberg (2011) CrossRef
5. Cussens, J.: Parameter estimation in stochastic logic programs. In: Machine Learning (2000)
6. Do, T.M., Loke, S.W., Liu, F.: Answer set programming for stream reasoning. In: Butz, C., Lingras, P. (eds.) Canadian AI 2011. LNCS, vol.聽6657, pp. 104鈥?09. Springer, Heidelberg (2011) CrossRef
7. Getoor, L.: Learning probabilistic relational models. In: Choueiry, B.Y., Walsh, T. (eds.) SARA 2000. LNCS (LNAI), vol.聽1864, pp. 322鈥?309. Springer, Heidelberg (2000) CrossRef
8. Gebser, M., Grote, T., Kaminski, R., Obermeier, P., Sabuncu, O., Schaub, T.: Answer set programming for stream reasoning. CoRR abs/1301.1392 (2013)
9. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proc. of the 5th Int鈥檒 Conference on Logic Programming, vol.聽161 (1988)
10. Kersting, K., Raedt, L.D.: Bayesian logic programs. In: Proceedings of the 10th International Conference on Inductive Logic Programming (2000)
11. Laskey, K.B., Costa, P.C.: Of klingons and starships: Bayesian logic for the 23rd century. In: Proceedings of the Twenty-First Conference on Uncertainty in Artificial Intelligence (2005)
12. Le-Phuoc, D., Dao-Tran, M., Xavier Parreira, J., Hauswirth, M.: A native and adaptive approach for unified processing of linked streams and linked data. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011, Part I. LNCS, vol.聽7031, pp. 370鈥?88. Springer, Heidelberg (2011) CrossRef
13. Lee, J., Palla, R.: System f2lp 鈥?computing answer sets of first-order formulas. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.聽5753, pp. 515鈥?21. Springer, Heidelberg (2009) CrossRef
14. Margara, A., Urbani, J., van Harmelen, F., Bal, H.: Streaming the web: Reasoning over dynamic data. In: Web Semantics: Science, Services and Agents on the World Wide Web (2014)
15. Mileo, A., Abdelrahman, A., Policarpio, S., Hauswirth, M.: StreamRule: A nonmonotonic stream reasoning system for the semantic web. In: Faber, W., Lembo, D. (eds.) RR 2013. LNCS, vol.聽7994, pp. 247鈥?52. Springer, Heidelberg (2013) CrossRef
16. Mileo, A., Nickles, M.: Probabilistic inductive answer set programming by model sampling and counting. In: 1st Int鈥檒 Workshop on Learning and Nonmonotonic Reasoning (2013)
17. Muggleton, S.: Learning stochastic logic programs. Electron. Trans. Artif. Intell.聽4(B), 141鈥?53 (2000)
18. Ng, R.T., Subrahmanian, V.S.: Stable semantics for probabilistic deductive databases. Inf. Comput.聽110(1), 42鈥?3 (1994) CrossRef
19. Nickles, M., Mileo, A.: Probabilistic inductive logic programming based on answer set programming. In: Procs. 15th International Workshop on Non-Monotonic Reasoning (2014)
20. Poole, D.: The independent choice logic for modelling multiple agents under uncertainty. Artificial Intelligence聽94, 7鈥?6 (1997) CrossRef
21. De Raedt, L., Kersting, K.: Probabilistic inductive logic programming. In: De Raedt, L., Frasconi, P., Kersting, K., Muggleton, S.H. (eds.) Probabilistic Inductive Logic Programming. LNCS (LNAI), vol.聽4911, pp. 1鈥?7. Springer, Heidelberg (2008) CrossRef
22. Raedt, L.D., Kimmig, A., Toivonen, H.: Problog: A probabilistic prolog and its application in link discovery. In: IJCAI, pp. 2462鈥?467 (2007)
23. R茅, C., Letchner, J., Balazinksa, M., Suciu, D.: Event queries on correlated probabilistic streams. In: Procs. 2008 SIGMOD International Conference on Management of Data (2008)
24. Richardson, M., Domingos, P.: Markov logic networks. Mach. Learning聽62(1-2) (2006)
25. Saad, E., Pontelli, E.: Hybrid probabilistic logic programming with non-monotoic negation. In: Twenty First International Conference on Logic Programming (2005)
26. Sato, T., Kameya, Y.: Prism: a language for symbolic-statistical modeling. In: Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI 1997) (1997)
27. Thimm, M., Kern-Isberner, G.: On probabilistic inference in relational conditional logics. Logic Journal of the IGPL聽20(5), 872鈥?08 (2012) CrossRef
28. Valle, E.D., Ceri, S., van Harmelen, F., Fensel, D.: It鈥檚 a streaming world! reasoning upon rapidly changing information. IEEE Intelligent Systems聽24(6), 83鈥?9 (2009) CrossRef
29. Wasserkrug, S., Gal, A., Etzion, O., Turchin, Y.: Complex event processing over uncertain data. In: Procs. 2nd International Conference on Distributed Event-based Systems (2008) - 作者单位：Matthias Nickles (17) (18)
Alessandra Mileo (17)
17. INSIGHT Centre for Data Analytics, National University of Ireland, Galway, Ireland
18. Department of Information Technology, National University of Ireland, Galway, Ireland - ISSN：1611-3349
文摘
We propose a framework for reasoning about dynamic Web data, based on probabilistic Answer Set Programming (ASP). Our approach, which is prototypically implemented, allows for the annotation of first-order formulas as well as ASP rules and facts with probabilities, and for learning of such weights from examples (parameter estimation). Knowledge as well as examples can be provided incrementally in the form of RDF data streams. Optionally, stream data can be configured to decay over time. With its hybrid combination of various contemporary AI techniques, our framework aims at prevalent challenges in relation to data streams and Linked Data, such as inconsistencies, noisy data, and probabilistic processing rules.