基于模糊概念模型的模糊本体构建方法

针对从预先定义的概念层次生成模糊本体这一非常困难的问题,提出利用模糊概念模型来构建模糊本体.基于模糊集理论,对UML概念模型及OWL DL本体进行了模糊扩展,从二者的逻辑基础说明了利用模糊UML类图构建模糊OWL DL本体的可行性,进而研究了从模糊UML类图到模糊OWL DL本体的形式化映射方法,给出了映射规则及公理的创建过程.利用现有的模糊概念模型构建模糊OWL DL本体可以有效降低建立模糊本体的复杂性,同时增强了本体的表达能力.     

模糊命题逻辑L*中公式的条件随机真度

在赋值格为[0,1]的模糊逻辑系统L*中,基于条件概率的思想和赋值集的随机化方法提出了公式的条件随机真度,证明了条件随机真度的MP规则和HS规则。引入公式间的条件随机相似度和条件伪距离,建立了条件随机逻辑度量空间,推导出条件伪距离的若干性质,证明了条件随机逻辑度量空间中逻辑运算的连续性,并初步研究了给定条件下的近似推理理论。     

基于模糊逻辑的软件质量评价方法

软件质量是软件开发相关各方共同关注的目标，软件质量定量评价是软件工程领域的热点问题。在国内外对软件质量定量评价方法研究的不足之处的基础上，提出了运用模糊逻辑理论对软件质量进行定量评价的技术方法，即首先通过工程化方法筛选软件质量评价要素，并确定软件质量评价要素和质量评价等级模糊集，然后建立它们之间的模糊关系和质量要素权重集，经过最大——最小复合运算，计算出反映软件质量的评价向量值；通过应用实例，得出一个软件系统(XTMAIS)质量的实际评价等级；提出了进一步研究的方向。研究结果表明，该方法符合模糊逻辑理论的应用特点和软件工程的发展方向，理论上先进，技术上可行，在软件工程领域具有推广、应用价值。     

逻辑数学悖论及其解决

逻辑——数学悖论是指仅借助于逻辑和数学的符号而得以构造的悖论。从历史发展看，其主要是指布拉里——福蒂（Burali—Forti）悖论，康托悖论和罗素悖论，它们分别是在1897、1899及1902年提出的。逻辑——数学悖论的出现，明确地表明素朴集合论中包含有逻辑矛盾。解决逻辑——数学悖论，必须对康托的素朴集合论加以限制，特别是必须抛弃前面所提到的概括原则。按策梅罗的研究成果，只须对公理适当地加以选择，就可做到既能使新建立的集合论能成为数学的基础，同时又能确保新的理论不会导致悖论。     

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

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

基于大时滞特性预估补偿的模型辨识及模糊控制方法

对具有大迟延特性的对象采用径向基神经网络辨识其预测控制模型,在不需要知道被控对象的精确物理解析数学模型,也不需要知道对象的脉冲激励响应模型和阶跃激励响应模型的情况下,可以实现对系统响应特性的在线辨识.采用分级模糊建模的思想,设计一种分级模糊控制器,可以极大地减小模糊规则基的规模,在分级模糊控制器的设计中,采用共生进化遗传算法对参数寻优,提高了进化速度.仿真试验证明,该方法的效果很好.     

Zadeh模糊集合理论的缺陷及其改进:C*-模糊集合理论

分析和证明了Zadeh模糊集合理论的三个缺点和两个错误,提出了一个考虑模糊集合之间关系,并且用相关系数来刻画这种关系的程度的新模糊集合理论(系统)--C*-模糊集合理论(系统).新理论(系统)能克服Zadeh模糊集合理论的三个缺点和两个错误;能正确地描绘客观世界的全部模糊现象;有补集;隶属度有统一的计算公式;并且是经典集合系统的特例,能满足全部经典集合的公式,与正常思维、逻辑和概念一致.     

Negotiation Model for Shopping Agents in E-marketplace

Introduction WiththeincreasingspreadoftheInternetand WWW,moreandmorecommercialtransactionsar takingplaceontheInternetelectronically.Electroni marketplacesarebecomingmoreimportantsincethey promisetogreatlyimproveeconomicefficiency,reducsalescosts,andspeedupcomplicatedbusines transactions.Topromotethedevelopmentofelectroni marketmanyautomationmechanismsandtechnologie havebeenintroducedcurrently,amongwhichagen technologyistakingthedominantroles,whichthanksto theirmainfeatures—autonomy,pro ac…     

Modeling Multisource-heterogeneous Information Based on Random Set and Fuzzy Set Theory

This paper presents a new idea, named as modeling multisensor-heterogeneous information, to incorporate the fuzzy logic methodologies with mulitsensor-multitarget system under the framework of random set theory. Firstly, based on strong random set and weak random set, the unified form to describe both data （unambiguous information） and fuzzy evidence （uncertain information） is introduced. Secondly, according to signatures of fuzzy evidence, two Bayesian-markov nonlinear measurement models are proposed to fuse effectively data and fuzzy evidence. Thirdly, by use of ＂the models-based signature-matching scheme＂, the operation of the statistics of fuzzy evidence defined as random set can be translated into that of the membership functions of relative point state variables. These works are the basis to construct qualitative measurement models and to fuse data and fuzzy evidence.     

基于灵敏度分析的大规格床身结构模糊优化设计方法

