理学 形式化 释 autoepistemic logic 自认知逻辑 知识和信念的逻辑，一种非单调的模态逻辑。
人工智能 人工智能逻辑 释文 autoepistemic logic 自认知逻辑
- simple elliptic singularity
- simple elongation
- simple endomorphism
- simple enumeration inductive reasoning
- simple epithelium
- simple equation
- simple equatorial armilary
- simple equivalence
- simple event
- simple extension
- simple extension field
- SIMPLE-family algorithms
- simple field
- simple field extension
- simple figure
- simple finite group
- simple fixed point
- simple flower
- simple folium
- simple form
- simple fraction
- simple fruit
- simple function
- simple game
- Simple Garden