关于三段论规则的思考

关于三段论的一般规则,我国出版的逻辑书一般都讲以下七条: 规则1 一个三段论只能有三个不同的项。 规则2 中项至少要周延一次。 规则3 前提中不周延的项在结论中不得周延。 规则4 从两个否定的前提不能得出结论。 规则5 如果前提有一个是否定的,则结论应是否定的。     

种属关系与亚里士多德直言三段论

讨论了亚里士多德在判定三段论成立与否时用到的6条标准:一个词项作另一个词项的谓项、换位法、显示法、反例法、特称前提的不定性质和归谬法。这6条标准是可以用种属关系以及种属关系的准确的语言表述来进行解释的,这说明亚里士多德的直言三段论是可以建立在种属关系以及种属关系的准确的语言表述的基础之上的,而此基础正是一个唯物主义的基础。     

基于面向对象(属性)概念格的三支规则提取

三支形式概念分析作为形式概念分析的推广,从正信息和负信息角度对概念进行了更精细和更完整的描述.针对决策形式背景,从三支决策思想的视角研究对象导出三支面向对象概念格(OEO-概念格,Object-induced three-way object-oriented)和属性导出三支面向属性概念格(AEP-概念格,Attribute-induced three-way property-oriented)的规则提取问题.首先,借助三支算子给出OEO-协调以及对象导出面向对象三支决策规则的概念,在此基础上研究其规则与面向对象概念格的决策规则之间的关系,研究结果显示当决策形式背景在OEO-协调和面向对象协调的前提下,两者之间存在包含关系.其次,对偶地,提出AEP-协调和属性导出面向属性三支决策规则的定义,并讨论其与面向属性概念格的决策规则之间的关系,进一步地刻画其与属性导出三支决策规则之间的联系.最后,结合实例详细解释所提出的理论.     

选言推理及其应用

选言推理是前提中有一个为选言判断,并根据这个选言前提的逻辑性质而推出结论的复合判断推理。选言推理也称选言三段论。选言判断有相容的和不相容的两种,相应的,选言推理也有两种:相容的选言推理和不相容的选言推理.一、相容的选言推理是前提中有一个相容的选言判断的选言推理。这种选言推理由于选言前提的选言肢可以同时为真,肯定其中一肢或数肢后,     

概念格在频繁模式挖掘中的应用研究

频繁模式挖掘是数据挖掘研究中的关键问题之一,在关联规则等领域应用广泛.概念格是数据分析和知识表示的一种有效工具,适用于从数据库中挖掘规则的问题描述.分析了概念格在频繁模式挖掘的应用,包括对普通事务项集、序列项集及格、树和图等复杂结构的挖掘;讨论了概念格构造优化的必要性及两类主要的优化方法属性约简和剪枝概念格;并对关联规则提取的方法的优劣进行了基本比较,最后探讨了概念格未来的研究方向.     

粗糙控制可调精度规则挖掘模型与应用

针对粗糙控制中控制精度不高、控制效率低等问题,提出了基于区间概念格的粗糙控制可调精度规则挖掘模型,以降低规则挖掘成本及提高应用效率.模型首先对采集到的原始数据进行预处理,使其转化成布尔型的形式背景;其次,参照一般区间概念格的生成算法进行了粗糙控制背景下的区间概念格的构造;再次,提出可调精度控制规则挖掘算法,建立了基于区间概念格的粗糙控制可调精度规则挖掘模型,最后,模型分析和实例对比验证了模型在提高规则可靠性的前提下,实现了挖掘成本和控制效率的最优化.     

扩展产生式规则的网络故障诊断专家系统

