从泛系观看人工智能的几个基本问题

本文从科学历史鸟瞰角度分析了人工智能的发展以及它的任务，并提出用泛系哲学逻辑作为人工智能新的理论框架，最后，从泛系观角度展望了人工智能的前景。

计算机科学中的几个泛系关系(二)——面向对象程序设计中的继承关系

本文从泛系的角度探讨了面向对象程序设计中继承关系的引入,对继承关系进行了泛系分析;然后讨论了伴随继承关系而产生的几个泛系模拟关系。

计算机科学中的几个泛系关系(Ⅰ)

本文从泛系观的的角度揭示计算机科学中的各种关系,从而能更深刻认识计算机科学的系统特征。

缺省模态逻辑

本文在Ｒｅｉｔｅｒ１９８０年提出的缺省逻辑的基础上，将缺省条件视为获取知识的背景知识与所得到的知识同等地加以考虑，提出了一种缺省模态逻辑。它是一种非单调逻辑，并且具有在Ｒｅｉｔｅｒ的系统中所不能保证的两个重要性质：扩充的存在性和非单调性。

模态逻辑中的不变性和非线性性(英文)

定义了集合和关系之间的复合运算※、右除／和左除＼。讨论了模态逻辑中关于※、／、＼运算对于子二元关系的不动子集和不变性、泛浑沌、泛引子和泛怪引子问题。不动子集是用来描述稳定性、周期性、不变性等等；而泛浑沌、泛引子和泛怪引子是用来描述非线性问题中的分叉、突变和混沌的。不变子集是一类特殊的单值化问题，一旦单值化条件破坏，就导致泛混沌、泛引子、泛怪引子的出现。

泛系理论与计算机科学——一种自由探索性基础研究

本文从泛系理论出发分析研究了计算机科学发展的历史过程。并从泛系本体论、泛系相对性与计算机科学与技术约基因关系，展望了计算机科学发展的方向。这也是泛系研究的新方向。

非确定信息系统中知识算子的语义

在基于知识的计算机系统中,如何对知识进行推理的方法是很重要的,从粗略集合出发,可以给出知识算子的定义,在[1]中,E.Orlowska 给出了不可辨明关系是等价关系的情形,由于我们一般情况下考查的不可辨明关系不具有传递性,我们考查了不可辨明关系是半等价关系的情形,重新给出了集合的上、下逼近的定义,给出了相应的知识算子,以及一组当事人的公共知识和合知识的情形,我们的结果是 E.Orlowska 的推广。

关于Prolog代数方程组的解

本文建立一种对既约方程组求解的图上作业法.证明了:既约方程组只有有理解当且仅当它的解唯一,同时提出了通解图的概念,通解图可以从既约方程组有效地构造,并且从通解图上容易求出它的所有解,看出这些解之间的关系,通解图是全体解的一种有穷表示.

泛系哲学逻辑和人工智能

不管什么学科都是在特定的物质运动层次上展开对客观世界某一方面的研究,人工智能(AI)这门年轻而又处于前沿的学科在对人类的智能、人类的认知行为这一人类本身主观世界,主观世界与客观世界的关系(认识和改造),这样一个侧面的研究中,必须寻求一种正确的哲学思想为指导.几十年来AI研究之所以走过不少弯路,除了其本身的困难性之外,研究方法与指导哲学上也存在问题,这是在AI研究中值得注意的问题.在经过近十年的人工智能研究的紧张角逐之后,西欧科学工作者出现了寻求东方哲学的心理,日本在宣布完成第五代计算机计划之后,在更新的一代计算机计划中提出了“soft logic”(软逻辑)的理论需求.

泛系论识:关于计算机科学技术若干问题的思考

分析研究了泛系本体论,泛系相对性与计算机科学的关系。在泛系理论与计算机交叉科学领域对科学技术与认识论、方法论的联系、转化进行了探索。这也是泛系理论与计算机研究的新方向。

GIS线目标间拓扑关系描述的4交差模型

提出了利用连通度不变量来区分单个线目标上具有不同拓扑特性的点,进一步定义了线目标的端点集和内点集。在此基础上,建立了IR1和IR2中线目标间拓扑关系的基本模型。该模型能有效地表达线目标间拓扑关系的变化特性。

