可计算性逻辑 - 引用次数：4参考来源 - 基于可计算性逻辑的知识表示与推理 Knowledge Representation and Reasoning Based on Computability Logic
·2,447,543篇论文数据，部分数据来源于NoteExpress
Computability logic
abstract:Introduced by Giorgi Japaridze in 2003, computability logic is a research programme and mathematical framework for redeveloping logic as a systematic formal theory of computability, as opposed to classical logic which is a formal theory of proof. In this approach logical formulas represent computational problems (or, equivalently, computational resources), and their validity means being "always computable".
Based on the sound and completesubsetCL4ofcomputabilitylogic, knowledgerepresentation is discussed by dividing knowledge into elementary andgeneral ones.