面向矛盾问题的动态描述逻辑扩展研究

为了使动态描述逻辑DDL具有处理简单矛盾问题的能力,引入可拓集合和可拓变换对它进行扩展.文章提出了一种动态描述逻辑DDLESET,给出了DDLESET的语法形式和语义解释;对传统描述逻辑、模糊DDL和DDLESET中的ABox形式进行了比较分析;研究了DDLESET的基本推理问题,对传统描述逻辑的一致性检测算法Tableau算法进行了可拓扩展.描述逻辑DDLESET盯具有对关联度值分别为正负域的模糊断言的表示与推理能力,并可以为关联度值为负域的断言即不可满足的概念或不可实现的动作提供求解策略,从而使其变得可满足、可实现.     

可拓逻辑（I）

建立了可拓逻辑的数学模型，从而更丰富了逻辑学的内容和方法，为研究人们“可变性”的思维形式和思维规律以及处理矛盾问题，开辟了一条新的途径。     

可拓命题与可拓推理句

进一步研究了可拓命题和可拓推理句,引进了静态真度、可拓真度、静态正确度、可拓正确度的概念,讨论了它们的一些性质,丰富了可拓逻辑的基本概念与理论．     

可拓逻辑和可拓思维对决策树算法的分析与优化

为从理论层次上深度解析决策树分类算法的逻辑可行性,根据可拓理论中可拓逻辑和可拓思维的全新视角,对构建决策树过程中节点的选择、规则提取和预测等步骤,进行理论上的分析和评价.以可拓思维中的菱形思维模式来分析决策树算法中节点的选择,以可拓逻辑中基元变换理论来评价决策树算法的规则提取,以可拓逻辑中的基元发散规则来解释决策树算法的预测步骤,在验证决策树算法各个步骤符合可拓理论处理矛盾问题的思维模式的同时,也对决策树算法的分类结果建立了基于可拓理论的评价体系.     

可拓学的科学意义与未来发展

阐述可拓学研究的科学意义和发展前景：可拓学探索构建连接自然科学和社会科学的桥梁及解决矛盾问题的形式化方法体系;在4个方面对数学基础和逻辑作了较大的拓展,必将导致数学和逻辑产生较大的变革;与其他学科的交叉融合,产生了信息、控制、管理和思维科学等领域中的可拓工程理论与方法．矛盾问题的智能化处理,是一项重要的、探索性强的前沿基础研究,它将产生一批理论成果、应用成果和高水平的智能系统．     

可拓学的重要科学问题及其关键点

提出可拓学中需要重点加强研究的科学问题并指出其关键点,主要包括：基于变换的动态集合论和表征它的函数论,使矛盾问题转化的逻辑,能克服数学模型局限性的形式化模型,事物拓展的规律与方法、全面认识事物的理论与方法和变换的理论与方法体系．对这些科学问题的深入研究,可以为应用研究提供强大的理论和方法支持,使矛盾问题的智能化处理取得突破．     

成衣制造工艺知识可拓表示与实例推理应用研究

激烈的市场竞争,使企业必须满足客户需求进行多品种、小批量生产,导致企业的工艺设计方案急速增长.现有CAPP系统知识化表示不足,使工艺设计人员难以快速找到相似工艺,降低了工艺设计效率.通过对传统的谓词逻辑、产生式规则、语义网络和框架等知识表达方法进行可拓表示,对成衣制造工艺知识进行建模与实例推理应用研究,建立了定性与定量相结合的成衣制造可拓知识表达模型,提出了可拓信息物元相关性和相似性计算方法.把可拓学与实例推理相结合,构建了可拓激励推理模型,并将可拓学中的可拓距运用于该算法,进行实例搜索,根据距值的不同确定实例点在目标区间的位置.将激励算法与物元的可拓性和可拓距相结合,能提高激励算法的经验性,只要实例库中存在满足求解的相似工艺方案,则通过大量的应用和系统的自学习功能,可以拓展实例库,大大提高工艺设计效率,从而进一步增强CAPP系统的智能性及实用性.     

基于可拓逻辑的机械装置概念设计

概念设计是求出在一定约束条件下满足功能要求的设计方案,概念设计的过程即问题求解的过程．可拓模型为表示机械装置提供了一条简洁规范的途径,物元可以表示机械零件的基本特征和参数,零件之间的联接装配关系可以用关系元描述,事元则可以表示机械装置的运动状态．利用基元的可拓变换思想可以辅助设计中矛盾问题的解决以及产生新的设计方案,它给机械创新设计提供了一条新的途径．     

基于物元可拓性的物无阿拓域