提出了采用模糊数学理论和有限元法相结合建立具有静、动态模糊约束的大规格数控车床床身结构优化数学模型新方法.该方法将模糊逻辑推理理论运用于床身结构灵敏度分析中,构建了灵敏度模糊集.实现了最佳模糊设计变量的选取,并应用一种改进的最优向量水平截集法评估模糊约束的重要性,避免了最优解的丢失.优化结果表明,采用所提模糊有限元优化...     

最小-蕴涵模糊推理模型的连续性

把泛逻辑学引入模糊系统,基于泛逻辑算子,在模糊空间中定义一种新的模糊距离,引入模糊推理模型连续性的定义,给出最小-蕴涵模糊推理模型为连续模型的充要条件.     

n阶线性方程模糊初值问题的模糊结构元解法

为了给出微分方程的模糊初值问题更加简便的求解方法，避免表现定理中α遍历{0，1}造成的运算复杂性，采用模糊结构元的方法来求解线性微分方程的模糊初值问题，给出了模糊初值问题解的通解公式。这种方法不仅避免了利用表现定理造成运算的复杂性，而且还精确的给出了模糊初值问题的模糊解函数的隶属函数。通过文中的例子可以看出该方法的实用性和有效性。     

n值标准序列逻辑系统S_n的子代数及其重言式理论

讨论了n值标准序列逻辑系统Sn,给出了判断其子代数的充要条件,并比较了不同的逻辑系统Sn中的重言式,同时给出了逻辑系统Sn中判断公式不是重言式的充分条件.     

正则剩余格的素模糊⊙理想及其拓扑性质

运用Zadeh提出的模糊集概念和运算特征对正则剩余格的模糊⊙理想理论作进一步研究。引入素模糊⊙理想的概念并研究其性质，建立了素模糊⊙理想定理。在全体素模糊⊙理想之集合P P⊙（ L）上构造了一个拓扑T，证明了拓扑空间（ P P⊙（ L），P ）是T0空间。     

修辞与逻辑和美学

修辞学是一门探讨提高语言表达效果的规律和方法的科学,逻辑学是研究思维本质、形式和规律的科学,美学是研究审美活动特征和规律的科学。三者虽属不同的学科领域,但彼此之间却有着千丝万缕的联系。以修辞学为主线,以美学理论为基础,以逻辑学为武器,研究三者之间的关系,用美学理念解读修辞学,可以探究修辞在逻辑、关学中的实用价值,提高修辞的应用能力。     

发动机故障的模糊最小割集诊断法

针对发动机故障的特点，将最小割集诊断理论与模糊诊断理论相结合，建立了模糊最小割集诊断法．这种方法吸取了经典逻辑与模糊逻辑的优点，容错性较强，降低了割集理论中由于诊断逻辑过于严格而造成的漏诊风险．用贴近度代替概率作为定量值，简化了计算步骤，增加了求解灵活性，也降低了模糊方法中的错诊风险．该方法也可推广应用于具有多诊断参数的复杂机器的故障诊断．文中给出了应用实例．     

基于机会发现逻辑的多智能体系统形式化描述方法

MAS系统中agent的核心能力是其对未来行为的理性决策,因应用环境的开放性和动态变化而具有不确定性。机会发现理论可以在此类环境中发现对主体决策具有重要影响的事件或状态,可用于表达智能行为的协作计算模型。在此情况下,以机会发现理论和时态/模态逻辑为基础,采用基于Kripke框架的机会发现逻辑Lk来研究多智能体系统的形式化描述方法。对Lk的结构及语义进行了详细地描述,并验证了Lk具有可判性且能够在多项式级时间复杂度内实现。     

运用粗糙集溯源车用聚氯乙烯人造革的异味

针对异味溯源研究中异味来源广泛、异味强度数据模糊的问题,提出了将基于粗糙集和模糊数学理论的客观多属性权重分配分析方法运用于车内座椅用人造革异味的溯源研究.分析结果显示,在聚氯乙烯人造革发泡层配方中,阻燃剂、发泡剂、光稳定剂、热稳定剂、树脂对于异味产生影响程度的权重分配为0.082 3、0.432、0.082 7、0.221、0.182,发泡剂是异味产生的主要原因.随后对发泡剂产生异味的机理进行了分析并用气相色谱-质谱联用仪定性分析进行验证,证实了基于粗糙集理论的数学分析方法能够对大批量的数据进行筛选,在异味强度这种主观模糊的数据中引入属性重要性的概念进行权重分配,从而找到了聚氯乙烯人造革配方中导致异味产生的主要来源.     

IMTL逻辑系统的一种新扩张形式

提出了一种新的模糊逻辑系统 IMTL^*,这种逻辑系统的特点是只使用蕴涵这一种逻辑联接词。证明了这种逻辑系统是IMTL逻辑系统的模型扩张,并且 ?ukasiewicz 逻辑系统和逻辑系统ℵ^*都是它的模型扩张,应用这些结论给出了?ukasiewicz 逻辑系统和逻辑系统ℵ^*的蕴涵表示形式。只使用蕴涵这一种逻辑联接词的模糊逻辑系统将为模糊逻辑的应用提供方便。     

对新模糊集合论基础的一些注记

近来,一些学者指出Zadeh模糊集合论存在缺点和错误,建立了新模糊集合论.针对新模糊集合论提出了自己的见解.首先,在分析C-模糊集合论的定义时,发现该定义中存在两个不足之处.正是由于这两个不足之处,模糊集合之间的运算就会受到质疑而无法进行.最后,辨证地分析了Zadeh模糊集合论存在的缺点和错误.