类别档案:系统

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

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

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

微分逻辑、动态系统、切线函数•讨论9

回复:FB |系统科学•Kenneth Lloyd亲爱的Kenneth,最近的讨论让我陷入了沉思,我的想法让我回到了我第一次接触范畴理论的时候。我遇到了这个词…继续阅读

发布于 安切克布尔函数C.S.皮尔斯仙人掌图形范畴理论控制论微分分析图灵自动机微分学微分逻辑离散动力系统动力系统图论爬山全息发光体信息论查询驱动系统智能系统知识表示形式法则逻辑逻辑图数学最小否定算子彩绘仙人掌皮尔斯命题微积分命题方程推理系统斯宾塞·布朗系统可视化 | 已标记 | 6评论

诱拐、演绎、归纳、类比、询问•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评论

微分逻辑、动态系统、切线函数•讨论8

回复:系统科学•Len Troncale自从我开始这个帖子以来,已经有一段时间了,有很多旁白和切线,所以让我回到顶部,扩展我在那里表达的动机,解决几个问题…继续阅读

发布于 安切克布尔函数C.S.皮尔斯仙人掌图形范畴理论控制论微分分析图灵自动机微分学微分逻辑离散动力系统动力系统图论爬山全息发光体信息论查询驱动系统智能系统知识表示形式法则逻辑逻辑图数学最小否定算子彩绘仙人掌皮尔斯命题微积分命题方程推理系统斯宾塞·布朗系统可视化 | 已标记 | 7评论

微分逻辑、动态系统、切线函数•讨论7

关于:系统科学•JS让我们从图片中退后一步,看看从语用符号学或符号关系的角度来看,语法、语义和语用学的维度是如何看待的。是一个对象域,是视图下的一组元素…继续阅读

发布于 安切克布尔函数C.S.皮尔斯仙人掌图形范畴理论控制论微分分析图灵自动机微分学微分逻辑离散动力系统动力系统图论爬山全息发光体信息论查询驱动系统智能系统知识表示形式法则逻辑逻辑图数学最小否定算子彩绘仙人掌皮尔斯命题微积分命题方程推理系统斯宾塞·布朗系统可视化 | 已标记 | 7评论

微分逻辑、动态系统、切线函数•讨论6

回复:系统科学•JS我的一些读者远远领先于我,探索了一系列不同的道路,但这次我将坚持不懈地坚持我的数学-生物-粒度叙述,并尝试…继续阅读

发布于 安切克布尔函数C.S.皮尔斯仙人掌图形范畴理论控制论微分分析图灵自动机微分学微分逻辑离散动力系统动力系统图论爬山全息发光体信息论查询驱动系统智能系统知识表示形式法则逻辑逻辑图数学最小否定算子彩绘仙人掌皮尔斯命题微积分命题方程推理系统斯宾塞·布朗系统可视化 | 已标记 | 6评论