IBAL公司 swMATH ID: 8945 软件作者： Avi Pfeffer公司 描述： IBAL：一种概率理性编程语言。在rational编程语言中，程序指定代理所面临的情况；评估程序相当于计算理性代理在这种情况下会相信什么或做什么。本文介绍了IBAL，一种用于概率和决策论代理的理性编程语言。IBAL为描述概率模型提供了丰富的声明性语言。表达式语言允许描述任意复杂的生成模型。此外，IBAL的观察语言使我们能够表达和构建由观察条件产生的拒绝模型。IBAL还将贝叶斯参数估计和决策理论效用最大化彻底集成到该框架中。所有这些都被打包成一种具有丰富类型系统和内置可扩展性的编程语言。本文详细介绍了IBAL的语法和语义，并对其实现进行了概述。 主页： http://citeseer.ist.psu.edu/viewdoc/summary？doi=10.1.1.29.1299 相关软件： 教堂;博客;棱镜;工厂;前-OWL;漏洞;哈斯克尔;贝叶斯OWL;探测日志;MEBN公司;推断。净值;KnowRob公司;戴纳;SPOOK（短管）;达奇;皮塔;UnBBayes公司;特鲁斯吉尔;ETPS公司;布莱斯 引用于： 27文件 全部的 前5名57位作者引用 三 约翰·博格斯特罗姆 三 安德鲁·戈登。 三 奥斯曼·哈桑 三 索菲涅·塔哈尔 2 吕克·德·雷德 2 卡梅隆·E·弗里尔。 2 莉斯·盖图 2 迈克尔·D·格林伯格。 2 安吉丽卡·基米格 2 约翰·怀利·劳埃德 2 詹姆斯·马盖特森 2 毛阿，Denis Deratani 2 吴基祥 2 丹尼尔·罗伊（Daniel M.Roy）。 2 戴维·桑吉奥吉 2 威廉·T·B·乌瑟尔。 2 尤尔根·范盖尔 1 萨默尔·阿卜杜拉。 1 米哈伊尔·艾扎图林 1 尼科斯·安杰洛普洛斯 1 斯蒂芬·巴赫。 1 马蒂亚斯·布罗切勒 1 莫里斯·布吕诺格 1 隆美尔·N·卡瓦略。 1 红葡萄酒、纪尧姆 1 保罗·C·G·科斯塔。 1 法比奥·科兹曼。 1 拉斐尔·克鲁比莱 1 詹姆斯·库森 1 乌戈·达尔拉戈 1 托马斯·迪特里奇。 1 佩德罗·多明戈斯 1 法比奥·加利亚迪·科兹曼 1 索尔·格雷佩尔 1 伯恩德·古特曼 1 凯瑟琳·霍华德 1 伯特·黄 1 马库斯·哈特 1 乔纳森·凯恩。 1 凯瑟琳·拉斯基。 1 格雷格·莫里塞特 1 史蒂芬·H·马格尔顿。 1 阿迪蒂亚·维塔尔·诺里 1 松武公园 1 弗兰克·芬宁 1 Rajamani，Sriram K。 1 克劳迪奥·拉索五世。 1 杰弗里·马克，西斯金德 1 马库斯·斯坦普特纳 1 佐尔坦·西尔维斯特 1 普拉萨德·塔德帕利 1 英戈·通 1 塞巴斯蒂安·特隆 1 范·奥特罗（Martijn van Otterlo） 1 瓦莱里亚·维格努德利 1 大卫·莱昂内尔·温盖特 1 马特·沃林斯基 全部的 前5名13篇连载文章中引用 三 国际近似推理杂志 2 人工智能 2 机器学习 1 倒排索引综述 1 理论计算机科学 1 纯逻辑与应用逻辑年鉴 1 数学与人工智能年鉴 1 逻辑程序设计理论与实践 1 机器学习研究杂志（JMLR） 1 应用逻辑杂志 1 人工智能和应用的前沿 1 计算机科学中的逻辑方法 1 数学地球科学 全部的 前5名在8个字段中引用 26 计算机科学（68至XX） 5 数学逻辑和基础（03-XX） 5 概率论与随机过程（60-XX） 三 统计学（62-XX） 1 历史和传记（01-XX） 1 数值分析（65-XX） 1 地球物理学（86-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文