根据自然语言理解和网络故障诊断专家系统的特性,提出了一种扩展产生式规则的知识表示方法.扩展产生式规则将规则的前提、结论和建议分别用概念图表示,是一种混合知识表示方法.在扩展产生式规则知识表示方法的基础上,设计出了网络故障诊断专家系统的模型.该系统具有自然语言接口,可将网络中有关故障问题的汉语语句转换成概念图;经过专家系统推理后,可将推理结果和推理过程转换成汉语输出.为了增强专家系统知识获取的灵活性,在系统中还增加了Apriori关联规则挖掘算法,通过对陷阱协议数据单元挖掘,实现在线知识获取.利用该系统模型已开发出网络故障诊断专家系统原型.     

通信协议测试的形式化技术

自然语言协议的自动形式化是通信协议自动测试的前提,从而也是数据链协议自动测试的重要研究方向.此问题出现已久,但尚无可靠解决方案.隐词形理论和格语法是排岐能力很强的自然语言处理方法.运用此套方法.通过分析协议文本,确定隐词形特征,可编写出隐词形词典、隐词形语法规则以及自动机生成规则.根据这些词典、规则,可生成自然语言协议文本对应的自动机.本方案有助于解决自然语言协议文本自动形式化,实现通信协议测试的全面自动化.     

连续碳酸化分解过程专家优化系统

基于连续碳酸化分解过程机理和长期积累的专家经验,开发了基于专家规则的连续碳酸化分解过程专家优化系统.采用产生式规则表达知识,将规则分为优化规则和安全监控规则,规则集与规则集之间采用有知识搜索,规则集内部采用前向推理,规则前提和结论之间采用哈希算法的有机结合来实现推理机制.在一个双闭环的控制结构里,采用专家规则实现分解率的优化控制推理,并采用前馈方法对大时滞因素进行控制量补偿.应用结果表明,分解率合格率提高4%,平均分解率为94.2%,起到了优化的目的.     

烧结法生产氧化铝生料浆的配料专家系统设计

基于烧结法生产氧化铝生料浆的配料机理和长期积累的专家经验知识,建立了生料浆质量预测模型,开发了适应于生料浆配料生产特点的专家优化配料系统.根据实际生产和配料机理,提出了产生式规则的知识表示形式,结合规则集分类原理,设计了生料浆配料的专家知识库.通过规则集之间的有知识搜索、规则集内部的前向推理、规则前提和结论之间的哈希算法的有机结合来实现推理机制,从而实现专家系统的优化配比计算.实际结果表明:该专家系统优化配比计算速度快、效率高,既提高了生料浆质量,又稳定了生产.     

马来酸类可聚合乳化剂的合成及其在乳液聚合中的应用

以马来酸酐、十二醇聚氧乙烯醚-9(AEO9)和1,3-丙磺酸内酯为原料,采用三步法合成聚氧乙烯醚马来酸单酯磺酸盐可聚合乳化剂,其结构经1H-NMR和IR表征.将可聚合乳化剂与传统乳化剂十二烷基硫酸钠(SDS)分别应用到甲基丙烯酸甲酯-丙烯酸丁酯-丙烯酸的半连续式乳液共聚合,此时发现,使用可聚合乳化剂可以得到更高的转化率,并且乳胶液具有较好的电解质稳定性,乳胶膜的耐水性也得到提高.     

SVPWM控制三电平逆变器

论述了空间电压矢量调制(SVPWM)控制二极管钳位式三电平逆变器的原理与实现方法.提出了确定参考矢量的三个规则,并推导出工作矢量作用时间、输出顺序及描述了中点电位的控制规则.通过采用Matlab仿真,结果证明SVPWM控制三电平逆变器的可行性.     

近似拓扑的并、交、补性质

引入拓扑的并、交、补拓扑,从而定义了近似拓扑的三种并、交、补结构,得出了对于近似拓扑的第三种并、交、补,近似拓扑具有封闭性和构成完备格,且近似算子是拓扑格到近似拓扑格的同态满射的重要结论.还研究了并、交、补拓扑在近似算子作用后与近似拓扑的并、交、补的重要关系.     

基于COM+的分布式WEB应用系统研究

