理学 形式化 释 closed-world assumption 封闭世界假设 用于知识表示的逻辑形式系统中的一个预设，即真的断言知道为真。等价地，当前不知道为真的为假。
人工智能 人工智能逻辑 释文 closed world assumption 封闭世界假设
- small-world network
- small world networks
- small-world phenomena
- small-world problem
- small yellow croaker
- Sman Dpyad Chen mo
- Sman dpyad zla ba’i rgyal po
- smaragdite
- Smarandache
- Smarandache ceil function
- Smarandache constant
- Smarandache function
- Smarandache near-to-primorial function
- Smarandache paradox
- Smarandache sequence
- S. Mardesic
- S. Mardesic (1927—2016)
- SMART-1
- smart actuator
- smart ageing
- smart agriculture
- smart antenna
- smart archives
- smart band
- smart basin