摘要
定义了模拟知识的直接模型，并证明了该模型同ＫｒｉＰｋｅ结构和Ｆａｇｉｎ的知识结构是等价的．与后两种模型相比，该模型中知识作为基本的，而不是衍生的认知，更适用于自然语言理解和机器翻译等领域．
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.
出处
《武汉大学学报（自然科学版）》
CSCD
1995年第1期54-58,共5页
Journal of Wuhan University(Natural Science Edition)
基金
国家自然科学基金