本文在总结COM 及分布式信息管理系统的基础上,对当前流行的分布式对象技术CORBA、COM 、OM/DCOM和MTS的系统结构、工作原理和技术特点等作了深入的探讨;并在对Microsoft公司推出的用来建立三层式分布应用程序的Windows DNA的体系结构剖析的前提下,结合Windows DNA的三层式应用程序开发特点,利用COM 提供的服务,创造性的提出了一种新的在分布式计算环境下开发基于WEB的应用程序的解决方案--基于COM 的分布式WEB应用系统,并以一个学籍管理系统为例,详细论述了系统开发的方法和过程,给高性能系统的设计提供了一条新的思路.     

基于惯性动力系统的加速梯度算法

加速梯度算法是指在仅使用一阶梯度信息的前提下,比传统的梯度下降法有更快收敛速率的算法.针对二阶惯性动力系统,采用三种离散格式:辛格式、显式Euler及隐式Euler,分别对系统进行离散化,得到了三种不同的优化算法,通过构造了合适的Lyapunov函数,证明了由辛格式和隐式Euler得到的优化算法是加速梯度算法.     

钢管混凝土格构式风力发电机塔架的设计与有限元分析

介绍了一种新型风力发电机塔架的设计过程,通过构造措施和内力计算设计了一个钢管混凝土格构式三肢柱风力发电机塔架.运用SAP2000软件进行建模分析,得出该塔架满足强度、刚度、稳定性要求,证实了本文提出的设计方法的可行性.     

基于混合模式的藏文音节切分

通过藏文格助词的接续、结构以及上下文特征,提出基于规则、支持向量机、还原法等三层混合模式的藏文音节切分方法.藏文音节切分是藏文字频统计、分词、词性标注和机器翻译等研究领域的基础,其中藏文紧缩格歧义现象的正确识别、切分和还原是藏文音节切分的难点.经实验,混合模式藏文音节切分的F值为99.97%.     

负关联规则的研究

传统的关联规则是A(=)┐B的形式,将这种形式加以扩展,讨论了A(=)┐B, ┐A(=)B,┐A(=)┐B三种形式,给出了一种负关联规则中支持度与置信度简单有效的计算方法.讨论了同时研究正、负关联规则后出现的矛盾规则问题,提出了用相关性解决这些问题的方法和一种挖掘频繁项集中正、负关联规则的算法,进行了算法的验证实验.实验结果表明,该算法能检测并删除相互矛盾的规则.     

LCS在多步学习问题中的规则集压缩算法

为了解决学习分类元系统(LCSs)应用于多步学习问题时会生成规模庞大、冗余的规则集问题,提出了一种规则集压缩算法.该算法的处理过程包含三个阶段:a.通过特殊的遗传进化操作,在删除一些较弱分类元的同时,增加规则集里泛化能力较强、适应值较高的分类元的个体数目;b.进行冲突消解,消除规则集里相互重叠、相互冲突的分类元;c.对产生的无重叠无冲突的规则集,进行大幅度压缩处理,得出最终的精简规则集.实验结果表明:所提算法能够在几乎不降低系统整体性能的前提下,将规则集极大地约简和压缩,从而产生足够小的规则集,使LCSs的知识表示的冗余度减少,凸显了规则集的易解释、易操作等特性;提高了LCSs在多步学习问题中的应用效果,拓展了其应用范围.     

基于复变函数的量子化分析

根据元素具有周期性的原理,在复变函数中构造了一个具有周期结构的幂函数和对数函数,给出了电子的主量子数n,角量子数l,磁量子数m和自旋量子数ms,以及它们之间的关系.修正了旧量子论中的量子化规则,使结论与实验结果和量子力学相一致.在不引入磁荷的前提下,给出了磁通量子化规则,建立了磁通量子化与主量子数n、角量子数l、磁量子数m和自旋量子数ms的关系.