赵希顺
- 作品数：25 被引量：16H指数：2
- 供职机构：中山大学人文科学学院逻辑与认知研究所更多>>
- 发文基金：国家自然科学基金国家社会科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术理学哲学宗教电子电信更多>>
- 若干限制形式的缺省推理的复杂性(英文)被引量：2
- 2000年
- 该文研究判定一文字是否出现在缺省理论〈D,W〉的某一扩张中的复杂性 .其中 ,D是一集 Horn缺省规则 ,而 W是 definite Horn公式或者 Bi-
- 赵希顺丁德成
- 关键词：缺省推理
- Y_CΩ_(2n)是易项
- 1998年
- 证明了如下结果 :对任意的n≥ 1,YCΩ2n是易项 ,即对任λ项M ,λβ +YCΩ2n=M是协调的 .其中YC 是Curry不动点组合子 ,Ω2n=ω2nω2n,ω2n=λx .xx…x(λx之后x有 2n次出现 ) .从而 ,部分证明了Ja copini提出的如下问题 :对任意的n≥ 2 ,YCΩn是易项 .
- 赵希顺王驹
- 关键词：易项不动点
- Disjunction-free缺省逻辑及其复杂性
- 赵希顺
- 关键词：数理逻辑缺省逻辑
- 基于谨慎语义的规划证明系统被引量：1
- 2013年
- 近年来关于不完全知识的规划成为活跃的研究领域,许多逻辑系统引入感知动作、条件规划描述这一问题。作为代表性的成果之一,Son和Baral提出了动作语言Ak及其不完全信息下的推理语义。本研究进一步为Ak设计了谨慎语义和弱谨慎语义,使得主体可以在严格安全环境下生成并执行可靠的规划。计算复杂性分析表明谨慎语义降低了Ak的推理复杂性;为上述语义提出用于验证条件规划推理机制的Hoare型证明系统,该系统是可靠和完全的,既可应用于规划生成,又可应用于规划验证;且该系统有离线规划的性质,即在离线状态下主体可以将已有的短的证明组成新的长的证明。
- 张燕赵希顺
- 关键词：动作语言
- Canonical logic programs are succinctly incomparable with propositional formulas
- Canonical(logic)programs(CP)refer to normal logic programs(LP)augmented with connective not not.In this paper ...
- 赵希顺沈榆平
- Co-regular集上的可计算算子
- 2008年
- Co-regular热集是Rd上的一类集合,在第二类能行性理论(简称TTE)的框架下,研究co-regular集组成的类P上若干算子的可计算性,这些算子主要包括交、并、象、原象、补集的内部运算和开集的co-regularization等.结果表明,此前提出的所有不等价表示式中,只有个别表示式对这些算子是可计算的.
- 邱玉文赵希顺
- 关键词：表示式
- 前提嵌套程序和基数约束程序的简洁性研究被引量：1
- 2016年
- 直观地说,简洁性是指一个逻辑系统紧凑表示问题的能力。近年来关于简洁性的研究逐渐得到人们的关注。本文将讨论两类逻辑程序,即基数约束程序(Cardinality Constraint Programs,CCP)与前提嵌套程序(Nested Logic Programs,NLP)之间的简洁性。我们设计了一个从CCP到NLP多项式长度的等价翻译,这极大改进了Ferraris和Lifschitz提出的指数长度翻译方法,由此证明NLP至少与CCP一样简洁。
- 张燕沈榆平赵希顺
- 极小不可满足公式的两个多项式时间可判定类被引量：2
- 1999年
- 研究命题公式 (合取范式 )的极小不可满足性 .设公式F含有n +k个子句(n是F中所有变元的个数 ) ,其中包括子句x1∨…∨xn 和┐x1∨…∨┐xn,证明了当k≤ 4时 。
- 赵希顺丁德成
- 关键词：多项式时间
- 描述逻辑的动态时序扩展被引量：5
- 2012年
- 在一些基于本体的动态应用中,需要描述组合动作和变化域的时间特性。为了对这类应用建模,通过整合动态时序逻辑和描述逻辑,提出一类描述逻辑扩展。分析了该类扩展的基本形式DLTLALC的语法和语义,并提出一种可终止的tableau算法判别DLTLALC公式可满足性。利用该类扩展,可以表达组合动作执行过程中域变化的时间特性,该类扩展为语义Web服务等动态应用建模和推理提供了一条有效途径。
- 孙永新赵希顺符志强
- 关键词：语义WEB服务
- 浅论中国数理逻辑发展
- 现今关于中国数理逻辑的发展，多是历史事件的记录和论著的收集和介绍。报告人将基于他对数理逻辑的认识以及对国际数理逻辑发展的了解，尝试论述中国数理逻辑的发展。
- 赵希顺
