Show simple item record

dc.contributor.authorSaad Emad
dc.date.accessioned2018-05-24T05:14:48Z
dc.date.available2018-05-24T05:14:48Z
dc.date.issued2008
dc.identifier.urihttps://dspace.adu.ac.ae/handle/1/1378
dc.descriptionSaad, E. (2008, October). On the relationship between hybrid probabilistic logic programs and stochastic satisfiability. In International Conference on Scalable Uncertainty Management (pp. 356-371). Springer, Berlin, Heidelberg.en_US
dc.description.abstractIn this paper we study the relationship between Stochastic Satisfiability (SSAT) (Papadimitriou 1985; Littman, Majercik, & Pitassi 2001) and Extended Hybrid Probabilistic Logic Programs (EHPP) with probabilistic answer set semantics (Saad 2006). We show that any instance of SSAT can be modularly translated into an EHPP program with probabilistic answer set semantics. In addition, we show that there is no modular mapping from EHPP to SSAT. This shows that EHPP is more expressive than SSAT from the knowledge representation point of view. Moreover, we show that the translation in the other way around from a program in EHPP to SSAT is more involved. We show that not every program in EHPP can be translated into an SSAT instance, rather a restricted class of EHPP can be translated into SSAT.en_US
dc.language.isoen_USen_US
dc.publisherSpringeren_US
dc.titleOn the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiabilityen_US
dc.typeArticleen_US
dc.identifier.doihttps://doi.org/10.1007/978-3-540-87993-0_28


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record