一种改进的回答集程序更新方法

回答集程序设计是一种描述性的程序设计范例,目前已经成为知识表示和推理的一个有力工具。在实际应用中,知识库中的信息可能发生动态改变,因此需要及时对知识进行更新。通过回答集程序的更新可以实现知识库的更新,并确保更新结果的一致性。J.P.Delgrande的程序修正方法可以实现回答集程序的更新,然而该方法中存在对原程序过度修正的问题。针对该问题,提出一种新的方法来更新回答集程序,该方法通过引入优先级和惯性规则的机制,实现了回答集程序的更新。实验结果表明,该方法克服了过度修正的问题,效果良好。最后,以一个实例说明了该方法的应用。     

析取回答集程序设计结构化测试方法

针对析取回答集程序的结构化测试基础理论匮乏的问题,系统化地提出析取回答集程序结构化测试覆盖的概念。首先,定义针对析取回答集程序的测试用例,确立析取回答集程序的主要测试实体为程序中的逻辑规则;其次,通过对规则的头、规则的体、规则的集合等不同测试目标构建了规则覆盖、定义覆盖、环覆盖等基本概念来模拟结构化测试中的语句覆盖、分支覆盖等概念;最后,提出了析取回答集程序的测试覆盖率计算公式,并举例说明各种覆盖下的覆盖率计算方法,并讨论了析取回答集程序的部分特殊性质和关键指标。     

基于用户自添加规则的自动推理程序

基于前推搜索算法的自动推理软件近年来相继出现,该类软件利用几何定理可读证明的特性,和用户进行交互解题.但这类软件都是将推理的规则作为内置函数处理,用户只能选择软件提供的规则进行推理.设计了用户可添加规则的算法,即用户可以将自己的知识作为规则添加到软件中来进行推理.该算法已被编制成程序.     

Richard Stallman:自由来自道义

当人们要问:这个社会使用软件的规则是什么?考虑这个问题的通常是软件公司的人,他们完全是出于自私的角度来考虑这个问题的。他们为了管制住别人不从他们身上拿走钱而制定这个规则。早在70年代,我就关注这个问题。当时我们这些程序员们是在一起合作共同分享这些软件成果。正因为如此,我得出了完全不同的结论。我们的社团是这样工作的:我们会从斯坦福获取最新的程序软件,或者一些源代码去写一些更好的程序,来解决一些原有的问题。或者你可以用那些源代码去实现你的想法,写一段更好的程序,甚至你可以切下一段程序用于你工作的另一段程序上。人们把这个称为软件的再利用。这样你可以把一段程序用于很多方面。我们并不针对任何人,相反我们是为所有人工作的。我们这个社团包括MIT的     

不精确推理实现的问题和求解

本文先揭示现有的不精确推理模型在实现方面所存在的共同问题,然后分析我们开发并在本文得到了进一步改进的“规则架 规则体”的知识表示模式对克服这些问题所能体现的独特优点。     

基于粗糙集数据分析的可拓推理机制研究

目前可拓变换推理中的可拓变换主要依靠历史资料、人为指定或过往经验来进行,这大大制约了可拓变换在智能化推理中的应用。为解决此问题,提出了一种基于粗糙集数据分析的可拓推理机制。该机制首先采用粗糙集对数据进行分析来获取分类及规则知识,然后利用这些知识来指导可拓推理,从而实现了可拓变换及推理的可控性和高效性,为可拓推理的智能化应用莫定了基础。     

棉纺质量控制专家系统的设计

主要研究棉纺质量控制专家系统的体系构成、棉纺质量控制知识的表示策略及知识库的设计。知识库的设计是该系统设计最重要的工作,包括基本数据库和规则库两方面。知识库的核心内容之一是基本数据库,用来存放质量问题的描述、产生原因、防止和处理办法等。规则库由质量问题库、质量问题影响因素、质量问题处理措施三个库构成。知识库的设计方法是先将棉纺质量控制知识抽象成概念、事实和规则,然后用关系数据库来存储这些知识。在此基础上构建一个基于产生式规则的专家系统。本系统采用基于规则的数据和信息驱动正向推理为主,辅之以目标驱动控制策略,算法采用深度优先。合理的知识库设计和有效的推理方法使得该系统效果较好。     

