“中介逻辑”的特征问题

近来,朱梧槚、肖奚安等同志发表了一个称为“中介逻辑”的形式命题逻辑系统MP(见文献[1,2]及其所附参考文献),引起了国内一些学者与青年学生的注意。朱、肖等同志在系统内做了大量的形式推演而迄今未能给出系统的语义,并就此认定他们的中介逻辑“与通常的三值逻辑或任何多值逻辑系统是不同的”,是“精确性经典数学和未来的、处理模糊现象的不确定数     

第二届全国多值逻辑学术讨论会在重庆大学召开

由中国计算机学会多值逻辑学组举办的第二届全国多值逻辑学术讨论会于1987年3月9～12日在重庆大学召开。会议筹备期间共收到来自全国各地的论文84篇,经认真评审确定了71篇为会议论文(作者82人)。与会代表分别在16个分组会上就多值逻辑的数学基础、泛系分析、中介逻辑、逻辑设计与分析、电路设计与分析以及多值逻辑的应用等6个专题交流了近两年的研究成果。一些知名专家为大会作了特邀报告。大会还专门组织了关于“如何发展我国多值逻辑     

三值b_j图及其应用

由于人以视觉形式感受大部分信息,所以图形表示及图形处理方法被广泛采用于各类问题的研究中。逻辑代数的研究也同样如此。 在二值逻辑中,采用的图形有K图,b_j系数图及R_i谱系数图。在多值逻辑的研究中,往往推广二值逻辑中的研究方法。然而,由于多值逻辑的复杂性,至今还仅局限于多值K图。本文旨在提出三值b_j系数图,并介绍其在逻辑综合中的应用,为多值逻辑的研究补充一种图形处理手段。     

孕育中的光计算机

1984年3月21日,英国皇家学会在英国举行了研究光的双稳定性和光子逻辑的第一届欧洲学术会议,会议对一种光逻辑器件在现代科学技术发展过程中的潜力作了进一步的估计,会议总结了过去十几年来在这一领域中的辉煌成果,并拟定了今后的发展方向和宏伟规划,国外的一些分析家认为,这次会议预示着一种全新的光计算机将崭露头角,这种以光逻辑器件为基础的新型计算机,是传统的电子计算机、甚至是     

关于可补格的一种分类问题

本文讨论可补格的一种分类问题,它是由于考虑多值逻辑的判定问题而引起的.下面先谈一下它的逻辑来源,但这个问题也可看作是从格论本身自然提出的.在多值逻辑中,命题或谓词的真假值可以是一个格中的元素.在我们所讨论的狭义谓词演算良构式(即合式的公式)中,出现的逻辑符号限于命题连接词∧,∨,～及量词.真假     

中介公理集合论系统(Ⅵ)——逻辑数学悖论在MS中的解释方法

本文分析讨论历史上的逻辑数学悖论在MS 中的解释方法.亦即我们将在这里证明一批引理和定理,借以指明历史上种种逻辑数学悖论均可在MS 中排除.其中包括过去在ZFC中无需解释的、著名的多值逻辑悖论和文[22]中给出的无穷值悖论.因而本文的结果表明,MS 在其相容性问题上的成效,相应地囊     

基于证据语义的算子模糊逻辑

70年代知识工程的出现与发展,使得不确定性推理成为人工智能领域的研究热点,从而形成了诸如证据理论、可性度理论、模糊推理理论等研究课题.刘叙华首次研究了算子模糊逻辑(见文献[2]),提出了两种模型,即OFL(算子模糊逻辑)和AOFL(结合算子模糊逻辑).陆汝钤指出了OFL和AOFL在证据语义下的不合理(OFL和AOFL是基于可信度语义的),并提出了基于证据语义的算子模糊逻辑EOFL,MOFL和AOFL,本文将其统称为EOFL.本文将介绍EOFL系统及其在证据语义下的合理性.     

泛系方法论、泛系逻辑与智能科学的一些问题(续)

四、逻辑值与泛权的泛系逻辑分析逻辑值本质上是对命题或谓词的广义赋权.相对于通常的数值来说,它是一种泛权.当泛权空间W 为布尔二值代数(或其硬部)B_2或{真,假}时,相应的逻辑即为二值逻辑,当W多于二元或为非传统B_2时,即为多值逻辑;     

L~*中的典型赋值中介与公理系统的简化

