西尔维娅·吉勒赞；Jelena Ivetić；西蒙娜·卡什特罗维奇；佐兰·奥格尼亚诺维奇；内纳德·萨维奇 面向类型理论中的概率推理——交叉类型案例。 （英语） Zbl 07266049号 Andreas Herzig等人，《信息和知识系统基础》。第十一届国际研讨会，2020年2月17日至21日，德国多特蒙德，FoIKS 2020。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12012122-139（2020年）。 摘要：不确定性的不同概率模型的发展受到了各个领域的快速发展的启发，例如在人工智能、概率编程等领域。兰姆达演算是一种适用于表达编程语言概念的通用计算模型。因此，已经研究了lambda演算中概率推理的不同方法。本文将lambda演算与概率逻辑相结合，建立了一个关于交叉型lambda项的概率推理形式化模型。具有交集类型的lambda演算语言被赋予了概率算子。我们提出了一种基于可能世界方法的语义。给出了该系统的一个无穷公理化，并证明了它对于所提出的语义是正确的。关于整个系列，请参见[Zbl 1435.68031号]. MSC公司： 第68页，共15页 数据库理论 68T27型 人工智能中的逻辑 68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等） 68单位35 信息系统的计算方法（超文本导航、接口、决策支持等） 关键词：概率推理；λ演算；交叉点类型；克里普克风格语义学；可靠性 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilezan}等人，Lect。注释计算。科学。12012、122--139（2020；Zbl 07266049） 全文： 内政部