手机浏览器扫描二维码访问
基于逻辑的人工智能（第1页）
一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！“企鹅科普（第一辑）（.shg.tw）”！
基于逻辑的人工智能
基于知识的人工智能研究人员的雄心越来越大，他们开始寻找更丰富、更精确的方法来获取知识。显然，数理逻辑可以满足他们的需要。
数理逻辑的发展是为了推理和论证。在人工智能领域，逻辑有助于将数学的精确性用于知识的表达和应用，人们希望智能决策可精简为纯粹的逻辑推理。基于逻辑的人工智能的精髓在于PROLOG（逻辑编程语言）。程序员使用这种编程语言，能用简单的逻辑形式表示其目标或知识，同时计算机也会使用逻辑推理解决问题。
但随后基于逻辑的人工智能的研究难题不断涌现。其中一个尽人皆知的难题就是“常识推理”（monsensereasoning）：
有人告诉你崔蒂是一只鸟，于是你认为崔蒂能飞。后来，又有人告诉你崔蒂是一只企鹅，所以你改变了之前的判断。
数理逻辑就很难处理这类琐碎的判断，因为其难以处理这种人因为某种因素改变自己的判断的情况。此外，实践证明，逻辑推理经证明很难自动化进行。更重要的是，逻辑推理应用的场景有限，例如开车就不需要逻辑推理。
总之，逻辑和推理是解决某些问题的有力工具，但不适用于通用人工智能。
The Autobiography of Benvenuto Cellini 开局奖励一个荒岛求生系统许阳于婷 十四年猎诡人（全5册） 狼王出狱，当场截杀萧战苏沐秋 Poems and Songs of Robert Burns 偏执前夫深情不改慕云曦傅沉衍 订婚仪式，未婚先孕萧战苏沐秋 许少你的妻子逃走了云诗许致江 报告王爷，王妃又写和离书了楚慕词谢淮安 薄太太今天又被扒马甲了阮苏薄行止 我才不是软饭男徐方舟苏晓彤 三月初三出生沈南辞顾崇明 姐姐的操作好下饭 牧尘穿越成祖龙牧尘祖龙牧辰 医武通神李东林娜 云天神君陆云陆云叶倾城 迷途婚劫：惹爱上身沈清欢严少 弃妃小神医齐静月楚祈端 逍遥战神秦川秦川龙小云 情未了：夫君不请自来木清兰玉轩
小甜媳的八零年代
小时候被爸宠，嫁人被男人宠，苏九芽一生就是被宠的命...
再见前妻
小三挺着肚子上门挑衅，婆婆在家朝她耀武扬威。唐洛然的婚姻一路磕磕绊绊，最终她递出了一纸离婚协议书。然而，全江城最有权势，同时也身为唐洛然丈夫的傅子琛对她说，我的字典里，没有离婚，唯有丧偶！丧偶？于是隔日，一条新闻消息传遍江城地产大鳄傅子琛妻子，唐氏千金唐洛然疑因抑郁选择轻生傅子琛从没有想过，五年前一心一意想要嫁给他的女人，在五年之后，竟然选择用这样偏激的方式逼他离婚！...
权少秘宠：攻婚36计
权少秘宠攻婚36计由作者十里笑疯创作全本作品该小说情节跌宕起伏扣人心弦是一本难得的情节与文笔俱佳的好书919言情小说免费提供权少秘宠攻婚36计全文无弹窗的纯文字在线阅读。...
南宋英豪传
南宋末年，金国衰落，蒙古崛起，中原大地群雄纷起，烽火燃遍，上演着一场混乱的三国大战。那一年，成吉思汗五十二岁，老头儿一个，还能蹦跶十三个寒暑那一年，忽必烈一岁半，只是个吃奶的屎娃娃那一年，穿越重生的孟九成十八岁，风华正茂，意气风发。那一年的某一天，孟九成突然激灵一下，产生了宏伟的想法，发出了心底的呐喊再也不能这样活啦！俺要革命，不，是造反。俺要打老的，欺小的，纵横四海，天下无敌呃，先从死人头系统换个小镜子，贿赂，不，请示一下俺那天下无敌的老婆大人，俺想再娶个软妹子给你当闺蜜耶...
军少的腹黑娇妻
锦鲤大佬带着空间重生了已发布，请新老书友支持。白晓重生回到一九八五年自己十八岁高考放榜时，奶奶和小叔害怕她脱离他们的掌控，不惜藏起了录取通知书，这一次谁也休想阻碍她上大学的梦想，朴实的哥哥，出嫁的姐姐护她上一世，这辈子她来守护他们陈世美的渣爹，继母继妹都靠边站吧，咱不认识你们。已有百万完结文，坑品保证，...
时绾绾席盏
婚情自当久爱，在这爱情场里，若我赠你一颗真心，你可否赠我一世欢喜？...