出于为模糊推理奠定逻辑基础之需要,文献[1]提出了形式系统Ｌ.基于此文献[2～4]从语义的角度为ＦＭＰ及ＦＭＴ建立了严格的逻辑依据.为从语构的角度开展进一步的工作,本文首先证明了Ｌ中Ｆ(Ｓ)的典型赋值中介[Ｆ]的结构定理,然后将Ｌ中的14条公理作了简化,得出了仅含9条公理的等价系统Ｌ°.设Ｓ是无限集,是一元运算,∨与→是二元运算,以Ｆ(Ｓ)记由Ｓ生成的(,∨,→)型自由代数.称由Ｆ(Ｓ)、文献[1]中的14条公理(Ｌ1),(Ｌ3)—(Ｌ6),(Ｍ1)—(Ｍ9)以及ＭＰ规则与交推理规则组成的系统为Ｌ.设Ａ,Ｂ∈Ｆ(Ｓ),定义Ａ～Ｂ　　当且仅当├(Ａ→Ｂ)且├…     

模糊逻辑

本文系根据作者的“在卢卡契维奇逻辑基础上的模糊逻辑及其在诊断和控制中的应用”一文的前三章节译而成。原文第一章引言、第二章模糊逻辑、第三章模糊推理、第四章模糊反问题的解的方法、第五章应用到模糊环境下的诊断、第六章应用到使用模糊信息的控制。该论文前三章综述了模糊逻辑的主要结果,可供对这内容感兴趣的同志参考。原文前三章约三万字。限于篇幅,我们删去了其中部分数学内容。     

模糊命题演算的一种形式演绎系统

Elkan1993年7月在美国第11届人工智能年会上作题为“模糊逻辑的似是而非的成功”的报告起了一场轩然大波,随即有15位从事人工智能与模糊系统研究的专家对其进行了反驳,最后Elkan又以“关于模糊逻辑的似是而非的争论”作答.吴望名教授就此作了专门分析.这一事实表明就模糊命题演算而言还没有一个严格的逻辑基础.本文首先指出,在模糊命题演算的范围内,希望保持所有的经典定理为重言式是不可能的;然后在放弃了个别经典公理的基础上引入了模糊命题演算的一种形式演绎系统,证明了相应的可靠性定理.1 模糊公式及其赋值定义1 设S是非空集,其元素称为原子命题或原子公式,“(?)”,“∨”,“→”是连接词,“(”与“)”是括号.规定     

模代数在多值逻辑系统中的适应范围

一、引言 在二值和多值逻辑的研究中,使用最广泛的代数系统是格代数系统和模代数系统。由于下述原因使模代数系统的研究受到重视:1)多值模代数中的两个基本运算的作用对象和运算结果都为多值信号,因而避免了在采用格代数时必然出现的译码器—二值电路一编码器的夹心面包式电路结构;2)模代数中的基本运算的含义及法则与普通代数相似,因而符合人们的数学习惯;3)一个函数通过GRM展式往往可以化简成非常简单的形式,从而使电路     

第2届国际逻辑化建模与可满足性研讨会在中山大学举行

2006年9月24—27日，由国家自然科学基金资助、中山大学逻辑与认知研究所与德国帕德博恩大学国际动态智能系统研究院及计算机科学系联合主办的第2届国际逻辑化建模与可满足性会议在广州举行．参加本次学术研讨会的有来自美国、德国、法国等8个国家的15位专家，以及中国科学院、香港科技大学、北京大学、南京大学、中山大学等国内高校或科研机构的20多名学者．会议内容涵盖了逻辑公式可满足性、非经典逻辑、模型检测、计算复杂性等多个主题，与会人员围绕逻辑化方法在计算机科学与人工智能中的应用进行了热烈的讨论．     

高维量子逻辑门及高维量子信息处理

量子计算与量子信息处理是涵盖了信息理论、计算机理论与量子力学的交叉学科,在信息、物理以及计算机等众多领域有着非常大的影响.量子特性在信息安全、信息容量以及计算速度的提高等方面都具有独特的优势.量子逻辑门是量子计算与量子信息处理中的一个关键模块,因此,如何构建一个合适的逻辑门也是现阶段热门的研究领域.此外,研究量子信息科学,纠缠光子对也是一个不可或缺的元素.目前有很多种产生纠缠光子对的理论和实验方案,例如参量下转换等方案.高维量子系统可以在很大程度上提高量子信道容量和信息存储空间,通过实现高维度量子逻辑门,能够提高量子计算与量子信息处理的速度.然而,直接由两个高维子系统相互作用构建高维逻辑门是很困难的.在这种情况下,即使要实现一个很小的高维逻辑电路,也会耗费大量二维逻辑门.本文主要介绍了利用纠缠光子对的偏振、频率和空间模式自由度实现的二维以及高维单自由度和多自由度的量子逻辑门方案,并探讨了这些方案在量子信息处理和量子计算等方面的应用以及发展趋势.     

