知识分析的直接模型

知识分析的直接模型 A DIRECT FRAMEWORK FOR KNOWLEDGE ANALYSIS 姬东鸿 Ji Donghong 1 first-author 戴大为 Dai Dawei 1 杨令鹏 Yang Lingpeng 1 武汉大学计算机科学系 武汉大学计算机科学系 Department of Computer Science, Wuhan University,,, 4 Department of Computer Science, Wuhan University,,, 4 定义了模拟知识的直接模型，并证明了该模型同ＫｒｉＰｋｅ结构和Ｆａｇｉｎ的知识结构是等价的．与后两种模型相比，该模型中知识作为基本的，而不是衍生的认知，更适用于自然语言理解和机器翻译等领域． A new semantic model for modelling knowledge, i. e., Direct Knowledge Model （DKM ） Is defined. The equivalence theotems between DKM and Kripke structure.Fagin’ s knowledge structure are given. Compared with the other two models, DKM takes knowledge to be the primitive, railler than dervatlve cognition, so it is more applicable to natural language understanding and machine transllltion, etc. 知识表示 现实 Kripke结构 knowledge representation reality kripke structure TP18 国家自然科学基金(61672102) 1995-01-01 2021-04-01 1