手机浏览器扫描二维码访问
基于逻辑的人工智能（第1页）
一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！“企鹅科普（第一辑）（.shg.tw）”！
基于逻辑的人工智能
基于知识的人工智能研究人员的雄心越来越大，他们开始寻找更丰富、更精确的方法来获取知识。显然，数理逻辑可以满足他们的需要。
数理逻辑的发展是为了推理和论证。在人工智能领域，逻辑有助于将数学的精确性用于知识的表达和应用，人们希望智能决策可精简为纯粹的逻辑推理。基于逻辑的人工智能的精髓在于PROLOG（逻辑编程语言）。程序员使用这种编程语言，能用简单的逻辑形式表示其目标或知识，同时计算机也会使用逻辑推理解决问题。
但随后基于逻辑的人工智能的研究难题不断涌现。其中一个尽人皆知的难题就是“常识推理”（monsensereasoning）：
有人告诉你崔蒂是一只鸟，于是你认为崔蒂能飞。后来，又有人告诉你崔蒂是一只企鹅，所以你改变了之前的判断。
数理逻辑就很难处理这类琐碎的判断，因为其难以处理这种人因为某种因素改变自己的判断的情况。此外，实践证明，逻辑推理经证明很难自动化进行。更重要的是，逻辑推理应用的场景有限，例如开车就不需要逻辑推理。
总之，逻辑和推理是解决某些问题的有力工具，但不适用于通用人工智能。
偏执前夫深情不改慕云曦傅沉衍 我才不是软饭男徐方舟苏晓彤 弃妃小神医齐静月楚祈端 许少你的妻子逃走了云诗许致江 牧尘穿越成祖龙牧尘祖龙牧辰 报告王爷，王妃又写和离书了楚慕词谢淮安 开局奖励一个荒岛求生系统许阳于婷 情未了：夫君不请自来木清兰玉轩 The Autobiography of Benvenuto Cellini 三月初三出生沈南辞顾崇明 迷途婚劫：惹爱上身沈清欢严少 薄太太今天又被扒马甲了阮苏薄行止 医武通神李东林娜 狼王出狱，当场截杀萧战苏沐秋 Poems and Songs of Robert Burns 逍遥战神秦川秦川龙小云 姐姐的操作好下饭 云天神君陆云陆云叶倾城 十四年猎诡人（全5册） 订婚仪式，未婚先孕萧战苏沐秋
我在古代养熊猫
带着坐骑穿越，谁还能比她牛逼。因为死时功德，女主穿越古代，种田养家，玩起宠物毫不逊色。偶尔脱线卖萌，日常扮猪吃虎。作为一个现在人，就是要有在任何地方都能发家致富的头脑！...
修真高手在校园
当他遇上百年难见的大地震时当他因祸得福误入剑仙地宫之中时当他修炼道法在都市与校园中接触温柔与欲望权利与诡计责任与使命时他会如何抉择如何应变修真高手在校园的精彩人生你绝对不容错过...
我的干爹是天道
书海阁小说网免费提供作者极海听涛的经典小说我的干爹是天道最新章节全文阅读服务本站更新及时无弹窗广告欢迎光临wwwshgtw观看小说现代人林听海灵魂穿越到修真世界，阴差阳错下与神宗四代宗主灵魂融合，机缘巧合认老天爷（天道）当干爹。少年另辟蹊径把阵法刻画在身躯之上，通过阵法和体修逐步变强。多番谋划逆天改命，最终成为新的天道！...
都市战王奶爸
陈家天骄，曾经傲视绵州。树大招风，被人算计，染上污名，背上黑锅。逃脱后，建功立业，被封龙国第一异姓王。第一战神位，龙国最年轻的战神。曾经一切仇敌，颤抖吧！...
死灵术士闯异界
带着暗黑破坏神中的一部分技能雷奥成为了穿越者大军中的一员。在这个与魔兽世界很是相近的异世里，成为了术士的他会经历些什么？当亡灵遇上尸爆术，当死者大军撞上骷髅海雷奥高呼神技在手，天下我有！（道友，我看你玉树临风，天赋异秉，将来必成大器。现在给你个小小的考验，本书简介旁边有个加书架的按钮，你把它点亮之后我们再来谈谈怎么称霸异界，你看如何？）...
心理真相
作者南宫寒璘的经典小说心理真相最新章节全文阅读服务本站更新及时无弹窗广告小说小人物就不能逆袭吗？业务员就不能娶女神吗？小人物用实际行动证明，小人物不仅可以逆袭，不仅可以娶女神，还可以成为所有凶手恶人的梦魇！...