设为首页收藏本站

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

AI哲学

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

道义悖论暴露了道义逻辑的反直觉推论，AGI和ASI 该警惕规范系统的悖论陷阱，别让一条义务推出荒谬的连带义务。: 分类: 逻辑学 2026-9-15 12:43

义务与允许是一对对偶的道义算子，AGI和ASI 该用对偶关系做规范推理，从允许推非义务、从义务推非禁止。: 分类: 逻辑学 2026-9-15 12:41

道义逻辑把模态用于义务与允许，AGI和ASI 该给行为加道义层，让系统在追求目标时守住该做与可做的边界。: 分类: 逻辑学 2026-9-15 12:39

认知逻辑的递归公理刻画知识的自我嵌套，AGI和ASI 该支持我知道你知道他知道的递归结构，让高阶心智推理有公理支撑。: 分类: 逻辑学 2026-9-15 12:38

多主体认知把认知逻辑扩展到多个主体，AGI和ASI 该为每个主体维护独立认知状态，用交互算子刻画彼此的知识渗透。: 分类: 逻辑学 2026-9-15 12:37

公共知识是所有人都知道且都知道别人知道的知识，AGI和ASI 在多智能体协作里该建立公共知识层，让协调不靠反复确认。: 分类: 逻辑学 2026-9-15 12:36

知道与相信的差别在于知识蕴含真而信念不蕴含，AGI和ASI 该给两者配不同更新规则，别让错误信念污染确定知识。: 分类: 逻辑学 2026-9-15 12:32

信念算子刻画主体相信什么，AGI和ASI 该把信念与知识分开建模，允许信念出错而知识必须为真。: 分类: 逻辑学 2026-9-15 12:29

知识算子刻画主体知道什么，AGI和ASI 该把知识定义为在所有可及情形都成立，用可及性过滤掉不确定的猜测。: 分类: 逻辑学 2026-9-15 12:25

认知逻辑把模态用于知识与信念，AGI和ASI 该给每个智能体建认知模型，让推理区分我知道和我以为。: 分类: 逻辑学 2026-9-15 12:25

时态逻辑与程序验证把程序性质写成时态公式，AGI和ASI 该把自身行为规范写成时态约束，用模型检验自动验证运行轨迹。: 分类: 逻辑学 2026-9-15 12:25

直到与自算子刻画时间的持续与等待，AGI和ASI 该用直到表达持续约束，让系统在条件满足前一直保持某个不变式。: 分类: 逻辑学 2026-9-15 12:21

分支时态逻辑允许时间分叉成多条未来，AGI和ASI 在规划任务里该用分支时态，同时评估多条可能路径而非押注单线。: 分类: 逻辑学 2026-9-15 12:19

线性时态逻辑把时间当成一条无分支的线，AGI和ASI 在确定性任务里该用线性时态，让每个时刻只有一个后继状态。: 分类: 逻辑学 2026-9-15 12:16

过去与未来算子让时态逻辑能双向看时间，AGI和ASI 该同时保留前向与后向推理，从历史推未来、从目标反推前提。: 分类: 逻辑学 2026-9-15 12:16

1 ... 30 31 32 333435 36 37 38 ... 229 / 229 页下一页

相关分类

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

GMT+8, 2026-9-17 05:57 , Processed in 0.032208 second(s), 10 queries .

Powered by Discuz! X5.0

© 2001-2026 Discuz! Team.

返回顶部