整合非单调推理及时态推理

• 作者: 沈榆平 赵希顺
• 来源期刊: 南京大学学报(数学半年刊)
• 学科: 数学
• 关键词: 非单调推理 时态约束推理 回答采编程 计算复杂性
• 年，卷（期）: 2007,（2）
• 页码范围: 187-203
• 页数: 17页
• 分类号: O141
• 字数: 2598字
• 语种: 中文
• DOI: 10.3969/j.issn.0469-5097.2007.02.003

摘要

在本文中我们提出一种整合的推理模式 ASPx,它同时支持非单调推理及时态约束推理.本文展示了它的语法,语义及复杂性分析.除此以外,我们详细研究了它的一个实例化的框架 ASP(DCR),并举例说明其能够作为实时领域内常识推理的逻辑基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	沈榆平	中山大学逻辑与认知研究所	8	7	1.0	2.0
2	赵希顺	中山大学逻辑与认知研究所	16	17	3.0	4.0