《人工智能》 一阶逻辑推理

一阶逻辑推理 inference rules for quantifiers {9.1.1} 对于存在量词， 如果知识库里面有， 存在V ，α， 这样的于是， v 就可以代换为k 。 k 是没有出现过的常量。 如果存在量词前面有全称量词， 就不能替换： 如果存在量词被全称量词约束了， 要对这个量词进行实例化， 怎么办？ x 和y 一定有 一个函数关系， x 依赖于y , 所以对x实例化时 ，x 变

>>阅读原文<<