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

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

AI距离人脑还有多远

<正>从20世纪40年代诞生至今,人工智能经历了一次又一次的潮起潮落。1956年8月的达特茅斯会议奠定了AI发展的开端。在早期主推用逻辑、概率推导数学定理来研究AI的科学家被誉为符号学派。但在逐步研究的过程中,科学家发现人类自身就不全是靠逻辑解决问题的,于是符号学派慢慢地被主推模拟人脑的连接派取代。     

人工智能的未来知识社会学

以机器人和专家系统形式出现的人工智能正在日益广泛地应用到管理、政府、办公室和企业中。但是,迄今它们的应用仍然在有限的方面。预期90年代,人工智能的发展将从它那蜗牛的爬行变成为在办公室、学校、政府、医院、饭店、工厂等这些人类活动的舞台上大规模帮助人们工作的有机部分。此外,随着每年提供价格低廉的更灵巧和更智能化的专家系统,新一代的人工智能将(?)长足进步。预测2000年以后应用的人工智能计算机和机器人将是具有无性系生物脑形式的生物分子计算机“硬件”。本文简述以上内容,并从社会学的角度论述人工智能的未来。     

人工智能决策的道德缺失效应及其机制

随着技术的不断创新与发展,人工智能在人类生活中的重大决策方面发挥着日益重要的作用.然而,人工智能的广泛应用也带来了一系列道德挑战,其中最突出的一个是人们对人工智能的不道德决策往往反应(道德评估、道德愤怒和道德惩罚)较弱,表现出与对人类决策不同的行为模式.这一现象将导致严重的社会问题.心智感知理论和相关研究表明,造成这种现象的主要原因是人们认为人工智能比人类缺乏能动性和体验性;而拟人化与提高期望则是有效的干预策略,可以增强人们对人工智能决策的道德敏感度.与其他学科中“算法伦理”研究主要从设计层面探讨公平算法的原则和方法不同,心理学视角研究更关注人们对人工智能与人类决策心理反应的差异,这对于如何有效地应对算法偏见带来的社会问题,如何构建公平算法提供了新的思路,也为“算法伦理”研究提供了一个新的视角.由于人工智能具有发展性和快速迭代性,该领域的机制及干预策略有待未来研究进一步澄清.     

行列式多项式序列

发现和消去多项式系数的多余公因子在符号与代数计算中十分重要。关于这一问题的主要进展是Bareiss和Collins,他们分别研究了多项式辗转相除法和使用高斯消去法时的多余公因子问题,并且给出了这些因子的具体形式。本文将讨论多项式系统三角化时的多余公因子问题,其结果可以应用于几何定理机器证明,解代数方程组和多项式系统整序。     

光是什么,是波还是粒子

“上帝说要有光,于是就有了光”。光与人类的生活息息相关．却令人感到既熟悉又神秘。“光到底是什么”？人类自从有意识之日起,就一直在思考和探索这个问题。经过上千年的思索,人们基本上有了结论．光既是粒子也是波。具有波粒二重属性。但这是人们在经典世界观察光得到的结论。笔者最新的实验结果表明,光不仅仅是以粒子或者波的状态存在这么简单,还存在用经典世界的语言无法描述的量子状态,究竟能看到什么取决人们选择哪种角度去观察它。这个发现使得人们对于“光是什么？”这个问题有了新的见解。     

带等词的中介谓词逻辑系统ME的语义解释及可靠性、完备性

本文将给出带等词的中介谓词逻辑系统ME~*的语义解释及其可靠性、完备性定理,鉴于ME~*的特点,在对ME~*建立语义解释时,若取经典集合论中的集合作为论域,则无法将形如～(a=b)的合式公式特征化。因此,我们将取中介集合论中的集合(严格地说,取清晰小集)作为论域。由此可知,在研究中介逻辑时所使用的元语言仅限于经典的二值逻辑及经典的     

“深蓝”战胜世界棋王

计算机能够进行记忆、运算、推理、判断,拥有人脑的部分功能,所以被誉为“电脑”。从它诞生后不久,人们便试图挖掘它的“智能”潜力,看看电脑有多聪明。50年代兴起的“人工智能”新学科,便是研究如何利用机器(计算机)来实现人的智力功能。在人工智能中一个重要的分支,便是研究计算机同人的对弈问题。 从那时起,许多计算机专家、人工智能专家,都在不断努力设计更快、更聪明的计算机,梦想“征服”世界级的国际象棋大师。最近美国IBM     

神经计算机在孕育中

当前神经网络是重新激励人们去探索的一个课题。这种模拟脑功能的信息存储和运算系统,非常适合复杂问题的并行处理。现在,在实验室已研制了一些应用装置,在社会上也有了许多工业应用的商品。网络拓扑学、学习算法、及用VLSI(very Large scale Integrated circuit,超大规模集成电路)实施的电路系统等三个研究领域的新进展正在孕育着神经计算机(Neuro computer)的诞生。一、神经计算机的特点离散符号模式的数字机在统治全球,而连接论(connectionism)模式的感知机受冷落近20载。然而,情况在变,现在让亿次级克雷计算机来识别哪是树木,哪是电线杆,它却黔驴技穷。人工智能领域的人们似乎要重新搬出连接论方法,以适应复杂问题的解     