高温超导微波器件在UHF数字通讯系统中的应用

依靠高温超导微波器件对UHF波段数字集群通讯基站进行了替换, 现场实验表明: 高温超导微波器件在该基站的一个带外强干扰的复杂电磁环境中应用改善数字灵敏度6 dB以上, 相当于将基站覆盖半径提高到原来的2倍, 覆盖面积增加到原来的4倍. 可见高温超导微波器件在数字通讯系统中使用将有效提升系统性能, 保障复杂电磁环境中数字集群系统的正常通讯, 这在未来通信系统的发展有着非常重要的意义.     

关于三值维持阻塞触发器的补充研究

多值逻辑在电子科学技术中的应用远不如二值逻辑那么普遍,其中一个原因就是缺乏合适的、而又不复杂的存储单元。文献[2]研究了具有三轨输出的三值主从触发器,解决了上述困难。文献[3]根据目前对三值维持阻塞触发器缺乏研究这一事实,设计了一种与文献[2]对应的三值维持阻塞D型触发器。但作为一个完整的触发器系列,还需要有一种计数型的维     

三值维持阻塞触发器的研究

本文在作者以前工作的基础上,通过对二值维持阻塞触发器设计思想的归纳提出了具有三轨输出的三值维持阻塞触发器的逻辑设计。多值逻辑的研究是当前人们在提高现有数字集成电路信息处理能力上的一个努力方向。然而,至今未研究成功合适的、且不复杂的存贮单元的事实已成为多值逻辑付诸实用的一个     

电子游戏机的维修

游戏机的故障检修,最主要的是设法找出产生故障的原因,一旦找到原因,排除故障则相对而言是容易的。故障原因的查找是一项以理论和实践相结合的 “动脑/动手”的工作,在正确理论指导下的 寻找故障方法将对读者大有帮助。 常见故障现象 1.器件故障 器件故障主要是元器 件,接插件和印制板引起的故障。例如,旁路 电容短路造成电源负荷过重;器件参数漂移 造成CPU系统、PPU系统工作不稳定;集成 电路逻辑功能失误造成CPU功能错误;主 机板I/O口故障造成系统总线故障;插件 板、集成电路等接触不良使游戏机无法正常 工作;印制板虚焊,插口脱焊等。     

基于离子型忆阻器的神经形态系统:从材料、器件到芯片

现有的“冯·诺依曼”体系因其计算与存储分离的特点难以满足人工智能、物联网等新技术在能耗和速率方面的发展需求,而存算一体化的类脑计算方案有望突破这一瓶颈.忆阻器是一种新型微电子基础器件,其电阻可通过外界电场调节,而且忆阻器在结构与功能上接近于生物大脑中的突触和神经元,利用其构建的忆阻神经网络具有小尺寸、高速和低能耗等优良特性,有助于实现更接近生物大脑的人工智能.本文对忆阻器领域近年来的研究进展进行了全面的综述:在材料层面,根据阻变机理介绍了忆阻器的不同类型;在器件层面,结合当前忆阻器的应用背景论述了基于离子型忆阻器的性能要求及优化措施;在系统层面,讨论了离子型忆阻器作为忆阻突触、忆阻神经元的应用,并进一步概述了忆阻神经网络的网络结构、学习算法和硬件实现,最后对基于离子型忆阻器的神经形态芯片所面临的挑战和未来前景进行了总结与展望.     

模糊逻辑

王雨田同志《模糊逻辑》一文也是篇科学性与哲理性结合得很好的文章.该文“模糊逻辑的重大意义”一节中指出:“当前,人类的认识史和科学史已经进入到一个新的时期,这就是由以分析为主进行确定性研究的时期逐步进入到以整体性为主进行具体的、不确定性研究的时期.”看来充分认识这一点对指导我们当前的科学研究将是重要的.