Show simple item record

dc.contributor.authorSaad Emad
dc.date.accessioned2018-05-24T05:03:18Z
dc.date.available2018-05-24T05:03:18Z
dc.date.issued2007
dc.identifier.citationhttps://doi-org.adu-lib-database.idm.oclc.org/en_US
dc.identifier.isbn978-3-540-69911-8
dc.identifier.urihttps://dspace.adu.ac.ae/handle/1/1374
dc.descriptionSaad, E. (2006, June). Towards the computation of stable probabilistic model semantics. In Annual Conference on Artificial Intelligence (pp. 143-158). Springer, Berlin, Heidelberg.en_US
dc.description.abstractIn [22], a stable model semantics extension of the language of hybrid probabilistic logic programs [21] with non-monotonic negation, normal hybrid probabilistic programs (NHPP), has been developed by introducing the notion of stable probabilistic model semantics. It has been shown in [22] that the stable probabilistic model semantics is a natural extension of the stable model semantics for normal logic programs and the language of normal logic programs is a subset of the language NHPP. This suggests that efficient algorithms and implementations for computing the stable probabilistic model semantics for NHPP can be developed by extending the efficient algorithms and implementation for computing the stable model semantics for normal logic programs, e.g., SMODELS [17]. In this paper, we explore an algorithm for computing the stable probabilistic model semantics for NHPP along with its auxiliary functions. The algorithm we develop is based on the SMODELS [17] algorithms. We show the soundness and completeness of the proposed algorithm. We provide the necessary conditions that these auxiliary functions have to satisfy to guarantee the soundness and completeness of the proposed algorithm. This algorithm is the first to develop for studying computational methods for computing the stable probabilistic models semantics for hybrid probabilistic logic programs with non-monotonic negation.en_US
dc.language.isoen_USen_US
dc.publisherSpringeren_US
dc.subjectLogic Programen_US
dc.subjectLogic Programmingen_US
dc.subjectDecision Procedureen_US
dc.subjectAuxiliary Functionen_US
dc.subjectModel Semanticen_US
dc.titleTowards the Computation of Stable Probabilistic Model Semanticsen_US
dc.typeArticleen_US
dc.identifier.doihttps://doi.org/10.1007/978-3-540-69912-5_12


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record