RankPL: A Qualitative Probabilistic Programming Language

Preprint English OPEN
Rienstra, Tjitze;
(2017)
  • Subject: Computer Science - Programming Languages | Computer Science - Artificial Intelligence

In this paper we introduce RankPL, a modeling language that can be thought of as a qualitative variant of a probabilistic programming language with a semantics based on Spohn's ranking theory. Broadly speaking, RankPL can be used to represent and reason about processes ... View more
  • References (11)
    11 references, page 1 of 2

    1. Darwiche, A., Pearl, J.: On the logic of iterated belief revision. Artificial intelligence 89(1-2), 1-29 (1996)

    2. G¨ardenfors, P., Rott, H.: Handbook of logic in artificial intelligence and logic programming (vol. 4). chap. Belief Revision, pp. 35-132. Oxford University Press, Oxford, UK (1995)

    3. Goldszmidt, M., Pearl, J.: Qualitative probabilities for default reasoning, belief revision, and causal modeling. Artificial Intelligence 84(1), 57-112 (1996)

    4. Goodman, N.D., Mansinghka, V.K., Roy, D.M., Bonawitz, K., Tenenbaum, J.B.: Church: a language for generative models. In: McAllester, D.A., Myllym¨aki, P. (eds.) UAI 2008, Proceedings of the 24th Conference in Uncertainty in Artificial Intelligence, Helsinki, Finland, July 9-12, 2008. pp. 220-229. AUAI Press (2008)

    5. Halpern, J.Y.: Reasoning about uncertainty. MIT Press (2005)

    6. Kozen, D.: Semantics of probabilistic programs. J. Comput. Syst. Sci. 22(3), 328- 350 (1981)

    7. Kyburg Jr, H.E.: Probability and the logic of rational belief (1961)

    8. Mansinghka, V.K., Selsam, D., Perov, Y.N.: Venture: a higher-order probabilistic programming platform with programmable inference. CoRR abs/1404.0099 (2014)

    9. Pearl, J.: System Z: A natural ordering of defaults with tractable applications to nonmonotonic reasoning. In: Parikh, R. (ed.) Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, March 1990. pp. 121-135. Morgan Kaufmann (1990)

    10. Pfeffer, A.: Figaro: An object-oriented probabilistic programming language. Charles River Analytics Technical Report 137 (2009)

  • Related Research Results (1)
    Inferred by OpenAIRE
    software
    RankPL software on GitHub
    72%
  • Related Organizations (4)
  • Metrics
Share - Bookmark