10.3969/j.issn.0469-5097.2007.02.003
整合非单调推理及时态推理
在本文中我们提出一种整合的推理模式 ASPx,它同时支持非单调推理及时态约束推理.本文展示了它的语法,语义及复杂性分析.除此以外,我们详细研究了它的一个实例化的框架 ASP(DCR),并举例说明其能够作为实时领域内常识推理的逻辑基础.
非单调推理、时态约束推理、回答采编程、计算复杂性
24
O141(数理逻辑、数学基础)
国家自然科学基金60573011;10410638
2008-05-22(万方平台首次上网日期,不代表论文的发表时间)
共17页
187-203