理学 形式化 释 autoepistemic logic 自认知逻辑 知识和信念的逻辑，一种非单调的模态逻辑。
人工智能 人工智能逻辑 释文 autoepistemic logic 自认知逻辑
- Changyang human remains
- Changyang Tujiazu Zizhixian
- Changyao
- Changye Baihao
- Changyi Museum
- Chang Yinfo
- Chang Ying
- Changying Shiji Cheng
- Changyi Qu
- Changyi Shi
- Chang-Yi Subgrouping of Xiang Dialect
- Chang Yu
- Changyuan donkey
- Changyuan Garden
- Changyuan Shi
- Changzheng carrier rocket
- Changzheng series launch vehicle
- Changzhi Culture & Art School
- Changzhi Dao
- Changzhi Museum
- Changzhi Pendi
- Changzhi Shangdang Bangzi Opera Troupe
- Changzhi Shangdang Laozi Opera Troupe
- Changzhi Shi
- Changzhou Benniu International Airport