正规统计缺省扩充的证明

讨论了带有误差参数的统计缺省理论．引入了闭正规统计缺省概念，指出存在正规统计缺省理论没有在ε内的统计扩充，但在添加封闭性后每个正规闭统计缺省理论都有扩充．证明了半单调性和正交性等基本性质，对闭正规统计缺省理论的证明作了研究，论证了在一定条件下序列的存在性蕴涵统计扩充的存在性，给出了相容正规缺省理论扩充存在的充要条件．     

带有约束的缺省逻辑

提出了一种改进缺省逻辑的方法，讨论了这种缺省理论的性质，证明了每个缺省理论都有扩充，具有半单调性和累积性，并讨论了处理多扩充问题的一种方法．     

含缺省约束的基于模型诊断方法

目前已有的诊断系统一般都默认有完备而可靠的模型，但在实际中常无法实现．因此，在目前已知的对待诊断设备的可靠描述之外．提出了可加入假设性的信息作为对无法完备模型的补充．并且这些假设采用了从规范缺省理论中的规则转化而成的公式的形式．进一步给出了在加入这些假设后的情况下，含缺省约束的基于模型的诊断、中心诊断、蕴含、蕴含式及本原蕴含等概念，证明了含缺省约束的基于模型的中心诊断与缺省本原蕴含的直接关系．并指出这种刻画即为含缺省约束的基于一致性中心诊断和中心溯因诊断的刻画的一般化情形．从而将理论与实现联系了起来。     

关联理论对文化缺省及其翻译重构的解释力

关联理论框架下的翻译是一种跨化交际活动，而原中化缺省的存在很可能导致这种交际活动失败或失误。化缺省不仅仅是两种语言、化表面所呈现出来的差异，更是一个涉及认知心理和连贯理解的问题。从关联理论的研究角度对化缺省进行探讨，可以获得对化缺省系统的认识，并根据关联理论中的最佳关联原则找出合理、有效的翻译重构策略。     

对基于约束条件的缺省逻辑扩充的注记

基于带约束条件的缺省理论，给出了缺省理论△=（D，W，C）的新约束、约束反驳、C-重构和C-认识进程的概念及其意义，主要讨论当约束条件C发生变化（如遇到新的约束或出现与原来约束相矛盾的约束）时扩充E的性质和变化规律，提出了获取新扩充的较简单的求解方法，并证明了相关的定理．在此基础上，本文建立了缺省理论的关于约束的一个动态描述过程，证明了当缺省理论遇到新约束时扩充呈单调变化，遇到约束反驳时呈现非单凋性，进一步讨论了当不断添加新约束和约束反驳时，扩充的最终结果为某一特定问题的经验公式集．     

浅析《儒林外史》英译本中的"文化缺省"

本文以《儒林外史》英译本为依托，探讨了文化缺省在翻译中的重要性，对其做了分类分析，把文化缺省分为三类：待补偿型文化缺省、可植入型文化缺省和可隐去型文化缺省。并提出了处理文化缺省现象的具体途径与方法。     

用分层ATMS实现缺省逻辑

Ｒｅｌｉｅｒ的缺省逻辑存在着局限性．它无法表示缺省规则之间的优先级，无法处理缺省规则中析取，并且不满足累积性．虽然Ｂｒｅｗｋａ提出带优先级的缺省逻辑和累积缺省逻辑，但不能完全克服上述局限性．本文介绍了分层ＡＴＭＳ，然后指出用分层ＡＴＭＳ实现的缺省逻辑能克服现有缺省逻辑中的局限性．     

缺省假设的真值维护

介绍了求解缺省假设的常用求解方法ＮＡＦ存在的局限性。无法表示否定信息；难于处理循环缺省假设和缺省假设间的依赖性，提出用分层ＡＴＭＳ求解缺省假设，从而能克服ＮＡＦ的局限性。     

关联理论对文化缺省的解释力

翻译是一种跨文化交际活动,而原文中的文化缺省的存在很可能导致这种交际活动失败。文化缺省不仅仅是两种语言、文化所表现出来的差异,更是一个涉及认知心理和连贯理解的问题。从关联理论的角度对文化缺省进行探讨,可以获得对文化缺省系统的认识,并根据关联理论中的最佳关联原则找出合理、有效的翻译重构策略。     

