基于二进制可辨矩阵的知识约简(待续)

对决策表的二进制可辨矩阵^[11]进行先期化简的算法^[10]可大大减少知识约简的操作对象，大大加快知识约简的速度，是一种很有前途的知识约简的新方法．但目前的二进制矩阵的化简规则不是有效完备的，在有些情况下求出的不是的简(不有效)，在有些情况下有的约简不能由化简后的矩阵求出(不完备)．本将严格地研究二进制矩阵化简的有效完备性，并给出求最简有效完备矩阵的算法，从而使这种很有前途的算法有坚实可靠的理论基础．     

完备布尔代数的保序性和无穷分配性

利用布尔代数关于确界的概念，进而给出布尔代数完备性定义，最终解决完备布尔代数的保序性和无穷分配性。     

一种确定型有穷自动机的化简算法及其实现

有穷自动机的化简是一个十分重要的问题,在等价的前提下,自动机的状态越少,意味着越节省软件和硬件资源。本文根据等价性原理,在等价类等概念的基础上,给出了确定型有穷自动机的最小化算法,并给出了该算法的程序实现。     

部分四值逻辑中L型函数集与拟线性函数集之确定

根据部分k值逻辑的完备性理论，给出了部分四值逻辑中L型函数集与拟线性函数集，从而推进了P4^＊中准完备集之最小覆盖的完全解决．     

利用维特比算法解调GMSK信号

为了扩大高斯最小频移键控(GMSK)技术的应用范围，介绍了二进制GMSK信号带宽占用率、数据预编码方案和利用维特比算法相干解调二进制GMSK信号的调制解调方法，给出了不同BT乘积情况下解析功率谱密度和模拟误码率结果，定量分析了邻信道干扰结果。结果说明利用维特比算法解调GMSX信号可以在满足接收机性能的基础上简化设计。     

基于语义赋值的有穷集合上二元关系性质的判定算法

先将关系的几种性质形式化,再利用语义赋值给出关系性质的判定算法,证明了该算法的可靠性与完备性;分析该算法的复杂性,它们都是多项式复杂的。最后通过实例给出了该算法应用,并用VC程序语言得以实现。     

布尔表达式化简的一种算法实现

布尔表达式的化简就是通过某种手段（如真值表、卡诺图、公式法等）,将一复杂的布尔表达式转换成一个等价的简单的布尔表达式。本文给出了一种计算机自动实现的布尔表达式的化简方法。将常规表达式中的项改造成含有每个输入变量的多维体,利用多值映射函数。实现化简,从而降低了多输入变量布尔表达式化简的工作量,本算法经随机测试,证明是一个行之有效的好算法。     

布尔表达式化简的一种算法实现

布尔表达式的化简就是通过某种手段（如真值表、卡诺图、公式法等）,将一复杂的布尔表达式转换成一个等价的简单的布尔表达式。本文给出了一种计算机自动实现的布尔表达式的化简方法。将常规表达式中的项改造成含有每个输入变量的多维体,利用多值映射函数,实现化简,从而降低了多输入变量布尔表达式化简的工作量。本算法经随机测试,证明是一个行之有效的好算法。     

知识时态逻辑有界模型检测中的完备性(英文)

为解决限界模型检测的完备性问题,研究了完全界的计算问题,给出了完全界的上近似计算.首先,在线性时态认知逻辑中引入过去时态算子,得到新的时态认知逻辑LTLPK,从而可以紧凑自然地描述系统的可靠性规范;其次,依据图结构理论,设计了一套深度优先算法计算出系统的最大可达深度和最长无循环路径的长度;最后,以定理的形式给出了最大可达深度和最长无循环路径的长度与完全界的关系,得出了完全界的一种上近似估算.所做工作有效地解决了限界模型检测中的完全界计算问题,从而保证了限界模型检测的完备性.     

不完备信息系统的矩阵约简算法

粗糙集理论是用来解决不确定性的新的数学工具，而知识约简是粗糙集理论中一个重要的研究课题。J．W．Guan等提出了信息系统下的矩阵算法。章则是进一步讨论不完备信息表下的矩阵约简算法，实例表明该算法是有效的，具有一定的应用价值。     

