福建省自然科学基金(A0310006)
- 作品数：2 被引量：1H指数：1
- 相关作者：张敏邓安生薛永生胡文华吴梅红更多>>
- 相关机构：厦门大学更多>>
- 发文基金：福建省自然科学基金福建省重点科技计划项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于因果关系的行动理论扩充
- 2006年
- 在因果条件逻辑的基础上进一步改进因果理论语义,并给出扩充的行动理论,统一表述动作执行和原因蕴涵,从而可以整体论述逻辑语言本身相互动作的独立与非独立性,使得处理并发动作和动作之间独立与非独立性关系变得更为自然形式化.
- 吴梅红薛永生胡文华张敏邓安生
- 关键词：因果关系
- 对基于约束条件的缺省逻辑扩充的注记被引量：1
- 2006年
- 基于带约束条件的缺省理论,给出了缺省理论Δ=(D,W,C)的新约束、约束反驳、C-重构和C-认识进程的概念及其意义,主要讨论当约束条件C发生变化(如遇到新的约束或出现与原来约束相矛盾的约束)时扩充E的性质和变化规律,提出了获取新扩充的较简单的求解方法,并证明了相关的定理.在此基础上,本文建立了缺省理论的关于约束的一个动态描述过程,证明了当缺省理论遇到新约束时扩充呈单调变化,遇到约束反驳时呈现非单调性,进一步讨论了当不断添加新约束和约束反驳时,扩充的最终结果为某一特定问题的经验公式集.
- 张敏邓安生
