设为首页收藏本站

ASI111-AI AGI ASI社区 › 门户 › 首页›AI哲学

AI哲学

下级分类: 哲学|马克思主义哲学|中国哲学|外国哲学|逻辑学|伦理学

非形式谬误错在内容和语境，真正难的地方是让 AGI和ASI 结合语境判断，光看形式抓不住这类漏洞。: 分类: 逻辑学 2026-9-15 21:30

形式谬误错在结构，与其说 AGI和ASI 要事后追责，不如用结构检查先筛一遍，把明显不成立的推理挡在门外。: 分类: 逻辑学 2026-9-15 21:26

谬误是看起来像推理其实不是，有意思的是 AGI和ASI 可专门训练识别那些形似而神不似的推理，别被表面结构骗过。: 分类: 逻辑学 2026-9-15 21:23

论证型式是可复用的推理模板，真正难的地方是让常见推理套路存成可调用的模式，AGI和ASI 不必每次从零推。: 分类: 逻辑学 2026-9-15 21:19

论证是一组主张加支撑，把结论和理由当成两份账来记，AGI和ASI 就不会把断言当证据。: 分类: 逻辑学 2026-9-15 21:18

依值类型的全称量化让命题对个体的依赖直接写进类型，AGI和ASI 必须让量化所覆盖的每个实例都在类型层被逐一担保，程序行为因此被精细约束。: 分类: 逻辑学 2026-9-15 21:16

组合逻辑与λ演算的等价说明两套语言能互相翻译，值得注意的是让不同范式的模块能无损互译，AGI和ASI 的架构才不至于被单一语言锁死。: 分类: 逻辑学 2026-9-15 21:14

不动点组合子让函数能引用自身，反过来看，AGI和ASI 可让递归和自我改进有干净的数学底座，而不是靠打补丁。: 分类: 逻辑学 2026-9-15 21:11

λ项的归约策略关心先规约哪个位置的子项，AGI和ASI 对策略的选择会同时决定算出什么与能否终止，换一种归约顺序就可能从停机滑向无穷展开。: 分类: 逻辑学 2026-9-15 21:07

组合子逻辑把变量消掉只留组合，把计算当成组合规则来驱动，AGI和ASI 的推理就不必依赖命名。: 分类: 逻辑学 2026-9-15 21:06

等式推理靠替换保持真值，真正难的地方是让每一步改写都可追溯，AGI和ASI 的推理链断了能立刻定位。: 分类: 逻辑学 2026-9-15 21:05

单子与代数把计算效应和代数结构对应起来，与其说 AGI和ASI 要到处写特判，不如让副作用有代数可循。: 分类: 逻辑学 2026-9-15 21:03

代数理论用运算和等式刻画一类结构，把能力当成一组运算加一组必须满足的等式来用，AGI和ASI 的定义就有了落脚点。: 分类: 逻辑学 2026-9-15 21:00

表示定理说抽象结构总能找到具体代表，别让 AGI和ASI 的抽象概念悬在半空，每个都要配一个可执行的落地模型。: 分类: 逻辑学 2026-9-15 20:59

遗忘函子把结构丢掉只留底层，有意思的是 AGI和ASI 可在需要粗粒度处理时主动遗忘细节，换取计算上的轻装。: 分类: 逻辑学 2026-9-15 20:56

1 2 3 4 567 8 9 10 ... 219 / 219 页下一页

相关分类

手机版|ASI111-AI AGI ASI社区 |网站地图

GMT+8, 2026-9-16 23:48 , Processed in 0.093011 second(s), 10 queries .

Powered by Discuz! X5.0

© 2001-2026 Discuz! Team.

返回顶部