理学 形式化 释 autoepistemic logic 自认知逻辑 知识和信念的逻辑，一种非单调的模态逻辑。
人工智能 人工智能逻辑 释文 autoepistemic logic 自认知逻辑
- propelling system
- propene
- propensity
- propensity score
- propensity score matching
- proper
- proper acceleration
- proper action
- proper additive character
- proper affine hypersurface
- proper affine sphere
- proper affine transformation
- proper affinity
- proper analytic mapping
- proper angular momentum
- proper automorphic transformation
- proper axiom
- proper base
- proper character
- proper characteristic element
- proper charge density
- proper chord
- proper circle
- proper circular domain
- proper class