一种基于关联挖掘的缺省规则更新算法

为了解决缺省关联规则的增量挖掘问题,在算法DRMBAR的基础上,结合粗糙集理论及频繁模式树结构,提出了一种基于关联规则的缺省规则更新算法IADRBAR,该算法主要考虑最小支持度发生变化时缺省规则的更新问题,即在新的最小支持度下,如何高效地生成新的关联规则. IADRBAR在最坏的情况下仅须扫描决策表一遍,并利用上一次已经挖掘出的频繁项目集及关联规则,有效地提高缺省规则的更新效率.理论分析和实验结果表明算法是有效可行的.     

可作废推理

推理的不确定性来自信息或知识的不完全,这种不确定性几乎是无处不存在的,它使得修改乃至废除推理过程中的结论显得十分重要,从而也使可作废推理成为智能行为(不论是人或机器的)的显著特征。因此,研究推理的不确定性并使之形式化成为人工智能中最新、最热也最难的方向。本文扼要介绍可作废推理的研究途径、发展、特征和有待解决的问题;同时简介作者的一些新近研究结果,以期引起同行的更深入、更有价值的探索。     

An extended theory of global workspace of consciousness

Global Workspace theory and Global Neuronal Workspace hypothesis are frameworks about the mechanism of the consciousness, which argued that it is the global workspace that makes awareness. These two theories ignored an important fact that the content of consciousness is not only from the instant sensory input, but also from the inward mind representation. The existence of the default mode network of brain indicates that without the sensory input from instant environment, the brain can carry out organized activities which have intense relationship with inward information processing. This article combines the hypothesis of brain＇s default mode network and the classical Global Workspace theory, and put forward an extended theory about global workspace of consciousness.     

试论区域经济理论在旅游规划中的运用

制定科学合理的旅游规划需要有理论进行指导,本文试运用区域经济理论中与旅游规划紧密相关的区位理论和空间结构理论指导区域旅游规划实践,从而促进旅游地健康有序地发展。     

A new research on auto compatible default theory

Ｅｘｔｅｎｓｉｏｎｉｓｔｈｅｍｏｓｔｉｍｐｏｒｔａｎｔｃｏｎｃｅｐｔｉｎｄｅｆａｕｌｔｌｏｇｉｃ．Ｒｅｉｔｅｒｈａｄｍａｄｅｓｏｍｅｒｅｓｅａｒｃｈｏｎｔｈｅｓｐｅｃｉａｌｋｉｎｄｏｆｄｅｆａｕｌｔｌｏｇｉｃ,ｔｈａｔｉｓｎｏｒｍａｌｄｅｆａｕｌｔｌ...     

不完全信息下的溯因诊断

研究缺省逻辑表示下的溯因框架,给出一种基于规则的命题逻辑缺省溯因诊断的求解方法     

二次曲线的一种简便化简方法

利用高等代数中矩阵,特征根,特征向量,以及解析几何中二次曲线的有关理论,通过两个定理的证明,给出了一种化简一般二次曲线的统一方法.     

相信逻辑的某些性质和定理

本文研究了相信逻辑在相信蕴涵下的某些性质．在相信蕴涵的定义下，相信逻辑是非单调的．本文给出了几个相信逻辑的单调性的充分且必要条件．还证明了一个默认理论的延伸恰好就是对应的相信理论的相信公式的所有相信蕴涵式的全体．从而给默认理论的延伸以一个较为直观、简洁的表述．     

论自动解除危险状态行为

刑法理论的通说认为自动解除危险状态行为成立犯罪既遂，然而近年来一些学者撰文对通说提出批判，认为该行为成立犯罪中止。本文在列举各种新观点的基础上，对其逐一进行评述，指出上述观点在理论上存在不能自圆其说之处，从而最终得出通说理论仍具有合理性的结论。     

带模理论的回答集程序设计

基于回答集语义的逻辑程序（ASP）是一种描述性问题求解的典范，目前人们提出了各种ASP的扩张。本文提出带背景理论的回答集程序设计框架，它不仅是正规逻辑程序的一般化，对带聚合函数的ASP而言，也与SPT—PDB的回答集语义一致。经证明，当背景理论是命题逻辑时，该框架与Shen和You提出的方法一致。