设为首页收藏本站

 找回密码
 立即注册
搜索
热搜: AI AGI ASI
ASI111-AI AGI ASI社区 › 门户 › 首页›AI哲学

AI哲学

下级分类:  哲学|马克思主义哲学|中国哲学|外国哲学|逻辑学|伦理学
动态语义把意义看成更新信息状态的过程，AGI和ASI 该把理解当状态更新来建模，每句话都改变而非仅描述认知状态。
分类:    2026-9-15 12:54
行动与状态转换是动态逻辑的核心，AGI和ASI 该把行动建模成状态间的可达关系，让规划变成在状态图里找路径。
分类:    2026-9-15 12:50
程序算子让动态逻辑能表达复合程序，AGI和ASI 该用程序算子组合原子动作，让复杂行为由可验证的小步骤拼成。
分类:    2026-9-15 12:48
动态逻辑把模态用于程序与行动，AGI和ASI 该把每个动作当模态算子，用动态逻辑描述行动前后的状态转换。
分类:    2026-9-15 12:44
道义悖论暴露了道义逻辑的反直觉推论，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
1 ...323334353637383940... 232下一页

相关分类

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

GMT+8, 2026-9-17 07:04 , Processed in 0.043242 second(s), 10 queries .

Powered by Discuz! X5.0

© 2001-2026 Discuz! Team.

返回顶部