范·埃姆登，M.H。 定量演绎及其不动点理论。 （英语） Zbl 0609.68068号 J.逻辑程序。 3, 37-53 (1986)。 作者将扎德的模糊方法引入逻辑规划的研究中。通过在每个Horn子句（例如，子句\（a\leftarrow B_1\&…\&B_n\）中添加因子f（（0,1]中的实数），将变为\（a\ leftar罗^{f} B类_ 1\&...\&B_n，\），这意味着A具有模糊真值\（h\geq f\cdot g\），如果g是\（B_1，…，B_n）\）的最小模糊真值，并且通过将Herbrand解释视为Herbrand基的模糊子集，将通常的推导扩展到定量推导。作者证明了Horn子句规则语义的一些结果在定量推导中仍然成立。例如，在定性的情况下，对于一个n中的（n），每一个M（P）的成员（其中M（P）是一个规则集P的Herbrand模型集）都是一个T的成员。在模糊推理的情况下，结果是属于（M（P））的A的模糊真值等于属于（T^n_P（phi））的B的模糊真价值。根据定量规则的证明理论，作者证明了对于每一组具有有限和/或树的规则P以及P的Herbrand基中的每一个a，以a为根的和/或树根的值等于参数a处的\（\cap M（P）\）的隶属函数的值。最后，作者通过讨论Nim和alpha-beta剪枝等例子，简要回顾了两人博弈的主要概念，包括定性和定量两种情况。审核人：李翔 引用于三评论引用于52文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 03B52号 模糊逻辑；模糊逻辑 03B35型 证明和逻辑操作的机械化 68号01 软件理论的一般主题 91A05型 双人游戏 关键词：专家系统;逻辑程序设计;模糊集;证明树;PROLOG公司;定量推导;赫布兰德模型;模糊演绎;两人比赛;尼姆;α-β修剪 PDF格式BibTeX公司 XML格式引用 \textit{M.H.van Emden}，J.Log。程序。3、37-53（1986年；Zbl 0609.68068） 全文： 内政部