理学 形式化 释 closed-world assumption 封闭世界假设 用于知识表示的逻辑形式系统中的一个预设，即真的断言知道为真。等价地，当前不知道为真的为假。
人工智能 人工智能逻辑 释文 closed world assumption 封闭世界假设
- ring spectrum
- ring spinning
- ring spinning machine
- ring spinning yarn
- ring stage
- ring statistics
- ring structure
- ring system
- ring-tail lemur
- ring test
- ring-theoretic
- ring-theoretical
- ring-theoretic property
- ring theory
- ring topology
- ring torus
- ring transformation
- Ringuet
- ring unit
- ring vortex
- ring with a discrete valuation
- ring with a domain of operators
- ring with an additional structure
- ring with a ring of operators
- ring with divided powers