知识分析的直接模型

定义了模拟知识的直接模型，并证明了该模型同ＫｒｉＰｋｅ结构和Ｆａｇｉｎ的知识结构是等价的．与后两种模型相比，该模型中知识作为基本的，而不是衍生的认知，更适用于自然语言理解和机器翻译等领域．

知识表示的F-K系统

对经典知识表示系统 (多系统 )进行了扩充 ,引入一个刻划“大概知道”的模态词“F”,并建立了相应的公理系统 F- K,该公理系统除包含“F”外也包含经典模态词“K”。同时 ,基于滤子对经典 Kripke框架及模型进行了扩充 ,从而给出了“F”的语义 ,并证明了该语义下 F-