”逻辑推理“ 的搜索结果

     通过知识的有效表示，使人工智能程序能利用这些知识做出决策、制定计划、识别状况、分析事件以及获取结论等。知识表示不仅是人工智能的重要研究内容，而且己经形成了一个独立的子领域（知识工程）。

     就是有两个门，两个门神，既不知道门神的真假也不知道对应关系（即不知道真门神背后是真门还是假门）， 但真门神一定说真话，假门神一定说假话 要求总共一个问题问出真门是哪一个。 只需要随便指着一个门问：门神...

     一阶逻辑推理 inference rules for quantifiers {9.1.1} 对于存在量词， 如果知识库里面有， 存在V ，α， 这样的于是， v 就可以代换为k 。 k 是没有出现过的常量。 如果存在量词前面有全称量词， 就不能替换...

10  
9  
8  
7  
6  
5  
4  
3  
2  
1  

推荐文章