情感计算机

人工智能领域在日新月异地发展着，不久的将来人们有望见到善解人意、有人情味、能和人类自然沟通的“情感计算机”。人们能通过向机器提供更强的逻辑能力而使人工智能领域获得下一个重大突破，而提高情感能力也同样奏效。“感情”通常设有和无生命的机器联系在一起，但《感情计算》的作者罗莎琳德·皮卡得（RedndRca！d）却认为情感可能正是计算机有效工作所必需的东西。马萨诸塞技术协会的计算机技术教授皮卡得说，计算机需要人工感情以便更好地理解用户并进行自我分析和自我改进。科学家越是对作为计算机模型的“湿件”——人脑及神经系…     

大脑、思绪与歌

<正>作品简介：随着人工智能生成艺术技术的快速发展,人类和机器的合作方式为诗歌相关生成艺术创作提供了新的机遇和挑战。我们从大脑分区协作的角度来探讨人类如何理解诗歌,并使用现代科技的手段和艺术形式来解读中国传统诗歌文化,使人们能够体验不同于传统阅读的“读”诗方式,从而帮助人们从新的角度认识传统文化和文化遗产。     

中介逻辑的谓词演算系统(Ⅱ)

本文为[6]的续篇,在此继续生成中介逻辑的谓词演算系统MF的形式定理。     

会思考的计算机

电子计算机在其为时三十余年的简短历史上业已取得令人惊叹的进展,它具有超人的运算能力,这种能力导致人们赋予它以拟人的特性,而这在三十年前却还曾被认为是异想天开。尽管人类在诸多方面的努力目前看来是步履艰难,蹒跚而行,诸如处理经济体制以及纠正社会上的不公正现象,然而在人工智能这个科学领域里的研究与技术的开发方面,     

关于规范变换群的一个定理

应用主丛理论来研究经典规范场论的关键是规范变换群GA(P)与C(P,G)之间存在1-1到上的对应,但作为代数系,它们之间还存在代数关系的对应。D.Bleecker在[1]中,以定理的形式给出     

力学信息学简介

数据在力学的发展中始终属于最基础和最重要的角色。在古典力学时代,通过对海量数据的总结归纳,科学大师们得出了以牛顿运动三大定律为代表的自然世界运行的客观规律。在当今时代,快速发展的力学实验自动化技术和高通量技术,使力学数据呈爆炸式增长,如何基于迅猛增长的数据来快速发现、发展和革新力学理论,成为一个迫切需要解决的问题。力学工作者可以借助当下快速发展的人工智能算法,直接智能地优化实验和生产工艺,或者利用诸如符号回归、稀疏回归和流形学习等机器学习方法对数据进行挖掘处理,发现并给出数据所遵循的公式形式,将数据上升为知识。这一人工智能和力学相结合的交叉学科便是“力学信息学”。基于力学信息学方法,古老的力学学科也必将迎来新的春天。     

公平的名额分配

名额分配问题是政治学社会选择理论中的世界难题之一，它以浅显的数学知识得出了深刻的政治结论却又一直未获根本解决而著称于世。本文在评述前人各种分配方法的基础上，从机会公平的原则出发，提出了一种新的分配方法——比例随机法。它具有按比例分配、符合定额、机会公平和逻辑自洽等特点。     

n维空间中的Picard大定理

Wu Hung-Hsi (Annals of Math.Studies 64) 利用全纯曲线的似值分布理论证明了n维空间中的Picard定理。本文证明了经典Picard大定理在射影空间中的一般形式,叙述如下。     

面向机器智能的情感分析

大模型的兴起,尤其是以大模型为基础的人工智能技术的发展与应用引起了全社会对人工智能技术的广泛关注。人工智能技术已经在很多方面达到甚至超越人类,可以替代人工完成一些技艺要求较高的工作。不过,在人工智能迈向人类智慧的道路上,仍然有许多难题亟待克服与解决,其中一个重要的问题就是情感分析与理解问题,如让机器准确理解人类的情感。针对该问题,文章从情感的定义与分类入手,对情感分析研究需要解决的问题,研究方向、研究现状、面临的挑战、应用前景与展望等进行了讨论。     

非完整非保守奇异系统正则形式的Noether定理及其逆定理

经典Noether定理及其推广是在位形空间中用Lagrange变量给出的。完整保守奇异系统(其Lagrange函数是奇异的)在相空间中的Noether 1,2定理已讨论,这里进一步给出非完整非保守奇异系统正则形式的Noether定理及其逆定理。     

一类新的函数空间

本文将提供一类新的函数空间,它是某些Orlicz空间与Orlicz-Sobolev空间的推广,它也是由于研究Orlicz-Sobolev空间的嵌入定理而被引入的。本文的符号同文献[1,2]。