逻辑可以程序化并存储吗? - V2EX
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
这是一个专门讨论 idea 的地方。

每个人的时间,资源是有限的,有的时候你或许能够想到很多 idea,但是由于现实的限制,却并不是所有的 idea 都能够成为现实。

那这个时候,不妨可以把那些 idea 分享出来,启发别人。
xcloud
V2EX    奇思妙想

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

  •  
  •   xcloud 2019-10-13 22:58:17 +08:00 5169 次点击
    这是一个创建于 2243 天前的主题,其中的信息可能已经有所发展或是发生改变。

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

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

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

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

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

    19 条回复    2019-11-01 19:25:20 +08:00
    zagfai
        1
    zagfai  
       2019-10-14 01:36:07 +08:00
    lisp
    shendaowu
        2
    shendaowu  
       2019-10-14 07:31:25 +08:00
    专家系统?
    lrxiao
        3
    lrxiao  
       2019-10-14 08:10:21 +08:00
    当然是 prolog (
    jiumingzhu
        4
    jiumingzhu  
       2019-10-14 08:23:23 +08:00
    我觉得先搞懂女朋友为什么会生气比较有意义 :P
    xcloud
        5
    xcloud  
    OP
       2019-10-14 13:57:45 +08:00
    我昨晚突然有了灵感,其实逻辑应该叫达到某个东西的条件,也是就是等于、不等于、或、且 、大于、小于,比如“跳”这个技能需要的条件,动=真,腿>=1,生命=真之类的,还应该有个学习系统,当别人说水也能跳动去找到原因产生或之类的条件。
    tfdetang
        6
    tfdetang  
       2019-10-14 15:05:45 +08:00
    你说的其实和深度学习没什么区别。深度学习的机理就和你说的差不多,神经网络里的权重就相当于逻辑门; (而不是深度学习后根据常见的回复来回答吧) 这句话的理解是不对的
    vjnjc
        7
    vjnjc  
       2019-10-14 16:35:04 +08:00
    这个太难了,我觉得有 2 点搞不定。

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

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

    感觉太难了,有谁能解答的麻烦 at 我一下
    xcloud
        8
    xcloud  
    OP
       2019-10-14 22:40:04 +08:00
    @vjnjc 我觉得这个延伸下去其实也跟我们人类思考的过程有点像。

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

    碰到有就需要我们现有的图片识别技术来判断这个图像的马的膝盖位置(没找到膝盖直接结束)和有没有膝盖弯曲的特征,就像我们判断这个也是有一种基础的能力(眼睛和物体分离和物体特征记录对比的能力,瞎的人没这个能力),判断符合就直接下一个条件。
    xcloud
        9
    xcloud  
    OP
       2019-10-14 22:42:45 +08:00
    @vjnjc 每个东西的属性应该通过学习补充维度库,比如我们现在知道人有手有脚,手的特征是什么,手的能力是什么,这些都是我们已知的,其实也有我们不知道的属性,我们人类也是通过学习来补充的。
    xcloud
        10
    xcloud  
    OP
       2019-10-14 22:47:44 +08:00
    其实也不一定判断某个必须的条件失败的时候直接就结束,就像我们人推理一个事情也会举例出为什么不可能,然后列出一堆不成立的条件出来,但是也会推理错的情况,就是因为记错或者学习的知识不够导致不知道某个条件并不是必须的。
    xcloud
        11
    xcloud  
    OP
       2019-10-14 22:59:09 +08:00
    有一个难度是每个属性的类型应该是什么,比如什么属性应该是逻辑型,什么时候是数值型,特征应该是什么类型,他由什么来读取和记录,其实人类也有这些工具使用的初始值,比如人使用眼镜就不是后天学习的,也是一出生就会使用并知道怎么读取和保存看到的特征的,所以程序也应该有一些工具配合,比如通过图片识别技术来判断物体特征并记录这个属性应该是初始化就有的,而不是通过学习得来的。
    shendaowu
        12
    shendaowu  
       2019-10-15 19:02:32 +08:00
    知识工程?
    doveyoung
        13
    doveyoung  
       2019-10-16 10:43:53 +08:00
    让我想起了刚开始写程序的时候,什么都想用 ifelse
    if()
    else if()
    else if()
    else if()
    ........
    .......
    print()
    laminux29
        14
    laminux29  
       2019-10-16 18:39:35 +08:00
    逻辑当然可以程序化,但问题是,逻辑需要的数据,以目前的技术来说,存不下。
    xcloud
        15
    xcloud  
    OP
       2019-10-17 09:14:52 +08:00
    其实人也经历了一个没有知识增长到越来越多知识的过程,如果程序的记忆结构有延伸性,逻辑程序满足多维运算一样是可以模仿出推理并增长知识的过程的。人很多无理由的想法和说的奇怪的话,都是人的一些本性在作怪,如虚荣心、自私等。
    mengcanzhai
        16
    mengcanzhai  
       2019-10-17 18:35:03 +08:00
    数理逻辑不就是做这个的么。至少公理化系统里,逻辑的形式化表达不成问题
    jinsongzhao
        17
    jinsongzhao  
       2019-10-23 23:26:18 +08:00
    动态程序语言甚至都可以生成动态代码并执行,如果够高级,程序就可以用动态程序语言自我进化了,比如病毒变种。你说逻辑可以存储吗?
    jianson2006
        18
    jianson2006  
       2019-11-01 19:17:23 +08:00
    @jiumingzhu 你这个回答很皮,如果你说自己很乖的话,哪一定有点扛精的意思了。
    jianson2006
        19
    jianson2006  
       2019-11-01 19:25:20 +08:00
    @tfdetang 有点理解你的意思了。
    关于     帮助文档     自助推广系统     博客     API     FAQ     Solana     2455 人在线   最高记录 6679       Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 25ms UTC 15:43 PVG 23:43 LAX 07:43 JFK 10:43
    Do have faith in what you're doing.
    ubao msn snddm index pchome yahoo rakuten mypaper meadowduck bidyahoo youbao zxmzxm asda bnvcg cvbfg dfscv mmhjk xxddc yybgb zznbn ccubao uaitu acv GXCV ET GDG YH FG BCVB FJFH CBRE CBC GDG ET54 WRWR RWER WREW WRWER RWER SDG EW SF DSFSF fbbs ubao fhd dfg ewr dg df ewwr ewwr et ruyut utut dfg fgd gdfgt etg dfgt dfgd ert4 gd fgg wr 235 wer3 we vsdf sdf gdf ert xcv sdf rwer hfd dfg cvb rwf afb dfh jgh bmn lgh rty gfds cxv xcv xcs vdas fdf fgd cv sdf tert sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf shasha9178 shasha9178 shasha9178 shasha9178 shasha9178 liflif2 liflif2 liflif2 liflif2 liflif2 liblib3 liblib3 liblib3 liblib3 liblib3 zhazha444 zhazha444 zhazha444 zhazha444 zhazha444 dende5 dende denden denden2 denden21 fenfen9 fenf619 fen619 fenfe9 fe619 sdf sdf sdf sdf sdf zhazh90 zhazh0 zhaa50 zha90 zh590 zho zhoz zhozh zhozho zhozho2 lislis lls95 lili95 lils5 liss9 sdf0ty987 sdft876 sdft9876 sdf09876 sd0t9876 sdf0ty98 sdf0976 sdf0ty986 sdf0ty96 sdf0t76 sdf0876 df0ty98 sf0t876 sd0ty76 sdy76 sdf76 sdf0t76 sdf0ty9 sdf0ty98 sdf0ty987 sdf0ty98 sdf6676 sdf876 sd876 sd876 sdf6 sdf6 sdf9876 sdf0t sdf06 sdf0ty9776 sdf0ty9776 sdf0ty76 sdf8876 sdf0t sd6 sdf06 s688876 sd688 sdf86