决议
计算机的逻辑
反馈
谢谢你的反馈
我们的编辑器将检查你提交并决定是否修改这篇文章。
外部网站
了解这个话题在这些文章中:
人工智能
- 在人工智能编程语言
…强大的定理证明技术,即决议,美国原子能委员会1963年发明的阿贡国家实验室在伊利诺斯州由英国逻辑学家艾伦·罗宾逊。PROLOG可以确定是否一个给定的语句遵循逻辑从其他语句。例如,考虑到语句“逻辑学家都是理性的”…
阅读更多 -
在人工智能:人工智能编程语言
…强大的定理证明技术,即决议,美国原子能委员会1963年发明的阿贡国家实验室在伊利诺斯州由英国逻辑学家艾伦·罗宾逊。PROLOG可以确定是否一个给定的语句遵循逻辑从其他语句。例如,考虑到语句“逻辑学家都是理性的”…
阅读更多