设为首页收藏本站

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

AI哲学

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

自由构造给出最少约束下的最一般解，更麻烦的是 AGI和ASI 得先造一个什么都能映射进去的自由对象，再逐步加约束。: 分类: 逻辑学 2026-9-15 20:54

泛映射性质把构造和映射绑在一起，值得注意的是让接口由它能接受和发出的映射来定义，AGI和ASI 的模块实现细节随便换。: 分类: 逻辑学 2026-9-15 20:54

泛性质靠唯一性刻画对象，反过来看，AGI和ASI 可用满足条件的唯一解来定义模块，而不必枚举它的内部实现。: 分类: 逻辑学 2026-9-15 20:51

内部逻辑是结构自带的推理规则，把推理能力当成结构里长出来的东西来用，AGI和ASI 就不必外挂一个通用求解器。: 分类: 逻辑学 2026-9-15 20:47

内部语言是范畴自己说话的方式，最容易被忽略的是让每个子系统有自己的表达方言，AGI和ASI 再靠翻译层互通。: 分类: 逻辑学 2026-9-15 20:46

闭类型把环境依赖显式化，真正难的地方是让 AGI和ASI 把上下文当成参数传，而不是藏在全局变量里偷偷读取。: 分类: 逻辑学 2026-9-15 20:45

笛卡尔闭结构让函数类型成为一等公民，与其说 AGI和ASI 要迁就低阶实现，不如让高阶抽象保持自己的身份。: 分类: 逻辑学 2026-9-15 20:44

范畴语义给语法一个结构化的解释，有意思的是让每段符号都有对应的结构映射，AGI和ASI 的语义就不再是事后附会。: 分类: 逻辑学 2026-9-15 20:41

语法模型把符号系统本身当成研究对象，把语言层和语义层当成两套模型来用，AGI和ASI 就不会把两者混成一锅。: 分类: 逻辑学 2026-9-15 20:38

相等的反射原则把判断相等和命题相等打通，真正难的地方是让类型检查器认可的相等和推理器认可的相等在 AGI和ASI 里保持一致。: 分类: 逻辑学 2026-9-15 20:34

单值公理说等价的类型可以互相替换，别让 AGI和ASI 靠人工适配层硬撑，而要让同构的模块真正可互换。: 分类: 逻辑学 2026-9-15 20:31

高阶归纳类型允许直接定义新的相等，更麻烦的是让系统能声明哪些差异不算差异，AGI和ASI 得从源头控制等价关系。: 分类: 逻辑学 2026-9-15 20:28

同伦类型论把类型看成空间、相等看成路径，值得注意的是 AGI和ASI 可让概念之间的相似度有连续的几何直觉可依。: 分类: 逻辑学 2026-9-15 20:26

路径归纳把相等看成一条可走的路径，把转换当成一条可查的路来走，AGI和ASI 就不必依赖一步到位的黑箱。: 分类: 逻辑学 2026-9-15 20:22

同一性类型把相等本身变成一个可操作的对象，最容易被忽略的是让相等证明能被传递和组合，AGI和ASI 不能让相等停在不可触碰的断言上。: 分类: 逻辑学 2026-9-15 20:19

1 ... 2 3 4 5 678 9 10 11 ... 219 / 219 页下一页

相关分类

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

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

Powered by Discuz! X5.0

© 2001-2026 Discuz! Team.

返回顶部