整合非单调推理及时态推理(英文)  

INTEGRATING NONMONOTONIC AND TEMPORAL CONSTRAINT REASONING

作　　者：沈榆平[1] 赵希顺[1] 

机构地区：[1]中山大学逻辑与认知研究所,广州510275

出　　处：《南京大学学报（数学半年刊）》2007年第2期187-203,共17页Journal of Nanjing University(Mathematical Biquarterly)

基　　金：NSFC of Project (No.60573011,10410638)

摘　　要：在本文中我们提出一种整合的推理模式ASP^X,它同时支持非单调推理及时态约束推理,本文展示了它的语法,语义及复杂性分析,除此以外,我们详细研究了它的一个实例化的框架ASP^(DLR),并举例说明其能够作为实时领域内常识推理的逻辑基础.In this paper we propose an integrated reasoning scheme ASP^X that sub-sumes nonmonotonic and temporal constraint reasoning. Its syntax, semantics as well as computational complexity analysis are presented. Moreover, we study an instantiated framework ASP^DCR in detail, and illustrate that it may serve for the underlying logic for commonsense reasoning in real-time domains.

关 键 词：非单调推理 时态约束推理 回答采编程 计算复杂性 

分 类 号：O141[理学—数学]