【摘 要】
：
不同的时态逻辑能够适应不同的推理任务.为了符合应用,关于时间的模型从离散的自然数和整数,延伸到稠密的线性实数,甚至扩展到区间代数和树代数.如果简单的时态连接词的表达
【机 构】
：
西澳大利亚大学计算机科学与软件工程学院
论文部分内容阅读
不同的时态逻辑能够适应不同的推理任务.为了符合应用,关于时间的模型从离散的自然数和整数,延伸到稠密的线性实数,甚至扩展到区间代数和树代数.如果简单的时态连接词的表达力已经足够,就只需使用这些简单的时态连接词来构造的时态逻辑.在能够承担降低运算速度的风险下,我们可以为实现更强的表达力而使用更多的连接词,也可以加上度量信息或者固定点.作者近期提出了一个令人惊讶的结论:建立在实数时间上的具有足够表达力的语言和基于自然数离散时间流的传统简单算子,它们推理的计算复杂性是一样的.在这篇论文中,作者试图对建立在标准时态连接词和线性时间流的普通类上的时态逻辑中所有决策问题的计算复杂性作新的说明.尤其是,文中指出,所有标准逻辑在PSPACE中都存在决策问题.
其他文献
“财务要贴近生产,协助生产处用好流程优化软件,在装置与工艺调整、原油结构调整等一系列优化方案的制定中,及时测算,预测效益影响,切实发挥财务核算的价值引领作用。”近日,
由中共中央编译局比较政治与经济研究中心、中央党校世界政党比较研究中心和北京大学中国政府创新研究中心共同主持的大型课题“中国地方政府改革与创新研究与奖励项目”第二
2012年1月19日,国土资源部印发《国土资源信息化“十二五”规划》,要求加快国土资源管理全业务网上运行,构建国土资源管理决策与综合监管技术支撑体系,并加强在线服务和信息
上过福布斯美国富豪榜的美国总统特朗普准备和中国做场大生意.rn在11月短短的3天国事访问中,特朗普所带领的商贸团队一遍又一遍地刷新了人们的想象力:中美合作项目34个,金额
在土地管理中,法律法规所规定的市、县政府及其土地管理部门的审批决定事项具有不同于其他行政审批决定事项的独自特点.把握这些特点,有助于进一步强化土地管理,提高审批水平
近年来,随着中亚国家整体经济状况的改善,我国与中亚国家的经贸关系呈现出加速发展的态势。中亚经济带是“丝绸之路经济带”的核心区,这意味着未来中国将有更多的跨国公司选
在情境中使用的否定,是相干否定;在世界中使用的否定,是经典否定。我首先给定了两个逻辑,一个是信息的基础相干逻辑L_1,另一个是与L_1联系紧密的逻辑系L_2。其中,L_2被同时包
买的是能源,买的更是未来.rn对于中美签署的2535亿美元的合作大单,商务部国际贸易经济合作研究院研究员梅新育直言,不能简单理解为中国“买买买”,更深层次的意义在于,这意味
每年都有众多的食品和酒类的博览会在中国举办,FHC——进口食品和酒店设备展览会能够做到如此成功,如此专业.在FHC,展商、观众都是专业的.rn这一点,在2013年11月13日至15日举
随着全球经济一体化的发展和我国石油企业建设综合性国际能源公司的奋斗目标的提出,为保障国家能源安全、获取和掌控更多的海外油气资源,适应资源国要求实现我国石油企业国际