×

独立选择逻辑及其超越。 (英语) Zbl 1137.68596

De Raedt,Luc(ed.)等人,《概率归纳逻辑程序设计》。理论与应用。柏林:斯普林格出版社(ISBN 978-3-540-78651-1/pbk)。计算机科学讲义4911。人工智能讲义,222-243(2008)。
摘要:独立选择逻辑开始于90年代早期,作为一种将逻辑编程和概率结合到一个连贯的框架中的方法。独立选择逻辑的思想是直截了当的:有一组独立的选择,每个选择的概率分布,以及一个给出选择结果的逻辑程序。在可能的世界上有一个度量标准,它由独立选择的概率定义,每个可能世界中的真实性由在该世界和逻辑程序中所做的选择给出。ICL之所以有趣,是因为它是丰富的概率模型的简单、自然和表达形式。本文概述了过去十五年来所做的工作,并指出了今后的大量工作,特别是在提升推理和存在与认同问题方面。
整个系列请参见[Zbl 1132.68007].

理学硕士:

68T27型 人工智能中的逻辑
68N17 逻辑程序设计
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接