带有不同否定的模糊命题逻辑的形式演绎系统

对于模糊知识及其否定关系,潘正华指出应该明确地分为矛盾否定关系、对立否定关系和中介否定关系,并建立了一种具有矛盾否定、对立否定和中介否定的模糊集FScom（fuzzy sets with contradictory negation, opposite negation and medium negation）,随后建立了一种改进的模糊集IFScom（improved FScom）。为给模糊集FScom及其改进IFScom提供一种逻辑工具,提出了一种带有矛盾否定、对立否定和中介否定的模糊命题逻辑演算系统FPcom,并在给定无穷值语义赋值模型以及可满足性定义下,证明了FPcom具有可靠性和完备性。FPcom在一定意义上可视为对中介命题演算系统的改进。     

矛盾信息特征提取研究

把矛盾问题处理为相容问题是计算机智能化水平的重要体现,也是人工智能面临的重要问题之一。本文从信息处理的智能化角度出发,研究矛盾问题中矛盾信息的特征提取。本研究为利用计算机辅助解决矛盾问题提供了可行的工具,为提高计算机智能化水平创造了基础条件。     

可拓创新方法在产品设计中的应用

目的介绍和分析中国人原创的可拓创新方法体系在设计创意生成与解决设计过程中矛盾问题方面的优势,阐释应用该方法进行产品设计时,可以使设计过程不过度依赖于设计人员。方法从论文论著发表情况、软件著作权和专利情况、承接项目情况等方面,介绍了可拓创新方法的研究概况;综述可拓创新方法在新产品与新项目设计创意的生成、解决产品设计中的矛盾问题等方面的应用情况,以及可拓创新软件的研制情况。结论该方法具有深厚的理论基础,定性分析与定量计算相结合,可操作性强,具有重要的方法论价值和广阔的应用前景。     

命题中介逻辑的可靠和完备Gentzen推导系统

中介逻辑是朱梧槚先生提出的一个3-值逻辑.给出了一个命题中介逻辑,其中引入中介连接词~、反对连接词◁以及蕴涵连接词→,并且定义否定连接词.给出了一个Gentzen-型的推导系统,使得该系统关于中介逻辑的3-值语义是可靠的和完备的.     

探索后现代建筑设计中矛盾性符号的运用

本文主要从符号学的角度探索了后现代建筑设计的主要特点,提出后现代建筑自身存在着风格符号的矛盾性,并以"loft"风格的建筑设计作为后现代建筑设计的典型例子,来分析探讨它特征符号的矛盾性以及它的优点和独特之处,并提出可以把这种后现代主义建筑的矛盾性特点符号相调和,运用到室内设计中。     

模糊知识的三种否定及其集合基础

对于模糊知识中"否定"的认知与处理,文中从概念层面上区分模糊知识中的矛盾否定关系与对立否定关系,研究发现了模糊知识中存在一规律:一对对立的概念为模糊概念,则它们之间必然存在"中介"的模糊概念;反之,如果一对对立的概念之间存在中介的模糊概念,则对立的概念必然是模糊概念.因此,作者提出在模糊知识的否定关系中存在三种不同的否定关系,即矛盾否定关系、对立否定关系和中介否定关系,并给出它们的形式定义.为了能够刻画这些关系的内在性质与联系,作者提出了一种新的具有矛盾否定、对立否定和中介否定的模糊集FSCOM,并讨论了FSCOM的特征、FSCOM的基本运算与性质以及FSCOM与Zadeh模糊集的关系等.在后续文中将表明,FSCOM是一种处理实际中的模糊知识及其各种否定的有效方法.     

精细油藏描述中常见油水关系矛盾分析

由于中国东部地区陆相砂岩油藏岩性变化快,构造特征比较复杂,精细油藏描述地层对比研究中常常出现较多的油水关系矛盾现象。通过分析认为,造成油水关系矛盾的主要原因有岩性变化或尖灭、构造特征认识不清晰、地层对比存在问题、测井综合解释对油水层的认识存在错误以及储层损害等,由此提出通过高精度构造解释、精细地层对比、单井井史分析及储层保护、试油试采资料分析以及油藏动态分析等方法来解决精细油藏描述研究中存在的油水关系矛盾现象。     

基于TRIZ矛盾矩阵法对提高Pro/E课程教学质量的研究分析

通过运用TRIZ理论中的矛盾矩阵法,尝试研究如何提高Pro/E课程教学质量.并且通过分析研究过程,进一步认识、理解TRIZ理论,体会TRIZ理论的实践意义,提高运用TRIZ理论分析解决问题的能力.     

习惯领域与伪矛盾问题的转换桥

本文建立了决策主体关于问题的习惯领域的物元模型,提出了伪矛盾问题的概念,研究了习惯领域与伪矛盾问题的产生与转化的关系,给出了构造伪矛盾问题的转换桥的一种方法.     

Simplified learning in complex situations: Knowledge partitioning in function learning.

The authors explored the phenomenon that knowledge is not always integrated and consistent but may be partitioned into independent parcels that may contain mutually contradictory information. In 4 experiments, using a function learning paradigm, a binary context variable was paired with the continuous stimulus variable of a to-be-learned function. In the first 2 experiments, when context predicted the slope of a quadratic function, generalization was context specific. Because context did not predict function values, it is suggested that people use context to gate separate learning of simpler partial functions. The 3rd experiment showed that partitioning also occurs with a decreasing linear function, whereas the 4th study showed that partitioning is absent for a linearly increasing function. The results support the notion that people simplify complex learning tasks by acquiring independent parcels of knowledge. (PsycINFO Database Record (c) 2010 APA, all rights reserved)