理学 形式化 释 autoepistemic logic 自认知逻辑 知识和信念的逻辑，一种非单调的模态逻辑。
人工智能 人工智能逻辑 释文 autoepistemic logic 自认知逻辑
- innovative opera costumes for ancient female roles
- innovative talents
- innovator's dilemma
- Innsbruck
- inntake with undersluices pocket
- innumerable
- innumerous
- inoculated cast iron
- inoculating
- inoculating loop
- inoculation
- inoculation of cast iron
- inoculation room
- inoculation theory
- inoculation treatment
- inoculum
- inodorous
- inoffensive
- inofficious
- Inokenty Fedorovich Annensky
- Inokuchi Hiroo
- inoperable
- inoperative
- inopportune
- in-orbit medicine disposal