张燕
- 作品数：2 被引量：2H指数：1
- 供职机构：中山大学人文科学学院逻辑与认知研究所更多>>
- 发文基金：国家自然科学基金国家社会科学基金更多>>
- 相关领域：哲学宗教自动化与计算机技术更多>>
- 基于谨慎语义的规划证明系统被引量：1
- 2013年
- 近年来关于不完全知识的规划成为活跃的研究领域,许多逻辑系统引入感知动作、条件规划描述这一问题。作为代表性的成果之一,Son和Baral提出了动作语言Ak及其不完全信息下的推理语义。本研究进一步为Ak设计了谨慎语义和弱谨慎语义,使得主体可以在严格安全环境下生成并执行可靠的规划。计算复杂性分析表明谨慎语义降低了Ak的推理复杂性;为上述语义提出用于验证条件规划推理机制的Hoare型证明系统,该系统是可靠和完全的,既可应用于规划生成,又可应用于规划验证;且该系统有离线规划的性质,即在离线状态下主体可以将已有的短的证明组成新的长的证明。
- 张燕赵希顺
- 关键词：动作语言
- 前提嵌套程序和基数约束程序的简洁性研究被引量：1
- 2016年
- 直观地说,简洁性是指一个逻辑系统紧凑表示问题的能力。近年来关于简洁性的研究逐渐得到人们的关注。本文将讨论两类逻辑程序,即基数约束程序(Cardinality Constraint Programs,CCP)与前提嵌套程序(Nested Logic Programs,NLP)之间的简洁性。我们设计了一个从CCP到NLP多项式长度的等价翻译,这极大改进了Ferraris和Lifschitz提出的指数长度翻译方法,由此证明NLP至少与CCP一样简洁。
- 张燕沈榆平赵希顺
