理学 形式化 释 closed-world assumption 封闭世界假设 用于知识表示的逻辑形式系统中的一个预设，即真的断言知道为真。等价地，当前不知道为真的为假。
人工智能 人工智能逻辑 释文 closed world assumption 封闭世界假设
- Liang Siyong
- Liang Song
- Liang Su
- Liang Tan
- Liangtan Dao
- Liang Tang
- Liang Tianlai's Tragedy
- Liang Tingnan
- Liang Tongshu
- Liangwangcheng
- Liangwang Shan
- Liang Weiping
- Liang Xiaobin
- Liang Xiaosheng
- Liang Xiaotian
- Liangxi Miscellany
- Liang Xin
- Liang Xingbo
- Liangxi Qu
- Liang Xizhang
- Liang Yin
- Liang Yingchen
- Liang Yongji
- Liangyou Library
- Liangyou Literature Series