在实际问题中,集合的元素有许多其他特性,因而可用物元表示元素,将一般可拓集合转化为物无可拓集合,物元具有可拓性,每一种可拓性都可以确定一种变换,在一定的条件下,这种变换可以确定物无可拓集合的可拓域,从而为确定一般可拓集合的可拓域提供了依据,通过研究物元的可拓性与物元可拓集合的可拓域之间的关系,得到了两种确定物元可拓域的途径。     

可拓建筑策划数据挖掘理论探讨

可拓建筑策划数据挖掘是运用可拓数据挖掘为可拓建筑策划所进行的数据挖掘.可拓建筑策划数据挖掘能够挖掘与可拓变换有关的建筑策划知识,从而为可拓建筑策划提供知识支持.本文初步论述了可拓建筑策划数据挖掘的定义、核心、特点及类型,试图构建可拓建筑策划数据挖掘的理论框架,完善可拓建筑策划的理论与方法,也丰富与发展了建筑策划理论.     

蕴函逻辑函数和蕴函逻辑门的研究

本文引出蕴函逻辑函数和蕴函逻辑门的新概念,利用蕴函逻辑门作为大规模数字集成电路的基本单元可以简化电路,减小电路的功耗。文中列举了采用蕴函门实现的各种基本逻辑电路,并简要叙述它们的优缺点。     

论逻辑语言的现代化转向

传统的逻辑语言具有缺乏一致性、准确性和全面性的特点,因而在应用中受到较大的局限。而现代化的逻辑语言不仅对语言内容与语言形式作出区分,还对对象语言与元语言,以及语法学、语义学、语用学等语言层次上作出区分。因此,对逻辑语言的现代化转向的重新追溯和审视,将使人们更易于理解现代逻辑语言与传统逻辑语言的差异,并且对于逻辑学的发展和应用具有深远的理论意义和实践意义。     

论哲学的逻辑建模

哲学的逻辑建模是与我们的直觉和实在经验相符合,能够对一定范围的哲学问题提供答案的形式理论框架。广义地说,哲学的逻辑建模是建立在逻辑-数学基础上,用于描述和分析哲学概念、哲学论题和哲学推论的形式技术。哲学不仅从逻辑-数学模型获益,而且它本身也提供哲学模型。     

关于现代逻辑教学中若干问题的思考

在现代逻辑的教学中,我们已经获得了不少的经验,也有过不少教训。这些经验和教训可以概括为:应当坚定不移地走逻辑教学现代化之路;树立正确的逻辑观,促进逻辑教学的改革;构造简明易学的逻辑教学系统,普及现代逻辑的基本知识;强调逻辑学的应用,培养逻辑精神,突出逻辑学的社会功能。     

解读逻辑与翻译之关系

本文从逻辑与翻译的关系入手,解析了翻译过程中理解原文、分析结构、表达准确、检查译文与逻辑思维的密切关系。     

模糊粗糙逻辑的语义

通过将粗糙逻辑模糊化,建立了模糊粗糙逻辑系统WR．然后在该系统中定义了模糊粗糙命题的运算,给出了该系统的语义及其广义重言式的概念。     

略论逻辑与修辞

通过对一些修辞手法和辞格的逻辑基础进行分析,从古典的修辞理论的角度进行了论证, 明确了逻辑和修辞之间的关系.即:逻辑不仅可以管理修辞,也可以帮助修辞,逻辑是修辞的基础,修辞要服从逻辑.两者是矛盾的统一.     

面向对象的逻辑程序设计

逻辑程序设计是通过使用逻辑规则来解决问题，面向对象的程序设计是通过定义与使用对象的方法来解决问题。逻辑程序设计使开发者集中精力于问题而面向对象的方法提倡代码重用。面向对象的逻辑程序设计可结合这两种设计的优点。先简单介绍prolog程序设计，然后重点论述面向对象的Prolog程序设计方法。     

藏族量理摄类学四句判断法简述

根据藏文第一手资料,在系统爬梳四句判断法理论传承的基础上,阐述本论题的基本概念和主要特点,进而解释和分析其学术价值以及理论意义,旨在传承人类优秀文明遗产,为当代人所用。     

GNY逻辑系统可靠性分析

网络安全在信息时代非常重要,而网络安全的关键问题之一是安全协议的安全性。人们提出了多种安全协议的分析方法,BAN类逻辑是其中重要的一种,GNY逻辑就是一种BAN类逻辑。而认证逻辑本身的可靠性关系到分析结果的正确性。文章通过对GNY逻辑的可靠性分析,指出GNY逻辑是一个不可靠的认证逻辑系统。