棉纺质量控制专家系统的设计

主要研究棉纺质量控制专家系统的体系构成、棉纺质量控制知识的表示策略及知识库的设计.知识库的设计是该系统设计最重要的工作,包括基本数据库和规则库两方面.知识库的核心内容之一是基本数据库,用来存放质量问题的描述、产生原因、防止和处理办法等.规则库由质量问题库、质量问题影响因素、质量问题处理措施三个库构成.知识库的设计方法是先将棉纺质量控制知识抽象成概念、事实和规则,然后用关系数据库来存储这些知识.在此基础上构建一个基于产生式规则的专家系统.本系统采用基于规则的数据和信息驱动正向推理为主,辅之以目标驱动控制策略,算法采用深度优先.合理的知识库设计和有效的推理方法使得该系统效果较好.     

基于NXOpen的验证规则定制

针对知识熔接(KF)函数功能不全面,影响Check-Mate验证规则定制的问题,提出了基于NXOpen二次开发技术定制Check-Mate验证规则的方法。对NXOpen的编程接口进行了综述,介绍了使用NXOpen实现验证逻辑,分别使用C++、C#、VB .NET及Java程序设计语言建立验证规则的程序库,用KF封装程序库中的函数,得到接口统一的KF函数。通过NXOpen二次开发技术建立验证规则类,并调用自定义验证规则的方法,从而提高了创建验证规则知识库的能力,有助于增强产品设计标准的执行。     

正则表达式中的与或非解析

在编写处理字符串的程序或网页时,经常会有查找符合某些复杂规则的字符串的需要。正则表达式就是用于描述这些规则的语法。本文通过与、或、非这三种逻辑运算来阐述正则表达式的正确使用方法。     

一种电子商务网站评价知识规则挖掘方法

电子商务网站评价知识规则是对电子商务网站的运行情况和工作质量进行评价的重要依据,优质、合理的知识规则将使评价更加公正、更加客观。在分析并建立电子商务网站评价指标体系的基础上,将一种改进的遗传算法用于电子商务网站评价的知识规则挖掘,提出了一种基于遗传算法的电子商务网站评价知识规则挖掘方法。该方法利用选择算子、助长算子、交叉算子和变异算子来产生新的知识规则,使用正确度、覆盖度和可信度来对知识规则进行评价。实例表明,这种方法在进行知识规则挖掘时是完全可行的和有效的。     

DATALOG程序的组及其应用

为了提高DATALOG程序自底向上计值的效率，本文提出了把DATALOG规则分成若干个组，对这些组可以给出一个拓扑序列，而对同一个组内的各个规则可以给出一个激发序列，以此来有效地控制DATALOG程序自底向上计值时对规则的调度，从而提高计算效率．这一技术可以应用于传统的各种自底向上计算方法，本文绘出了半朴质（Semi-Naove）算法和良基模型（Well-Founded）的交替不动点算法（AlternatingFixPoint）的改进．改进后的算法比原算法在时间和空间效率上都有较大的提高．     

完备地实现C＋＋多态性

多态性是C＋＋的一个重要特性。程序员可以通过使用C＋＋的多态性来编写灵活多样的程序,但是由于多态性比较复杂,程序中可能会隐藏一些漏洞。为了避免产生这些漏洞,MISRAC＋＋推荐了一些编程规则。     

局部车流模糊模型研究

随着车辆智能控制系统（AVCS）的研究开发,基础的局部车流特性研究变得十分迫切,针对车辆跟随传统车流跟驰理论存在许多的不足,文中分析了跟驰模型存在的问题,提出采用模糊模型来建立局部车流跟随模型,并针对以往未能解决的隐性知识问题,提出了采用输入-输出数据对来设计模糊规则,应用权重来解决规则冲突问题并简化规则库。最后通过实例验证了模糊模型较之跟驰模型的优势。     