泛系分析:数学·方法论·相对论·辩证思维

基于对广义系统、泛导、泛对称、泛箱原理、泛系相对性提出了新的分析模式与新的相对数学化的简化强化的定义 ,发展了泛系方法论与泛系相对论的框架与理法 ,具体内容涉及 :相对普适的数学化的泛系 ,2 0 0类对偶 ,对偶转化 ,泛对称转化 ,泛系辩证 ,八畴方法 ,泛系数学方法 ,广义量化 ,逼近转化原则 ,泛等价定理 ,供求分析 ,思维实验 ,广义灰色系统 ,等等·

基于差别矩阵的属性约简完备算法

分析了传统属性频率函数作为属性重要度的不足,重新定义了属性重要度,提出了一种基于差别矩阵属性重要度的属性约简完备算法,即CRABSA(Complete Reduction Algorithm Basedonthe Significance of Attribute)。该算法采用迭代思想,在每次迭代过程中根据属性重要度SGF(a)选择必要的条件属性加入约简R中。由SGF(a)的定义可知,算法能确保在大多数情况下能得到决策表的最小约简。分析了算法在最坏情况下的时间复杂度,给出了该算法相对Pawlak约简的完备性的证明。

泛系相对性：苏轼庐山悟——一种认知模式

本文通过数理逻辑和计算机科学中的递归定义引入了对苏轼庐山悟的阐述,从而对人们的一种认知模式和泛系相对性进行了探讨.它也表现了系统的另一类复杂性,客观事物是复杂的,人们对于客观事物的认识关系也是复杂的.

GIS线目标间拓扑关系描述的层次方法

拓扑关系是一种相对较弱的空间目标位置约束,已广泛应用于空间查询、分析和推理等实际应用中。本文主要研究IR2中两个线目标间拓扑关系的描述和区分方法,采用的基本思路是将两个线目标间的关系描述为若干个基本关系的组合。在拓扑关系描述和区分时,提出了具有不同分类能力的拓扑不变量,分别是:维数、分离数、交分量类型和交分量全序,并依次建立了相应的分类方法。分析发现,在IR2中的两个线目标间具有17种潜在的基本关系。其中的11种是描述复合线/线关系的基本构成单元。

高效的不完备信息系统知识约简算法研究

文章基于粒度和粒度计算的方法,对不完备信息系统的属性重要度和相对于决策属性的重要度做了定义,在此基础上形成了基于粒度方法的不完备信息系统知识约简算法,通过实例证明了这种方法的有效性。文章分析了算法的时间复杂度,并同粗糙集算法进行了对比。

基于细分关系的决策表求核与约简算法

知识约简是粗糙集理论的核心问题之一。在细分关系下对粗集决策表的核与约简进行了讨论,给出了基于细分关系的求核算法,在此基础上提出了两种决策表约简算法:基于格Hasse图的宽度优先算法和RKCC算法,并结合归纳属性约简算法将这两种算法进行了比较分析。

基于最小描述长度的不完备数据处理

不完备数据是造成信息系统不确定的主要原因之一,对数据挖掘、知识发现等造成了困难．本文提出一种基于最小描述长度原则的不完备数据处理方法,实例证明这种方法是有效的．Rose工具的规则提取结果证明此方法在规则的集中性和支持度方面优于粗糙集辨识矩阵方法和Conditioned mean completer方法．

泛系兵法研究(Ⅴ):经济·人才·诡道·社会·风险

本文论述与兵法、权谋、对策、决策、运筹有关的经济学、风险学、诡道学、人才学与社会学的泛系研究以及权谋运筹的白道黑道理法。具体内容包括前言;泛系新理法;泛系经济学与泛系社会学的一些理法;大经济的泛系网络;泛系相对论:乏定客观·层次排序·风险观控;泛系决策;军工与高技术投资释例分析。本研究系列也是发展中的泛系对策论、泛系经济学的论纲。

做好“计算机操作系统”专业课程建设,培养学生创新能力

本文就如何做好"计算机操作系统"专业课程建设,从以知识单元为模块,分阶段"领航员"式教学;注重科学性与工程性并重,加强课程标准化建设;搭建感兴趣的OS实验平台,培养学生的创新能力和合作精神等多个层面进行了阐述。