理学 形式化 释 closed-world assumption 封闭世界假设 用于知识表示的逻辑形式系统中的一个预设，即真的断言知道为真。等价地，当前不知道为真的为假。
人工智能 人工智能逻辑 释文 closed world assumption 封闭世界假设
- regular cardinal number
- regular category
- regular cell complex
- regular chain
- regular character
- regular circular cone
- regular circular cylinder
- regular circumscribed polygon
- regular class
- regular class of divisors
- regular closed curve
- regular closed set
- regular closed subspace
- regular closed ultrafilter
- regular closure
- regular cluster
- regular cluster of galaxies
- regular coloring
- regular commutator
- regular compensation
- regular complete intersection
- regular complex function
- regular component
- regular composition
- regular conditional distribution