一种近似概念格及其在知识发现中的应用研究*

针对经典概念格基于完备形式背景,在缺值形式背景下不能很好的获取关联规则知识的问题,在偏小近似形式背景的基础上,提出了一种τ-近似概念格来解决信息不完备背景下的知识发现问题,利用它能够获取精度和可信度较高的关联规则知识。文章对τ-近似概念格的构建及其关联规则提取过程进行了详细描述,并将其与偏小近似概念格和偏大近似概念格这两种解决策略进行了案例分析对比,验证了它的可行性和有效性。     

合成语言FOPL基于方程逻辑的语义

程序设计语言ＦＯＰＬ是一种同时支持函数式程序设计风洛和面向对象程序设计风格的合成语言．本义介绍了ＦＯＰＬ的类型思想，并讨论了表达式纯洁性判断规则、表达式附类型规则及表达式等价判断规则，这些规则描述了ＦＯＰＬ基于方程逻辑的语义．     

二进神经网络逻辑关系判据及等价性规则提取

二进神经网络中提取知识主要体现为对输入输出逻辑关系的提取,而逻辑关系的表达方式分为蕴含性规则和等价性规则文中对比了蕴含性规则和等价性规则的差异;以KT方法为例,讨论了蕴含性规则在表达二进神经网络内在知识时,对某些具有明确逻辑意义的二进神经网络,并不是最清晰的表达方式.对这些逻辑关系,采用等价性规则可以简洁清晰地解决问题,所以对于二进神经网络神经元表达的逻辑关系建立可能的等价性规则提取方法是有意义的.CH判据是一种提取等价性规则的方法,但CH判据是充分性判据,对二进神经元的权系数有约束条件,因此不适用于任何学习算法的学习结果.为解决这些问题,文中研究了二进神经网络表达几类等价逻辑关系的充要性判据,并根据这些判据提出了提取等价性规则的WTA方法.在使用WTA方法时,必须预先对二进神经元进行必要的剪枝.文中证明了剪枝定理,并通过二个例子说明了用WTA方法进行规则提取的过程.     

搅拌设备化工预设计专家系统的黑板系统结构

传统的手工设计混合设备的方法十分耗时且容易出错,因此实现设计的自动化和智能化是非常用意义的开发了搅拌设备化工预设计专家系统系统。详细介绍了专家系统的结构,系统采用两层黑板结构模型和多种知识源相结合的策略,来处理解决复杂的协同问题。知识源包括设计规则库、设计公式库和机械设备标准库,内部黑板主要是为规则库的推理机存储信息服务,而全局黑板系统则是整个系统的数据共享和信息交换中心,并采用层次框架结构进行表达,将人工智能技术与普通设计程序相结合,可以在设计过程为用户提供系统的帮助和指导,来实现搅拌设备设计的自动化和智能化。     

Bayes公式在专家系统中的应用

本文讨论了主观Bayes方法在专家系统中的应用.提出了适合于规则基中知识表达方法的Bayes公式的修改方案,以及在此基础上建立其他知识量度的基本规则.讨论系统推理中量度测量和计算的问题.最后结合一些例子说明这些方法的应用.     

程序、法律与黑客

现代信息社会,计算机技术飞速发展,计算机的应用深入到社会大大小小的各个方面。计算机是由计算机程序来控制运行的。信息社会里计算机的广泛应用,使得信息社会实质上变成了由计算机程序来控制运作的程控社会。计算机程序无非就是计算机系统正常运行时必须遵守的一系列规则和方法,程序规定了软件的功能与操作的步骤,人们通过程序规定的步骤去操作计算机,可以实现相应的功能,得到相应的结果.达到我们的最终目的。计算机运作的方法和规则,就是计算机程序,如果程序出了问题,整个社会也会出现大乱子,千年虫问题即是一例。程序安全至关重要千年虫问题的出现,不单单影响到计算机的计时错误。还影响到了社会的各个