多主体自认知逻辑系统

认知逻辑处理的是关于知识和信念等认知概念的逻辑性质和关系的问题,多主体的自认知逻辑系统,是在单主体唯一知道逻辑系统的基础上进行的扩充。现将单主体的K45系统扩充为多主体的K45n系统,并介绍了该系统的语法规则和稳定集以及典范模型的语义和证明理论,同时也对该系统的可靠性和完全性进行了证明。     

以目的与背景知识为双条件的逻辑AKC

首先，我们构造以目的和背景知识为双条件的条件句系统AKC，给出它的一些证明论结果。其次，我们引入有序邻域语义，给出描述AKC的特征公理和推理规则的框架条件，证明AKC相对这些框架条件是框架可靠的。最后，我们证明AKC相对这些框架条件也是框架完全的。     

主体认知正则活动的逻辑刻画

研究了主体对正则复合活动认知的性质。首先,分析了文献中对主体认知活动的逻辑刻画及其存在的问题;然后,提出刻画主体认知复合活动的逻辑系统KRAL,并证明了该系统的可靠性和完全性。     

衔文化生态 筑理论新巢——读《文化生态视镜中的中国报告文学》

丁晓原的报告文学理论专著《文化生态视镜中的中国报告文学》。理论体系缜密、完整,史料坚实,资料丰富,论述精准深刻。该书构建了全新的、独立的报善文学理论体系。     

厘清形式系统的几个概念

一致性、可靠性、完全性、不完全性是形式系统的基本概念。在厘清上述概念的基础上,对其间相互关系的梳理使我们明晰了哥德尔完全性定理和不完全性定理的正确含义,以及其成立所需的条件。最后,依据上述分析,指出形式系统存在漏洞和局限性。同时,也看到了形式化方法的弊端和形式化的限度。     

语境同义性逻辑

众所周知,基于可能世界语义的内涵逻辑由于对意义的刻画过于粗粝而导致了所谓的"超内涵问题".为了解决超内涵问题,出现了各种超内涵逻辑,其中由Suszko提出的带等词的命题逻辑(SCL)是超内涵逻辑中最基本的一种.本文是对SCL的精炼,其动机是语境同义性论题(CST).该论题认为,同义性标准具有语境依赖性.基于认知语境主义,我们给出了CST的一个论证.通过将,SCL中的二元等词修改为一个三元结构,用来表示两个陈述相对某个语境表达同一命题,我们给出了CST的希尔伯特式公理系统.我们证明了该系统相对一个代数模型类是可靠的和完全的.该代数模型的论域由命题构成,同时附带一组命题上的全等关系,用以刻画相对于语境的命题同一性.我们运用该逻辑部分解决了分析悖论这一困扰逻辑学家多年的问题.与我们之前的基于相同动机的论文[17]相比,本文给出的形式语言更加丰富,从而能够表达不同语境之间以及不同语境的同义性之间的关系.     

一类命题逻辑的一般弱框架择类语义

命题逻辑的一般弱框架择类语义是相干邻域语义的变形,其特点是：采用择类运算来刻画逻辑常项;语义运算与逻辑联结词之间有清晰的对应关系,可以从整体上处理一类逻辑,具有普适性。本文将这种语义用于一类B、C、K、W命题逻辑,包括相干逻辑R及其线性片段、直觉主义逻辑及其BCK片段等,并借助典范框架和典范赋值,证明了这些逻辑系统的可靠性和完全性。     

单主体自认知逻辑系统

摩尔提出的单主体自认知逻辑系统,主要包括基本思想、自认知系统的语言以及稳定理论和一致性,以及S5系统及其等价式的证明。而莱维斯克将摩尔的系统扩充为单主体唯一知道逻辑,并阐述了其语形和语义理论,我们重新修正了莱维斯克的唯一知道逻辑系统,并且提供了一个转换的语义解释,通过对转换语义的使用,简化了修改后的系统的可靠性和完全性的证明。