文件名称：不确定性下基于规则的推理的Prolog元解释器-研究论文
文件大小：6.52MB
文件格式：PDF
更新时间：2024-06-09 03:53:55
论文研究
不确定的事实和不精确的规则可以通过元解释在标准Prolog中表示和处理。 这需要适当的解析器和信念计算的规范。 我们提供了一个元解释器，该解释器将基于规则的信念演算作为外部变量。 然后将确定性因子演算和启发式贝叶斯信念更新模型实现为独立的Prolog谓词。 这些又通过二阶编程绑定到元解释器环境。 生成的系统是一个功能强大的实验工具，可以查询信念计算的各种设计对专家系统外部有效性的影响。 本文还演示了在构建专家系统外壳时Prolog元解释器的（众所周知的）作用。