Logic 正向链接一阶逻辑（统一）
我正在准备期末考试，我在理解FC算法时遇到困难： 我理解到你标准化每一条规则的那一部分。然后我想下一行是说，对于满足广义模态的θ（p''u iTheta=p''u iTheta），do。。。某物那是什么东西？我真的不明白那部分之后发生了什么Logic 正向链接一阶逻辑（统一）,logic,artificial-intelligence,substitution,unification,unify,Logic,Artificial Intelligence,Substitution,Unification,Unify,我正在准备期末考试，我在理解FC算法时遇到困难： 我理解到你标准化每一条规则的那一部分。然后我想下一行是说，对于满足广义模态的θ（p''u iTheta=p''u iTheta），do。。。某物那是什么东西？我真的不明白那部分之后发生了什么 感谢您的帮助。感谢阅读。基本上，Theta是一种替代，它可以使您知道的某些术语组为真（在KB中的p's）等于规则中的ps，然后您可以得出结论，q'（q应用了相同的Theta）也是真的。如果这个q'还不知道，那么它进入new；如果它与我们的查询相结合，那么我
感谢您的帮助。感谢阅读。基本上，
ThetaKBp'pq'qThetaq'new