摘要
凭借构造性逻辑的Ｋｒｉｐｋｅ语义，给出了在自然语言语义理解过程中增量式构造语义解释模型的方法．
With the Kripke semantic of constructive logic, this paper introduces the method for construction of incremental semantic model in the process of natural language understanding.
出处
《上海交通大学学报》
EI
CAS
CSCD
北大核心
1996年第6期96-99,共4页
Journal of Shanghai Jiaotong University
基金
国家八六三计划
国家重点实验室南京大学软件新技术实验室基金
关键词
Kripke语义
增量式模型构造
语义解释模型
Kripke semantic
incremental semantic model construction
understanding of natural language
