理学 形式化 释 closed-world assumption 封闭世界假设 用于知识表示的逻辑形式系统中的一个预设，即真的断言知道为真。等价地，当前不知道为真的为假。
人工智能 人工智能逻辑 释文 closed world assumption 封闭世界假设
- alkali metal
- alkali metal atom
- alkali-metal atom
- alkali metal atomic spectrum
- alkali metasomatism
- alkalimeter
- alkalimetry
- alkaline
- alkaline accumulator
- alkaline accumulator; alkaline secondary battery
- alkaline agents for reactive dye fixing
- alkaline corrosion
- alkaline earth ferroalloy
- alkaline earth metal
- alkaline-earth metal
- alkaline ethylene glycol method
- alkaline fertilizer
- alkaline filter paper method
- alkaline flooding
- alkaline fuel cell
- alkaline fuel cell (AFC)
- alkaline hardness
- alkaline lysis method
- alkaline metal
- alkaline peeling machine