文件名称：不确定性下基于规则推理的元解释器-研究论文
文件大小：5.54MB
文件格式：PDF
更新时间：2024-06-09 04:09:12
论文研究
设计专家系统的关键挑战之一是如何可靠地表示不确定性和部分信念。 在过去的十年中，许多基于规则的信仰语言被提出并在应用系统中实现。由于它们的准概率性质，这些语言的外部有效性是一个悬而未决的问题。 本文通过规范的信念演算模型讨论专家系统中的信念修订理论，该模型在不同语言之间是不变的。 然后介绍了用于非分类推理的元解释器。 该逻辑模型的目的是双重的：首先，它提供了基于规则的系统中信念表示和传播的清晰简洁的概念。 其次，它是一个可以用不同的信念计算实例化的工作壳。 这使实验能够研究替代信念语言对固定专家系统外部有效性的净影响。