法希姆·巴克斯 Lp-统计信息的逻辑。 （英语） Zbl 0721.68059号 人工智能中的不确定性，第五次研讨会，安大略/加拿大，1989年，马赫。智力。模式识别10，3-14（1990）。 [有关整个系列，请参阅Zbl 0718.68001号.]作者介绍了一种一阶逻辑语言的扩展，该语言能够在语篇范围内使用概率分布，而不是对逻辑句子进行概率赋值。新的逻辑称为Lp，它通过从统计知识中生成概率作为置信度，为整合统计知识和不确定性推理提供了一种方便的机制。本文正式定义了Lp的句法和语义，概括了两个重要思想：（1）在语篇域上具有概率分布；（2）在Lp语义中将数字字段作为单独的排序。由此产生的演绎证明理论可以指定最具概率性的推理，包括贝叶斯推理、所有一阶推理，以及由定性/定量和统计/逻辑知识组合而成的推理，也可以适当地表达置信度。审核人：N.Curteanu（伊阿什） 引用于4文件 MSC公司： 68T27型 人工智能中的逻辑 03B48号 概率和归纳逻辑 关键词：推理逻辑;不确定性推理;一阶逻辑;统计知识 引文：Zbl 0718.68001号 PDF格式BibTeX公司 XML格式 全文： arXiv公司