人工智能与专家系统
本文档由 ppwhsid 分享于2010-02-03 09:30
每个否定符号~最多只用到一个谓词符号上,并反复应用狄·摩根定律.(3)对变量标准化对哑元(虚构变量)改名,以保证每个量词有其自己唯一的哑元.3.4消解原理...
下载文档
收藏
打印
分享:
君,已阅读到文档的结尾了呢~~