类别档案:智能系统工程

诱拐、演绎、归纳、类比、询问•31

关于:Scott Aaronson•解释-Gödel and Plausibility—哥德尔Scott Aoronson提出了一个源自哥德尔第一不完全性定理的问题,即它对解释、合理性和证明的微分值有什么影响?我补充了以下想法。一般启发式…继续阅读

发布于 绑架类比阿尼马塔亚里士多德人工智能C.S.皮尔斯演绎归纳查询查询驱动系统智能系统工程逻辑数学科学方法符号学可视化 | 已标记 | 3评论

诱拐、演绎、归纳、类比、询问•30

回复:Richard J.Lipton•数学的未来?•终点近了吗?回复:“证据不如发现重要”(PANAIAD)。推测和发现属于诱拐推理(AI缺失的葡萄)。当我拉的时候…继续阅读

发布于 绑架类比亚里士多德人工智能C.S.皮尔斯演绎归纳查询查询驱动系统智能系统工程逻辑心理模型皮尔斯科学方法符号学系统 | 已标记 | 3评论

诱拐、演绎、归纳、类比、询问•29

回复:Ontolog论坛•Michael DeBellis关于人工智能和计算机科学中诱拐的问题在Ontolog.论坛中提出,促使我查阅之前的讨论,追踪信息、查询和三种推理之间的整体关系。这里是…继续阅读

发布于 绑架类比亚里士多德人工智能C.S.皮尔斯演绎归纳查询查询驱动系统智能系统工程逻辑心理模型皮尔斯科学方法符号学系统 | 已标记 | 3评论

诱拐、演绎、归纳、类比、询问•28

回复:Ontolog论坛•Michael DeBellis•Adrian Walker MDB:我目前正在伯克利审计一个关于符号学和信息理论的有趣研讨会。虽然我们也探索了其他理论,如香农的信息理论,但我们主要关注的是C.S.皮尔士。  …继续阅读

发布于 绑架类比亚里士多德人工智能C.S.皮尔斯演绎归纳查询查询驱动系统智能系统工程逻辑心理模型皮尔斯科学方法符号学系统 | 已标记 | 3评论

诱拐、演绎、归纳、类比、询问•27

回复:Gil Kalai•Avi Wigderson:将计算建模、算法和复杂性融入自然理论标志着一场新的科学革命!我看了Avi的论文“计算理论的本质”(OtNotToC)。有…继续阅读

发布于 绑架类比亚里士多德人工智能C.S.皮尔斯演绎归纳查询查询驱动系统智能系统工程逻辑心理模型皮尔斯科学方法符号学系统 | 已标记 | 4评论

诱拐、演绎、归纳、类比、询问•26

回复:Gil Kalai•Avi Wigderson:将计算建模、算法和复杂性融入自然理论标志着一场新的科学革命!在科学探究中以计算为中心的项目至少可以追溯到霍布斯和莱布尼茨…继续阅读

发布于 绑架类比亚里士多德人工智能C.S.皮尔斯演绎归纳查询查询驱动系统智能系统工程逻辑心理模型皮尔斯科学方法符号学系统 | 已标记 | 8条评论

诱拐、演绎、归纳、类比、询问•25

关于:Artem Kaznatchev•约简主义:从哲学到计算机科学复杂性理论中的约简意识起源于亚里士多德的απαγωγη,被各种翻译为诱因或约简,有时被C.s.Peirce掩盖为还原。看我的…继续阅读

发布于 绑架类比亚里士多德人工智能C.S.皮尔斯演绎归纳查询查询驱动系统智能系统工程逻辑心理模型皮尔斯科学方法符号学系统 | 已标记 | 4评论

诱拐、演绎、归纳、类比、询问•24

关于:皮尔斯列表•乔恩·阿兰·施密特·皮尔斯的类别最好被视为关系类别。对于第一近似,第一性、第二性、第三性只是所有一元、二元、三元关系的共同点。在第二个近似值下,我们…继续阅读

发布于 绑架类比亚里士多德人工智能C.S.皮尔斯演绎归纳查询查询驱动系统智能系统工程逻辑心理模型皮尔斯科学方法符号学系统 | 已标记 | 6评论

诱拐、演绎、归纳、类比、询问•23

回复:皮尔斯名单•本杰明·尤德尔•乔恩·奥布里•加里·里奇蒙德(1)(2)•乔恩·阿兰·施密特这些天我花了一个网络搜索来发现我上个月在想什么和写什么。我去找…继续阅读

发布于 绑架类比亚里士多德人工智能C.S.皮尔斯演绎归纳查询查询驱动系统智能系统工程逻辑心理模型皮尔斯科学方法符号学系统 | 已标记 | 6评论

诱拐、演绎、归纳、类比、询问•22

回复:皮尔斯列表•杰瑞·雷•汤姆·戈利耶•埃德温娜·塔博斯基整个1995年,我一直在奥克兰大学从事系统工程研究生项目,发展我对查询驱动系统的想法。我写了一份关于……的项目报告…继续阅读

发布于 绑架类比亚里士多德人工智能C.S.皮尔斯演绎归纳查询查询驱动系统智能系统工程逻辑心理模型皮尔斯科学方法符号学系统 | 已标记 | 12条评论