By the same authors

From the same journal

Learning failure-free PRISM programs

Research output: Contribution to journalArticlepeer-review



Publication details

JournalInternational Journal of Approximate Reasoning
DateE-pub ahead of print - 11 Jun 2015
DatePublished (current) - Dec 2015
Number of pages38
Pages (from-to)73-110
Early online date11/06/15
Original languageEnglish


PRISM is a probabilistic logic programming formalism which allows defining a probability distribution over possible worlds. This paper investigates learning a class of generative PRISM programs known as failure-free. The aim is to learn recursive PRISM programs which can be used to model stochastic processes. These programs generalise dynamic Bayesian networks by defining a halting distribution over the generative process. Dynamic Bayesian networks model infinite stochastic processes. Sampling from infinite process can only be done by specifying the length of sequences that the process generates. In this case, only observations of a fixed length of sequences can be obtained. On the other hand, the recursive PRISM programs considered in this paper are self-terminating upon some halting conditions. Thus, they generate observations of different lengths of sequences. The direction taken by this paper is to combine ideas from inductive logic programming and learning Bayesian networks to learn PRISM programs. It builds upon the inductive logic programming approach of learning from entailment.

    Research areas

  • Structure learning, Probabilistic inductive logic programming, Probabilistic logic, PRISM

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations