限定逻辑的表列方法

限定逻辑是由McCarthy创立的非单调逻辑的一个重要分支。限定逻辑最大的困难在于其算法的设计。基于表列方法,可以给出命题限定逻辑和公式限定逻辑两种形式证明程序。     

极小主义理论探析

霍里奇对冗余论提出质疑,论证词项"真的"是一个谓词,它能代表一个(弱)属性,不能被删除。为了更好论证他的理论,他对真理论与"真的"意义理论进行了区分,对强弱属性和理论特征进行了详细的分析论证,给我们展示了一个完整的极小主义理论,即"真"是一个弱属性,"是真的"并不能够把某类性质归属于某种实体,而真之理论也不能用某一个具体的(P)图式来陈述,它需要一个无限定的总和。     

限定和非限定视野下有关复句中连体修饰节的考察——以前件为中心

日语的连体修饰节可以分为限定修饰和非限定修饰。在复句当中，前件主名词限定修饰和非限定修饰之间的区别究竟受到哪些因素的影响？本文以此为中心展开考察。经考察发现，首先在复句中，前件中的主名词格位置及前后件关系对限定及非限定的区分都会产生影响。其次，从格位置的因素来看，在因果关系复句中，前件中主名词的位置对其区分的影响较弱。最后，从前后件关系的因素来看，顺接逆接及并列关系的限定作用较弱，而因果及假定则相对较强。     

唐奈兰对限定摹状词指称性用法和归属性用法的区分

为了弥补罗素和斯特劳森的限定摹状词的理论的缺陷,唐奈兰提出限定摹状词同时具有两种用法:指称性用法和归属性用法,并根据是否考虑语境,说话人的意图等语用因素对这两种用法做了区分,为语用学的出现作了铺垫。     

解析唐奈兰的《指称与限定摹状词》

罗素的摹状词理论,曾引起许多人的论争,唐奈兰的<指称与限定摹状词>就是其中最著名的篇章之一.在此文中,唐奈兰以罗素和斯特劳森的理论为背景,提出了限定摹状词的两种功能:即归属性用法和指称性用法.他认为罗素和斯特劳森都只注意到限定摹状词的一种用法,而忽视了另一种用法.但唐奈兰的理论也不是完美无缺的,他将限定摹状词的两种用法截然分开,并完全对立,也是不妥的.事实上,限定摹状词的两种用法应该是对立统一的.     

限定和非限定视野下有关连体修饰节的考察——以单句为中心

日语的连体修饰节,可以分为限定修饰和非限定修饰。单句中限定修饰和非限定修饰之间的区别受到哪些因素的影响？本文以此为中心展开考察。经考察发现,首先在单句中,主名词的性质会受到一些因素的限制。其次,被连体修饰成分所修饰的主名词位于主格位置以及位于宾格时对其对应的连体修饰的依赖性有所不同。     

中欧美日实质审查中参数限定的产品权利要求的新颖性判断对比

参数限定产品权利要求是产品权利要求的一种常见形式。在我国专利审查实践中,如何拒绝参数限定现有技术产品权利要求,如何判断参数限定的产品权利要求的新颖性、创造性也一直是我国专利审查员面临的棘手问题。笔者对欧洲、日本和美国的审查方法进行分析,并对中国专利局处理该问题的常规审查方法进行探讨。     

动词非限定形式的逻辑主语

非限定动词是动词的一种形式,除了不能单独用作谓语外,它可以充当句子中的各种成份,从而引发了逻辑主语这一问题。所谓逻辑主语,是指非限定动词表达的动作的执行者或随承受者。本文就三种非限定形式,即不定式、分词、动名词的逻辑主语进行讨论,并试图探讨因逻辑主语的省略而产生的意义上的差异。一、不定式当句中含有不定式时,其逻辑主语一般都能在句中找到,但也会出现逻辑主语隐形的情况。处于后一种情况时,逻辑主语通常可以加进去。请看动词不定式充当不同成份时,其逻辑主语的表达方式。１、当不定式充当主语时,其逻辑主语不可…     

基于限定记忆随机加权扩展卡尔曼滤波的车辆状态估计

为了降低车辆状态估计过程中历史量测数据误差的影响,提出一种限定记忆随机加权扩展卡尔曼滤波(LMRWEKF)算法.首先,建立三自由度非线性车辆动力学模型;其次,将限定记忆滤波与扩展卡尔曼滤波融合,构成限定记忆扩展卡尔曼滤波;然后,依据随机加权理论,设计服从狄利克雷分布的加权系数来进一步提高滤波估计精度;最后,建立Cars...     

非限定手写汉字的分割研究

