伊巴尔

IBAL:一种概率理性编程语言。在rational编程语言中,程序指定了一个代理所面临的情况;对程序的评估相当于计算一个rational代理在这种情况下会相信或做什么。本文介绍了IBAL,一种用于概率论和决策论智能体的理性编程语言。IBAL为描述概率模型提供了一种丰富的声明性语言。表达式语言允许描述任意复杂的生成模型。此外,IBAL的观察语言使表达和构建由观察结果条件化而产生的拒绝模型成为可能。IBAL还将贝叶斯参数估计和决策理论效用最大化完全集成到该框架中。所有这些都打包成一种具有丰富类型系统和内置可扩展性的编程语言。本文详细介绍了IBAL的语法和语义,并对其实现进行了概述。


zbMATH参考文献(27篇文章引用)

显示第1到第20个结果,共27个。
按年份排序(引用)
  1. Cozman,Fabio Gagliardi;Mauá,Denis Deratani:贝叶斯网络规范的有限模型理论:描述复杂性和零/一定律(2019)
  2. Abdallah,Samer:PRISM重访:使用多提示分隔控制的概率编程语言的声明性实现(2018)
  3. Cozman,Fabio G.;Mauá,Denis D.:命题和关系语言指定的贝叶斯网络的复杂性(2018)
  4. Bach,Stephen H.;Broecheler,Matthias;Huang,Bert;Getoor,Lise:铰链损失马尔可夫随机场与概率软逻辑(2017)
  5. Carvalho,隆美尔N.;Laskey,Kathryn B.;Costa,Paulo C.G.:PR-OWL-定义概率本体论的语言(2017)
  6. Huang,Daniel;Morrisett,Greg:可计算分布在概率编程语言语义中的应用(2016)
  7. Wingate,David;Kane,Jonathan;Wolinsky,Matt;Sylvester,Zoltán:一种将基于过程的地质模型调节为油井数据的新方法(2016年)
  8. Crubille,Raphaëlle;Dal Lago,Ugo;Sangiorgi,Davide;Vignedelli,Valeria:论应用相似性、顺序性和完全抽象(2015)
  9. De Raedt,Luc;Kimmig,Angelika:概率(逻辑)编程概念(2015)
  10. Howard,Catherine;Stumptner,Markus:基于有向实体关系的一阶概率语言调查(2014)
  11. Sangiorgi,Davide:高阶语言:互模拟和共归纳等价(扩展摘要)(2014)
  12. Borgström,Johannes;Gordon,Andrew D;Greenberg,Michael;Margetson,James;Van Gael,Jurgen:用于贝叶斯机器学习的度量变换器语义(2013)
  13. Gordon,Andrew D.;Aizatulin,Mihhail;Borgstrom,Johannes;Claret,Guillaume;Graepel,Thore;Nori,Aditya V.;Rajamani,Sriram K.;Russo,Claudio:贝叶斯推理的模型学习者模式(2013)
  14. Hutter,Marcus;Lloyd,John W.;Ng,Kee-Siong;Uther,William T.B.:表达逻辑中句子的概率(2013)
  15. Freer,Cameron E.;Roy,Daniel M.:可计算的deFinetti度量(2012)
  16. Borgström,Johannes;Gordon,Andrew D;Greenberg,Michael;Margetson,James;Van Gael,Jurgen:用于贝叶斯机器学习的度量变换器语义(2011)
  17. Gutmann,Bernd;Thon,Ingo;Kimmig,Angelika;Bruynooghe,Maurice;De Raedt,Luc:概率规划中逻辑推理的魔力(2011)
  18. Freer,Cameron E.;Roy,Daniel M.:可计算交换序列具有可计算的de Finetti度量(2009)
  19. van Otterlo,Martijn:适应性行为的逻辑。一阶和关系域中不确定条件下自适应序列决策的知识表示与算法。(2009年)
  20. Dieterich,Thomas G.;Domingos,Pedro;Getoor,Lise;Muggleton,Stephen;Tadepalli,Prasad:《结构化机器学习:未来十年》(2008)ioport公司