逻辑与人工智能

发布时间:2024-02-11 16:38:22

20世纪中期以来,计算机科学以撼世惊人的速度不断向前发展.作为其核心分支的人工智能研究亦取得了一次又一次的突破,并且以其不断逼近与挑战人类智能的姿态而引人注目.在人工智能成就的背后,逻辑学是促其前行的最主要动力引擎之一.逻辑为人工智能提供了根本*的观点与方法,并促成了人工智能研究中最主要派别--逻辑主义AI.而有着漫长学科发展史的逻辑学本身也在与人工智能的结姻过程中获得了自数学公理化、形式化运动以来的又一次全新发展契机.有论者认为"人工智能将是21世纪逻辑学发展的主要动力源泉,并且在很大程度上将决定21世纪逻辑学的面貌".[1]

第2篇:从基于逻辑的人工智能到社会智能的发展

从思维科学和系统科学交叉发展的观点回顾人工智能半个世纪发展的历程:它经历了以"物理符号系统"为假设的传统人工智能(逻辑思维的模拟);人工神经网络为代表的分布式人工智能(形象思维的模拟);现场人工智能(逻辑思维、形象思维与运行环境相结合的模拟);智能体技术、人工社会研究所涌现的社会智能(社会思维和群体智慧与运行环境相结合的模拟).钱学森于1990年发表了开放的复杂巨系统及处理这类系统有关复杂问题的方法论,接着提出:我们要研究的不是智能计算机,是人机结合的智能系统,以此为基础,建立了信息空间综合集成研讨体系(CyberspaceforWorkshopofMetasyntheticEngineering),为社会智能涌现提供了可*作的技术平台[1].

第3篇:智力逻辑笔试题

智力逻辑题

1.某一密码仅使用K、L、M、N、O共5个字母,密码中的单词从左向右排列,密码单词必须遵循如下规则:

(1)密码单词的最小长度是两个字母,可以相同,也可以不同

(2)K不可能是单词的第一个字母

(3)如果L出现,则出现次数不止一次

(4)M不能使最后一个也不能是倒数第二个字母

(5)K出现,则N就一定出现

(6)O如果是最后一个字母,则L一定出现

问题一:下列哪一个字母可以放在LO中的O后面,形成一个3个字母的密码单词?

A)K  B)L  C)M   D)N

问题二:如果能得到的字母是K、L、M,那么能够形成的两个字母长的密码单词的总数是多少?

A)1个 B)3个 C)6个 D)9个

问题三:下列哪一个是单词密码?

A)KLLN  B)LOML  C)MLLO  D)NMKO

问题四:3个相同的字母可以构成的不同密码单词的总数是多少?

A)1个  B)2个  C)3个  D)4个

问题五:单词密码MMLLOKN可以通过下列变成另一个密码单词,除了: 

A)用N代替每个L   B)用O代替每一个M   C)用O代替   D)把O移到N的左边2.62-63=1等式不成立,请移动一个数字(不可以移动减号和等于号),使得等式成立,如何移动?

 

第4篇:佛家逻辑与论辩

佛家逻辑--因明创建于印度,后来通过佛教传入汉地,又东渐朝鲜、日本.因明传入我国后,形成和发展为汉传因明与藏传因明.*是因明的第二故乡.但因明在汉地曾经衰微,到近现代才复苏和再度发展.现在社会论辩之风日益兴盛,辩讼之风也极为强劲.社会的需要促进了论辩学的复兴与创新.我国的一些学者正在从因明中吸取营养,借以构建适应于现代的论辩学.我们要继承因明这份珍贵的遗产,力争有所发现,有所创新,不断前进.

第5篇:道义逻辑、行动逻辑和规范逻辑

20世纪50年代由冯赖特创建的道义逻辑,首先是作为行动名称的逻辑而建立的.这种逻辑在建立之后产生两个研究方向:一个是"应该做"的逻辑,一个是"应该是"的逻辑.在"应该做"逻辑的研究方向上,行动名称的逻辑之后,产生以分析行动语句而生成的行动逻辑的探索.于是道义逻辑便是一种以行动逻辑为基础的动态逻辑.但是,在行动逻辑基础上构建的道义逻辑是一个有关规范命题的逻辑,而不是规范的逻辑,在相当程度上也可以看成是一个规范命题逻辑和规范逻辑的混成物.

第6篇:锻炼智商的逻辑推理题

选择题

1:据最近的统计,在需要同等学力的十个不同职业中,教师的平均*五年前排名第九位,而目前上升到第六位;另外,目前教师的平均*是其他上述职业的平均*的86%,而五年前只是55%。因此,教师*相对偏低的状况有了较大的改善,教师的相对生活水平有了很大的提高。

上述论证基于以下哪项假设?()

Ⅰ近五年来的通货膨胀率基本保持稳定。

Ⅱ和其他职业一样,教师中的最高*和最低*的差别是很悬殊的。

Ⅲ学历是确定*标准的主要依据。

Ⅳ*是实际收入的主要部分。

A.Ⅰ、Ⅲ

B.Ⅱ、Ⅳ

C.Ⅲ

D.Ⅲ、Ⅳ

2:数字推理:0,6,78,_____,15620

A.240

B.252

C.1020

D.7771

3:数字推理:-2,6,-18,54,______

A.-162

B.-172

C.152

D.164

4:图示方法是几何学课程的一种常用方法。这种方法使得这门课比较容易学,因为学生们得到了对几何概念的直观理解,这有助于培养他们处理抽象运算符号的能力。对代数概念进行图解相信会有同样的教学效果,虽然对数学的深刻理解从本质上说是抽象的而非想象的。上述议论最不可能支持以下哪项断定?

A.通过图示获得直观,并不是数学理解的最后步骤。

B.具有很强的处理抽象运算符号能力的人,不一定具有抽象的数学理解能力。