理学 形式化 释 closed-world assumption 封闭世界假设 用于知识表示的逻辑形式系统中的一个预设，即真的断言知道为真。等价地，当前不知道为真的为假。
人工智能 人工智能逻辑 释文 closed world assumption 封闭世界假设
- progenote
- progeny
- progeny test area
- progeny testing
- progeria
- progestenne
- progesterone
- progesterone antagonist
- progestin
- progestogen
- progestogen; gestagen
- progestogens
- proglottid
- prognathic
- prognosis
- prognosis map of mineral resources
- Prognostication Classic of the Kaiyuan Era
- prognostic map
- prognostics and health management
- prognostics and health management of aviation products
- prognostic study
- Prognoz
- Prognoz satellite
- progradation
- prograde