基本解释[計] 自認識同根派生 autoepistemic相关词英汉例句Keywords autoepistemic logic;logic program;nonmonotonic reasoning;security protocols;protocols verification; 自認知邏輯;邏輯程序;非單調推理;安全協議;協議騐証;autoepistemic logic [計] 自認識邏輯, AE邏輯autoepistemic theory 自認識理論autoepistemic更多例句