理学 形式化 释 autoepistemic logic 自认知逻辑 知识和信念的逻辑，一种非单调的模态逻辑。
人工智能 人工智能逻辑 释文 autoepistemic logic 自认知逻辑
- Ershov
- Ershov hierarchy
- Erskine Caldwell
- Ersu language
- Ersu Shaba script
- ERT
- Ertan Hydropower Station
- ERTICO
- ERTICO-ITS Europe
- Ertix He
- ERTMS
- ertor
- Ertoshtuk
- ERTS
- ERT technology
- erucic acid
- eructation of ruminants
- erudite of the Five Classics
- erudite
- Erugin
- eruption
- eruption material
- eruption type
- eruptive arch
- eruptive binary