论文部分内容阅读
在本文中我们提出一种整合的推理模式ASP^X，它同时支持非单调推理及时态约束推理．本文展示了它的语法，语义及复杂性分析．除此以外，我们详细研究了它的一个实例化的框架ASP^DLR，并举例说明其能够作为实时领域内常识推理的逻辑基础．
整合非单调推理及时态推理
【摘 要】
：
在本文中我们提出一种整合的推理模式ASP^X，它同时支持非单调推理及时态约束推理．本文展示了它的语法，语义及复杂性分析．除此以外，我们详细研究了它的一个实例化的框架ASP^DLR，并举
【机 构】
：
中山大学逻辑与认知研究所
【出 处】
：
南京大学学报：数学半年刊
【发表日期】
：
2007年2期
【基金项目】
：
Supported by NSFC of Project （No.60573011,10410638）.
其他文献
要从根本上改变我国住房保障制度的现状，制订一部《住宅法》是很有必要的，并以此法为准则，对住宅的建设、消费、分配等环节进行规范，确定政府在住房市场的责任和义务，明确政府在住
在三月结束的十届全国人大五次会议上,众人瞩目的《中华人民共和国物权法(》以下简称《物权法》)以高票通过,将于今年的10月1日实施,在实现了大家“对私有财产给予平等保护”
期刊
北京美丽园小区在物业费价格问题上长达2年的纠纷，已经使“美丽园事件”由一个物业管理纠纷升级到社会广泛关注的“公共事件”，并为人们展示了一种“浓缩”后的社会矛盾。
自今年初，宏观调控和金融危机的影响，让北京楼市处于深度观望。开发商遇到了少有的“楼市严冬”。此时，“开发商遇到的共性问题：一是缺钱；二是房子难卖，”中体奥林匹克花园总裁陈顺
调查数据显示，我国的建筑能耗占总能耗的30％，而且还有上升的趋势，我国每年商品房开发面积达12亿～16亿平方米，因此，建筑节能显得尤为迫切。节能减排是国策大讹建筑节能责无旁贷，如不实
从前几年房地产界探讨的土地财产税开始到近年来在业界争论不休的物业税，人们似乎一直都没有停止对这个在国际房地产领域中已经普遍存在的一个税种的研究。然而，经过了近十年的
受金融风暴的影响，在紧缩性货币政策及置业者观望氛围浓厚的背景下，全国楼市降价风愈演愈烈，不论房企规模是大是小，皆争相祭出降价大旗，以期在淡市中谋取足够的竞争优势，回笼短缺的
研究了判定问题“对于命题CNF公式F和H，是否存在一个变元（或文字）改名φ，使得φ（F）=H？”的复杂性．对于极小不可满足公式的子类MAX和MARG，我们证明了：其变元改名和文字改名的复杂性等价