2

I'm studying for my final exam and I'm having trouble understanding this FC algorithm:

enter image description here

I understand it up to the part where you standardize each rule. Then I think the next line is saying for each theta that satisfied the Generalized Modus Ponens (p'_iTheta = p_iTheta), do... something. What is that something? I don't really understand what is happening after that part.

Any help is appreciated. Thanks for reading.

4

1 回答 1

1

基本上，Theta是一种替换，它可以使您知道为真的一组术语（中的p's KB）等于p规则中的 s，然后您可以得出结论q'（q同样Theta适用）也是正确的。如果这q'还不知道，那么它进入new; 如果它与我们的查询相结合，那么我们就成功了。

于 2014-04-16T00:33:23.333 回答