了眼室内，接着说道：“比方说，那边有个苹果，它是红色的。”1
“如果我们把这当成命题，人类的思路是再找一个苹果，看它是不是红色，以此类推，如果没出现反例，我们会越发确信这个命题正确。”
“假如说我们验证了100个苹果，里面99个都是红色的，我们会进行默认的推理，即：
有人告诉你某个东西是苹果，你会立刻联想到它是红色的，这是人的认知过程：归纳——验证——应用。
或者说是判断——验证——应用。”
顿了顿，程潜接着说下去：“但机器的验证思路不这样。
它要先找出这个命题的所有等价形式，然后才开始验证，需要用到大量的识别案例，最终以等价形式来判断，若是识别的案例越多，会很容易产生：
‘某个不是红色的东西不是苹果’，进而支持‘不是红色的东西都不是苹果’，而这等价于‘苹果都是红色的。’
而且这在机器逻辑上没问题。
回到我们刚才的人类思维，如果有人告诉我们，某个东西是苹果，我们会联想到它是红色；
但，我们人类不会认为所有不是红色的东西都不是苹果……”
最后，程潜归纳道：“我们现在的研究方向是通过实验，让机器的验证思路拟人化。”
“也算是一种人工智能的研究方向，我们的团队和导师都认为，这个理论是有价值的，但不代表这个理论是对的，是可以有成果的。”
尽管程潜举的例子听起来有点绕，不那么简单，不过温叶理解能力没出问题，稍加思索便明白过来，带点激动的道。
“那，我可不可以这么理解，你们现在的项目研究方向，是智能手机，或者智能电脑的未来？”
程潜笑着摇头：“未来这两个字太大了，可不敢这么说。”
“只能
本网站为网友提供小说上传储存空间平台，为网友提供在线阅读交流、txt下载，平台上的所有文学作品均来源于网友的上传
用户上传的文学作品均由网站程序自动分割展现，无人工干预，本站自身不编辑或修改网友上传的内容（请上传有合法版权的作品）
如发现本站有侵犯权利人版权内容的，请向本站投诉，一经核实，本站将立即删除相关作品并对上传人ID账号作封号处理