首页 | 本学科首页   官方微博 | 高级检索  
     检索      


The distribution semantics for normal programs with function symbols
Institution:Dipartimento di Matematica e Informatica, Università di Ferrara, Via Saragat 1, I-44122, Ferrara, Italy
Abstract:The distribution semantics integrates logic programming and probability theory using a possible worlds approach. Its intuitiveness and simplicity have made it the most widely used semantics for probabilistic logic programming, with successful applications in many domains. When the program has function symbols, the semantics was defined for special cases: either the program has to be definite or the queries must have a finite number of finite explanations. In this paper we show that it is possible to define the semantics for all programs. We also show that this definition coincides with that of Sato and Kameya on positive programs. Moreover, we highlight possible approaches for inference, both exact and approximate.
Keywords:Distribution semantics  Function symbols  ProbLog  Probabilistic logic programming
本文献已被 ScienceDirect 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号