arrow
Return

Learning failure-free PRISM programs

delete2015-12-01
delete1
delete
OA
AI
W
Waleed Alsanie *
J
James Cussens
DOI:10.1016/j.ijar.2015.06.003delete
deleteOriginal
deleteShare
deleteSave
View PDF
Abstract

Abstract

En 中文
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. (C) 2015 Elsevier Inc. All rights reserved.
Keywords:
Probabilistic inductive logic programming
Probabilistic logic
PRISM
Structure learning
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

International Journal of Approximate Reasoning cover
International Journal of Approximate Reasoning
IF:
3
Papers:
3.0K
Citations:
5.1K

Organization

U
university of york - uk
Scholars:
1.5W
Papers: 1.5W
Citations: 15
K
king abdulaziz city for science & technology
Scholars:
665
Papers: 504
Citations: 0
Cited Papers

Cited Papers

Immunologic phase of subacute bacterial endocarditis
err1965-10-01
err0
PREAI
errArsénio Cordeiro; Humberto Costa; Fernando Laginha
errShare
errSave
Module networks: identifying regulatory modules and their condition-specific regulators from gene expression data
err2003-05-11
err1.4K
PREAI
errSegal, E; Shapira, M; Regev, A; Pe'er, D; Botstein, D; Koller, D; Friedman, N
errShare
errSave
errShare
errSave
Ionized Gas in Spiral and Irregular Galaxies.
err1962-05-01
err0
PREAI
errE. Margaret Burbidge; G. R. Burbidge
errShare
errSave
Alkaloid accumulation in capsules of the selfed and cross‐pollinated poppy
err2008-06-28
err0
PREAI
errJ. Bernáth; É. Németh; F. Petheõ; W. Friedt
errShare
errSave
errShare
errSave
researcher View more