逻辑可以程序化并存储吗？

[xcloud]

人对一个东西的记忆实际是在大脑中给它建了一条记录并根据以前生成的字段记录他的一系列特征，比如他的类型，他的形状，他的颜色，他的大小等等。

当有人问这个东西会跳吗，我们往往会马上调出他的记录看一下他有没有脚他会不会动等。(逻辑)

但是怎么让这个逻辑程序化并用数据库存储下来呢，比如下次有人问起这个东西会不会跳，程序就调起这个逻辑记录然后让他去检索对应的记录。

这才是真正的智能，而不是深度学习后根据常见的回复来回答吧

这样有个好处是他的特征可以通过学习自己增加，如果逻辑可以程序化并存储的话理论上也是可以学习并增强逻辑，它可以往自己学习的路上走的很远。

[zagfai]

lisp

[shendaowu]

专家系统？

[lrxiao]

当然是 prolog (

[jiumingzhu]

我觉得先搞懂女朋友为什么会生气比较有意义 ：P

[xcloud]

我昨晚突然有了灵感，其实逻辑应该叫达到某个东西的条件，也是就是等于、不等于、或、且 、大于、小于，比如“跳”这个技能需要的条件，动=真，腿>=1，生命=真之类的，还应该有个学习系统，当别人说水也能跳动去找到原因产生或之类的条件。

[tfdetang]

你说的其实和深度学习没什么区别。深度学习的机理就和你说的差不多，神经网络里的权重就相当于逻辑门； (而不是深度学习后根据常见的回复来回答吧) 这句话的理解是不对的

[vjnjc]

这个太难了，我觉得有 2 点搞不定。

- 记忆存储的维度。你的举例是调出马的数据来看看，万一这数据没有这个维度的信息就完蛋了，（随手举例，判断跑的条件是膝盖有没有弯曲

- 新问题的学习。还是举例马会不会跳。依旧假设跳是膝盖有没有弯曲。万一程序不知道什么是膝盖，又万一程序还不知道弯曲。。。

感觉太难了，有谁能解答的麻烦 at 我一下

[xcloud]

@vjnjc 我觉得这个延伸下去其实也跟我们人类思考的过程有点像。

这个推理不应该是一维的，他碰到膝盖需要弯曲这条件，应该先去判断马有没有膝盖或者膝盖的同义词（靠学习来关联）“马”有没有这个东西，判断没有直接结束。

碰到有就需要我们现有的图片识别技术来判断这个图像的马的膝盖位置（没找到膝盖直接结束）和有没有膝盖弯曲的特征，就像我们判断这个也是有一种基础的能力（眼睛和物体分离和物体特征记录对比的能力，瞎的人没这个能力），判断符合就直接下一个条件。

[xcloud]

@vjnjc 每个东西的属性应该通过学习补充维度库，比如我们现在知道人有手有脚，手的特征是什么，手的能力是什么，这些都是我们已知的，其实也有我们不知道的属性，我们人类也是通过学习来补充的。

[xcloud]

其实也不一定判断某个必须的条件失败的时候直接就结束，就像我们人推理一个事情也会举例出为什么不可能，然后列出一堆不成立的条件出来，但是也会推理错的情况，就是因为记错或者学习的知识不够导致不知道某个条件并不是必须的。

[xcloud]

有一个难度是每个属性的类型应该是什么，比如什么属性应该是逻辑型，什么时候是数值型，特征应该是什么类型，他由什么来读取和记录，其实人类也有这些工具使用的初始值，比如人使用眼镜就不是后天学习的，也是一出生就会使用并知道怎么读取和保存看到的特征的，所以程序也应该有一些工具配合，比如通过图片识别技术来判断物体特征并记录这个属性应该是初始化就有的，而不是通过学习得来的。

[shendaowu]

知识工程？

[doveyoung]

让我想起了刚开始写程序的时候，什么都想用 ifelse
if()
else if()
else if()
else if()
........
.......
print()

[laminux29]

逻辑当然可以程序化，但问题是，逻辑需要的数据，以目前的技术来说，存不下。

[xcloud]

其实人也经历了一个没有知识增长到越来越多知识的过程，如果程序的记忆结构有延伸性，逻辑程序满足多维运算一样是可以模仿出推理并增长知识的过程的。人很多无理由的想法和说的奇怪的话，都是人的一些本性在作怪，如虚荣心、自私等。

[mengcanzhai]

数理逻辑不就是做这个的么。至少公理化系统里，逻辑的形式化表达不成问题

[jinsongzhao]

动态程序语言甚至都可以生成动态代码并执行，如果够高级，程序就可以用动态程序语言自我进化了，比如病毒变种。你说逻辑可以存储吗？

[jianson2006]

@jiumingzhu 你这个回答很皮，如果你说自己很乖的话，哪一定有点扛精的意思了。

[jianson2006]

@tfdetang 有点理解你的意思了。