Based on the sound and complete subset CL4 of computability logic, knowledge representation is discussed by dividing knowledge into elementary and general ones.
以可计算性逻辑的完备子集cl4为基础进行知识表示，将知识分为简单知识与一般知识。
Based on the sound and complete subset CL4 of computability logic, knowledge representation is discussed by dividing knowledge into elementary and general ones.
以可计算性逻辑的完备子集cl4为基础进行知识表示，将知识分为简单知识与一般知识。
应用推荐