Generative Modeling with Failure in PRISM

Sato, Taisuke; Kameya, Yoshitaka; Zhou, Neng-Fa

Generative Modeling with Failure in PRISM

Taisuke Sato, Yoshitaka Kameya, Neng-Fa Zhou

Download BibTeX Cite

Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence. Pages 847-851.

Abstract

PRISM is a logic-based Turing-complete symbolicstatistical modeling language with a built-in parameter learning routine. In this paper,we enhance the modeling power of PRISM by allowing general PRISM programs to fail in the generation process of observable events. Introducing failure extends the class of definable distributions but needs a generalization of the semantics of PRISM programs. We propose a three valued probabilistic semantics and show how failure enables us to pursue constraint-based modeling of complex statistical phenomena.

Taisuke Sato, Yoshitaka Kameya, and Neng-Fa Zhou. 2005. Generative Modeling with Failure in PRISM. In Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05. IJCAI, 847–851. https://ijcai.org/proceedings/2005/37

@inproceedings{ijcai2005p37,
  title     = {Generative Modeling with Failure in PRISM},
  author    = {Sato, Taisuke and Kameya, Yoshitaka and Zhou, Neng-Fa},
  booktitle = {Proceedings of the Nineteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-05}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  pages     = {847--851},
  year      = {2005},
  url       = {https://ijcai.org/proceedings/2005/37},
}

TY  - CPAPER
TI  - Generative Modeling with Failure in PRISM
AU  - Sato, Taisuke
AU  - Kameya, Yoshitaka
AU  - Zhou, Neng-Fa
T2  - Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2005
SP  - 847
EP  - 851
UR  - https://ijcai.org/proceedings/2005/37
ER  -