分析目前手写汉字分割研究的几种有效方法，在此基础之上提出了针对非限定手写汉字分割的多层投影算法。通过对经典投影方法的补充和扩展，建立算法的基本模型，编写相应的程序，应用于支票校验系统当中。实际的金融支票大写汉字识别实验结果证实所提出的算法的有效性。     

复合限制

限制是一种基于极小化模型的非单调逻辑,本文首先提出一种相对限制形式——基于极大化模型的限制,继而给出结合极小与极大化模型的复合限制形式,并进一步讨论它们在形式化机器学习中归纳推理的应用.     

重型载重车辆加载安全区域与极限载荷分析

重型载重车辆的加载重心位置是重型载重车辆安全行驶的关键因素.文章结合相关项目,对重型载重车辆的加载重心安全区域进行了详细的分析和计算,突破了项目的一个技术关口,同时也给出了加载重心安全区域一种研究方法和思路,为后续相关的研究和车辆开发奠定基础.     

结合优先级和可信度的非单调真值维护系统

不精确推理和非单调推理是人工智能中两个重要的研究方面．分析了基于概率的不精确推理和基于真值维护系统的非单调推理的各自特点和局限性,将论据的优先级和可信度引入ＡＴＭＳ,提出了结合优先级和可信度的非单调真值维护系统,并给出其算法．它能有效地处理不完全领域知识下的推理,结合不精确推理和非单调推理的优点,克服两者的局限性．     

整合非单调推理及时态推理

在本文中我们提出一种整合的推理模式 ASPx,它同时支持非单调推理及时态约束推理.本文展示了它的语法,语义及复杂性分析.除此以外,我们详细研究了它的一个实例化的框架 ASP(DCR),并举例说明其能够作为实时领域内常识推理的逻辑基础.     

质量功能展开的模糊信息建模过程

针对产品设计过程中,质量功能展开(QFD)所需要的大部分输入信息通常具有模糊化和语言化的特点,将质量屋(HOQ)中的各种输入变量看成是语言变量,建立了各语言变量的模糊语言术语集及其对应的模糊数,并应用模糊扩展原理将传统的HOQ理论与方法扩展到模糊领域中.运用模糊数四则运算、模糊决策、模糊推理等理论,详细论述了模糊信息的建模过程,对模糊环境下的产品设计决策具有理论意义.     

解放后新疆耕作制度的变革

解放后新疆的耕作制度经历了从传统向现代的变革 ,其中古老绿洲与新型绿洲间存在着差异。老绿洲利用麦茬复种多熟有很大发展 ;新型绿洲种植区域化、专业化布局发展很快 ,近年来在热量条件较好的地区多熟种植也有发展。与种植制度相适应的秸秆还田加化肥 ,或粪肥加化肥的养地技术也保证了种植制度的变革。完善的农田防护林体系是绿洲农业的永恒主题。     

基于描述逻辑的图像检索框架

提出一种新的基于描述逻辑的、能处理带有分层信度的图像语义信息的图像检索框架,以解决不确定背景知识的图像检索问题.该框架能处理具有分层信度的不确定语义信息,给出了形状及语义两层模型表述图形信息,提出一种能描述分层信度知识的描述逻辑U-ALC,将图像信息检索化归为描述逻辑U-ALC中的逻辑推理,并给出了描述逻辑U-ALC的推理算法.     

基于谓词逻辑推理与生成树的优化链路层网络拓扑发现方法

 物理拓扑结构发现的目标是确定网络中的各种设备以及这些设备物理端口之间的链路连接关系,这对于网络性能监测与评估、故障发现与定位、资源分配与管理等一系列维护工作具有重要意义。本文所提供的基于谓词逻辑推理和基于生成树协议的优化拓扑发现算法,在AFT数据不完全的情况下,能够有效计算出网络节点信息,从而克服了现有链路层网络拓扑发现方法的不足,提高了获得网络物理拓扑的可能性。     

模糊谓词逻辑公式的有限和可数解释真度理论

提出了模糊谓词逻辑公式的有限解释真度和可数解释真度的概念，并讨论了它们的一系列性质．从而为引进公式间的相似度概念、导出全体公式集上的一种伪距离提供了依据，进而为模糊谓词逻辑的近似推理理论提供了一种可能的框架．     

一种在非单调和不完全领域知识下的EBL方法

基于解释的学习（ＥＢＬ）克服了基于相似性的学习中的一些局限性，但是由于领域知识的不完全性和非单调法，在ＥＢＬ过程中会出现等多重解释问题，运用分层ＡＴＭＳ（基于解释的真值维护系统）来实现ＥＢＬ方法，由于分民支ＡＴＭＳ能处理非单调推理和多重假设集，因而它能根据不同原因解决了ＥＢＬ中的多重解释问题。