基于逻辑推理和表象推理的类人机器智能-思维计算
- 格式:pdf
- 大小:155.58 KB
- 文档页数:4
基于人工智能的符号计算与自动推理技术研究一、引言人工智能技术在各个领域都有着广泛的应用,众所周知,其能够为人类带来很多便利,其中一项特别重要的应用就是符号计算与自动推理技术。
符号计算是一种基于符号逻辑的数学方法,而自动推理则是一种基于逻辑规则的方法。
结合起来,这两种技术可以使计算机系统进行复杂的逻辑推理和运算,以辅助人类决策和思想分析。
本文将探讨基于人工智能的符号计算与自动推理技术研究。
二、符号计算技术符号计算技术是人工智能领域中的一项重要技术,它是一种基于符号逻辑的数学方法。
通俗地说,符号计算技术就是将复杂的代数和逻辑公式转换成计算机能够理解的符号形式,然后通过计算机程序进行运算。
目前,符号计算技术主要应用于数学、物理学、工程、计算机科学、人工智能等领域。
通过符号计算技术,可以在计算机上执行各种数学公式和逻辑运算,例如证明定理、求解方程组、计算微积分、模拟物理实验等等。
符号计算技术的应用使得许多复杂的计算变得简单、快速、独立于人工操作。
三、自动推理技术自动推理技术是人工智能领域中的又一重要技术,它是一种利用逻辑规则和推理算法来自动推导新信息的方法。
自动推理可以帮助人们找到事实和规则之间的关系,解决实际问题和逻辑分析等问题。
目前,自动推理技术主要应用于计算机科学、人工智能、人机交互等领域。
自动推理技术能够自动地判断和演绎信息,从而可以帮助人们搭建智能推理和决策系统,提高人们在各领域的决策能力和判断能力。
四、符号计算与自动推理的结合符号计算技术和自动推理技术是人工智能技术中基础性的两个分支,它们之间存在一定的关系。
通过符号计算,可以将逻辑表达式转化为计算机能够处理的符号形式,进而在计算机中进行处理和分析。
而自动推理技术可以根据给定的逻辑规则和信息,自动运用推理算法来推导出新的信息。
因此符号计算技术和自动推理技术的结合,可以帮助人们更好地解决复杂问题,提高判断力和推理能力。
在人工智能的应用中,利用符号计算技术和自动推理技术,可以设计和实现智能推理系统。
人工智能科学逻辑是指用逻辑方法(如数理逻辑)和逻辑成果研究智能主体(intelligent agent)如何处理知识的理论。
人工智能科学逻辑的研究对象与人工智能研究的对象不同,人工智能科学逻辑不研究智能主体如何从外部获得知识。
人工智能科学逻辑的产生来源于人们在计算机中实现知识处理的探索。
为此必须建立实现知识处理的形式理论。
至少在基础研究或者在理论重建的层面上,利用现代逻辑的种种方法和成果来建立上述形式理论成为必要。
处理知识又称知识处理,内容主要包括知识表示、知识反思、知识修正、知识推理。
知识推理除了传统意义上的演绎推理、归纳推理和类比推理,还包括常识推理(commonsense reasoning)。
常识推理是人类日常生活中获取新知识的最重要手段之一,具有非单调性和信息不完备性。
人工智能科学逻辑即重点在研究常识推理的形式化及刻画。
以上信息仅供参考,建议查阅人工智能领域相关书籍文献,获取更全面准确的信息。
逻辑思维与人工智能的结合1. 引言逻辑思维和人工智能分别代表了人类思维和机器智能的两个重要方面。
逻辑思维是人类特有的能力,通过推理和判断来解决问题,而人工智能则是通过机器学习和数据分析等技术来模拟人类智能。
近年来,随着计算机技术的迅猛发展,逻辑思维和人工智能的结合正在成为一个备受关注的研究领域。
本文将探讨逻辑思维与人工智能的结合对人类社会和科学研究的影响。
2. 逻辑思维与人工智能的背景逻辑思维是人类思维中的重要组成部分,它涉及到推理、判断和解决问题的能力。
逻辑思维在人类社会中的应用广泛,从哲学和数学到科学和工程,都离不开逻辑思维的指导。
人工智能作为一种模拟人类智能的技术,旨在通过计算机系统实现人类智能的某些方面。
人工智能的发展已经取得了很大的突破,例如机器学习、自然语言处理和计算机视觉等领域的进展。
然而,人工智能的发展还面临一些挑战,例如推理和判断能力的不足。
因此,将逻辑思维与人工智能相结合,可以弥补这一不足,提高人工智能系统的性能。
3. 逻辑思维在人工智能中的应用逻辑思维在人工智能中的应用主要集中在推理和判断方面。
例如,通过逻辑推理可以帮助人工智能系统进行推断,从而得出正确的结论。
逻辑思维还可以帮助人工智能系统进行判断,例如判断一个事件的发生概率或者判断一个论据的合理性。
逻辑思维在人工智能中的应用还可以扩展到其他领域,例如机器学习和数据挖掘等。
通过将逻辑思维融入到机器学习的算法中,可以提高机器学习的准确性和鲁棒性。
另外,逻辑思维还可以帮助人工智能系统进行规划和决策,从而提供更加智能化的服务和决策支持。
4. 逻辑思维与人工智能的优势和挑战逻辑思维与人工智能的结合具有一些优势和挑战。
首先,逻辑思维可以提供对问题的深入理解和分析能力,从而为人工智能系统提供更准确的处理能力。
其次,逻辑思维可以帮助人工智能系统理解和解释其决策过程,从而提高系统的可解释性。
此外,逻辑思维可以提供形式化的知识表示和推理机制,从而增强人工智能系统的推理和判断能力。
从学术的观点看,人工智能主要分三大学派,分别是符号主义学派、连接主义学派和行为主义学派。
在对人工智能进行研究时,可能会按照某一理论或方法展开探讨分析,但在实地落地的项目或产品可能综合应用了多个学派的知识。
比如,最近我们为某制造企业提供智能客服系统,其中语音识别、语音合成和语义理解技术等属于连接主义的成果,同时,也使用了知识库等属于符号主义的成果。
一、符号主义学派符号主义,又称逻辑主义、心理学派或计算机学派,是一种基于逻辑推理的智能模拟方法,认为人工智能源于数学逻辑,其原理主要为物理符号系统(即符号操作系统)假设和有限合理性原理。
该学派认为人类认知和思维的基本单元是符号,智能是符号的表征和运算过程,计算机同样也是一个物理符号系统,因此,符号主义主张(由人)将智能形式化为符号、知识、规则和算法,并用计算机实现符号、知识、规则和算法的表征和计算,从而实现用计算机来模拟人的智能行为。
其首个代表性成果是启发式程序LT(逻辑理论家),它证明了38条数学定理,表明了可以应用计算机研究人的思维过程,模拟人类智能活动。
此后,符号主义走过了一条启发式算法——专家系统——知识工程的发展道路。
专家系统是一种程序,能够依据一组从专门知识中推演出的逻辑规则在某一特定领域回答或解决问题。
1980年卡内基梅隆大学为数字设备公司设计了一个名为XCON的专家系统,在1986年之前,它每年为公司省下四千万美元。
专家系统的能力来自于它们存储的专业知识,知识库系统和知识工程成为了上世纪80年代AI研究的主要方向。
专家系统仅限于一个专业细分的知识领域,从而避免了常识问题,其简单的设计又使它能够较为容易地编程实现或修改。
专家系统的成功开发与应用,对人工智能走向实际应用具有特别重要的意义,也是符号主义最辉煌的时候。
但凡事有利有弊,专家系统仅仅局限于某些特定情景,且知识采集难度大、费用高、使用难度大,在其它领域如机器翻译、语音识别等领域基本上未取得成果。
人工智能中的知识表示与推理在人工智能领域中,知识表示和推理是两个核心概念。
知识表示是指将现实世界的信息以某种形式存储在计算机系统中,以便机器能够理解和处理这些信息。
推理则是指机器通过对已有知识进行逻辑推导和推理,从而得出新的结论或解决问题的方法。
本文将深入探讨人工智能中的知识表示与推理的关键技术和应用。
一、知识表示的方法1.1 逻辑表示法逻辑表示法是一种基于命题逻辑或谓词逻辑的知识表示方法。
它将知识以逻辑形式表示,并采用规则和推理机制进行推理和推断。
逻辑表示法的优势在于形式化严谨,容易理解和扩展。
但是,当知识变得复杂和庞大时,逻辑表示法的推理效率会受到限制。
1.2 语义网络表示法语义网络表示法是将知识以节点和边的形式构建成图谱,节点表示概念或实体,边表示概念之间的关系。
语义网络表示法可以灵活地表示知识的层次结构和关联关系,适用于知识表示和语义推理。
1.3 产生式规则表示法产生式规则表示法是一种基于规则的知识表示方法。
它将知识以条件-动作规则的形式表示,当满足某个条件时,执行相应的动作或推理过程。
产生式规则表示法适用于专家系统等领域,能够灵活地处理复杂的逻辑和推理过程。
二、推理技术2.1 基于逻辑的推理基于逻辑的推理是指通过逻辑规则和推理机制进行推理。
其中,前向推理是从已知的事实和规则出发,逐步推导得出结论或解决问题;后向推理是从目标或结论出发,逆向搜索已知的事实和规则,找到满足条件的解决方法。
基于逻辑的推理能够根据已有的知识和规则进行推导,但受限于知识的形式化和推理的效率。
2.2 基于概率的推理基于概率的推理是指通过概率模型和推理算法进行推理。
它利用概率论的方法处理不确定性和不完全信息,能够根据概率模型对事件进行预测和推断。
基于概率的推理在机器学习和数据挖掘领域得到广泛应用,能够处理大规模的数据集和复杂的推理任务。
2.3 基于模型的推理基于模型的推理是指通过构建和利用模型进行推理。
模型可以是统计模型、物理模型、认知模型等,通过建立模型与实际世界之间的映射关系,进行推理和预测。
人工智能基础推理人工智能基础:推理人工智能(Artificial Intelligence,简称AI)是一门研究如何使计算机能够模拟和实现人类智能的学科。
其中,推理是人工智能的核心基础之一。
推理是指根据已知的事实和规则,通过逻辑推演得出新的结论或解决问题的过程。
推理在人工智能领域有着广泛的应用,如专家系统、自然语言处理、机器学习等。
在专家系统中,推理技术被用于解决特定领域的问题,通过构建知识库和规则库,利用推理引擎对用户输入的问题进行分析和求解,从而达到模拟专家决策的目的。
自然语言处理中的推理技术可以用于理解和解释自然语言中的逻辑关系,如推理出语义相似的词语、推断出上下文中隐藏的信息等。
这对于机器翻译、文本摘要等任务具有重要意义。
机器学习中的推理技术,如逻辑回归、决策树等,通过对已有数据进行学习和训练,模型能够推理出新的数据和结论。
这种推理方式在数据挖掘、图像识别等领域有着广泛的应用。
推理的实现方式有多种,其中基于规则的推理是最常见的一种。
基于规则的推理通过事先定义好的规则和逻辑关系,对输入的数据进行推演和推理。
另一种常见的推理方式是基于统计的推理,通过对大量数据的统计分析,得出概率和可能性最高的结论。
推理技术在人工智能发展过程中不断进步和完善。
传统的推理技术往往依赖人为定义的规则和逻辑,对于复杂和模糊的问题难以处理。
而近年来,随着机器学习和深度学习的发展,基于数据驱动的推理方式得到了广泛应用。
通过对大量数据的学习和训练,模型能够自动学习特征和规律,从而进行更精确的推理和判断。
然而,推理技术也存在一些挑战和限制。
首先,推理模型的准确性和可解释性是一个重要问题。
在一些需要高度精确和可解释的场景下,推理模型的结果往往难以满足要求。
其次,推理过程中可能存在歧义和不确定性,这对于模型的鲁棒性和可靠性提出了挑战。
此外,推理技术的计算复杂度较高,需要消耗大量计算资源和时间。
为了克服这些挑战,研究者们不断努力改进推理技术。
人工智能中的知识推理与推理机制人工智能技术是当今科技领域的热点之一,其应用领域不断拓展,对人类社会产生着深远影响。
在人工智能的不同分支中,知识推理和推理机制被认为是实现智能的关键因素之一。
通过模拟人类的思维方式,人工智能系统可以进行知识的推理和推断,从而更好地解决现实世界中的问题。
知识推理是指基于已有知识和信息,进行逻辑推理和推断的过程。
在人工智能中,知识推理是指机器通过对事实、规则和概念进行分析和推理,发现隐藏在数据背后的模式和规律。
而推理机制则是指实现知识推理过程的具体方法和技术。
在人工智能中,有多种推理机制被广泛应用,其中包括基于逻辑的推理、基于模式的推理、概率推理等。
基于逻辑的推理是人工智能中最常用的推理机制之一。
它基于数学逻辑和命题演算,通过规则和规则的推导过程来进行推理。
基于逻辑的推理在专家系统、自然语言处理等领域得到了广泛应用。
例如,在知识图谱构建中,基于逻辑的推理可以帮助机器从海量数据中抽取出有意义的知识,实现对知识的自动化组织和管理。
另外,基于模式的推理是一种基于事实与概念之间相似性的推理方法。
通过对数据的聚类和分类,发现数据之间的模式和规律,从而进行推理和决策。
基于模式的推理在机器学习和数据挖掘中得以广泛应用。
例如,在推荐系统中,基于模式的推理可以通过对用户行为和喜好的分析,实现个性化推荐和定制化服务。
此外,概率推理是一种基于概率模型和统计学方法的推理机制。
通过对数据的概率分布和相关性进行建模和分析,实现对未知情况的推理和预测。
概率推理在机器学习和人工智能中扮演着重要的角色。
例如,在图像识别和语音识别领域,概率推理可以帮助机器更准确地识别和理解复杂的模式和信息。
让我们总结一下本文的重点,我们可以发现,不同的推理机制在人工智能中扮演着不同的角色,相互之间也会相互补充。
在实际应用中,人工智能系统常常会采用多种推理机制组合在一起,以达到更好的推理效果和性能。
未来,随着人工智能技术的不断发展和完善,推理机制也将不断演进和创新,为人工智能应用带来更多可能性和机遇。
人工智能中的逻辑推理与知识表示近年来,人工智能(Artificial Intelligence,简称AI)的发展取得了长足的进步,其中逻辑推理与知识表示成为了人工智能领域的重要研究方向。
逻辑推理是指通过规则和推理机制,根据已知的事实和前提,得出新的结论。
而知识表示则是将人类的知识和经验以一种机器可理解的方式进行表达和存储。
在人工智能的发展过程中,逻辑推理起到了至关重要的作用。
通过逻辑推理,机器可以根据已有的知识和规则,进行推断和决策。
逻辑推理可以帮助机器解决复杂的问题,例如自动推理、智能问答等。
逻辑推理的核心是建立逻辑规则和推理机制,使机器能够根据这些规则进行推理和决策。
在知识表示方面,人工智能研究者们致力于将人类的知识和经验转化为机器可理解的形式。
知识表示的目标是将现实世界中的事实和概念进行抽象和表达,以便机器能够理解和应用。
常用的知识表示方法包括逻辑表示、语义网络、本体论等。
逻辑表示通过逻辑语言描述事实和规则,语义网络通过节点和边表示事实和关系,本体论则是通过定义概念和关系的层次结构来表示知识。
逻辑推理和知识表示的结合,使得人工智能在各个领域都取得了重要的突破。
例如,在自然语言处理领域,逻辑推理和知识表示可以帮助机器理解和处理自然语言中的歧义和不确定性。
通过利用逻辑规则和知识表示,机器可以推断出句子的真假和含义,从而实现智能问答和自动翻译等功能。
在智能推荐系统中,逻辑推理和知识表示也发挥着重要的作用。
通过对用户的兴趣和行为进行建模,机器可以根据已有的知识和规则,推荐用户感兴趣的内容。
逻辑推理和知识表示可以帮助机器理解用户的需求和偏好,从而提供更加个性化和精准的推荐结果。
此外,逻辑推理和知识表示还在智能交通、医疗诊断等领域发挥着重要的作用。
在智能交通中,机器可以通过逻辑推理和知识表示,根据交通规则和实时数据,进行交通控制和路径规划。
在医疗诊断中,机器可以通过逻辑推理和知识表示,根据症状和医学知识,进行疾病诊断和治疗建议。
人工智能的认知逻辑和推理机制人工智能是一个充满想象力的领域,它能够通过机器学习和深度学习等技术,提高人类的生产力,并且在很多方面有很高的应用价值。
但是我们如何让机器更高效的学习和判断,具有更加人类化的认知能力,这是人工智能领域需要解决的一个重要问题。
那么,人工智能的认知逻辑和推理机制又是怎样的呢?一、人工智能的认知逻辑人工智能的认知逻辑一般分为知识表示、知识存储、知识获取和知识推理。
其中知识表示是指将专业知识和常识知识转化为计算机可以理解的形式,以便机器进行学习和判断。
知识存储是通过存储、保存和更新信息,以便机器在需要时随时获取数据,并以智能的方式处理和检索信息。
知识获取是指从数据中获取知识,主要是通过自然语言处理和图像识别等方法提取信息。
知识推理是指基于已知事实,从中推导出新的结论或发现潜在的规律。
这是人工智能最基本和核心的能力之一。
二、人工智能的推理机制推理是人工智能的重要能力之一,它是指根据已知的知识推导出新的知识或结论。
目前人工智能的推理机制主要包括逻辑推理和机器学习推理。
逻辑推理是通过数学的形式,形成推理规则,以此来进行推理。
逻辑推理可以被视为静态和形式上的知识表示。
事实上,逻辑推理是由人为设定的规则,这些规则可以通过规则库保存和使用。
然而,逻辑推理受限于人类的常识知识,容易受到主观偏见和语义混淆等问题的影响。
机器学习推理是指将数据中的模式学习到模型中,然后利用这个模型来做推理和预测。
机器学习推理涉及到许多关键技术,例如模型选择、特征选择和数据标准化等。
将这些技术整合到一起,可以建立一个高效且准确的推理模型。
机器学习推理可以自始至终进行自适应学习,并自动优化模型的准确性。
三、人工智能的认知技术发展趋势人工智能的认知技术目前尚处于发展初期,有许多方面需要进一步研究和探索。
目前人工智能发展的方向之一是将人工智能应用在更多的领域和场景中,例如医疗、金融和海洋等。
同时,也需要加强对计算机视觉和自然语言处理等领域的研究,以帮助机器更加深入的理解人类的思维和语言能力。
人工智能认知与推理
人工智能(AI)中的认知和推理是两个重要的方面,它们试图使计算机系统在执行任务时模拟人类的认知过程和推理能力。
1.人工智能认知(Cognition in AI):
•认知是指通过感知、记忆、学习、理解和思考等过程获取知识和解决问题的能力。
在人工智能领域,实现认知通常涉及以
下方面:
•感知和感知模型:使计算机系统能够感知和理解
其环境,包括视觉、听觉、触觉等。
•记忆和学习:计算机系统需要能够存储和检索信
息,以及通过学习从经验中提取知识。
•语言处理:使计算机系统能够理解和生成自然语
言,包括语音识别、自然语言处理等。
•问题解决:计算机系统需要具备解决复杂问题的
能力,通过模拟人类的思考和推理过程来达到这一目标。
2.人工智能推理(Reasoning in AI):
•推理是指基于已知事实或信息从一个或多个命题中得出新的结论的过程。
在人工智能中,推理通常包括以下方面:
•逻辑推理:使用形式逻辑规则进行推理,包括命
题逻辑和谓词逻辑等。
•不确定性推理:处理不完全或不准确的信息,使
用概率推理或模糊逻辑等方法。
•归纳推理:从特定观察中推断普遍规律,例如机
器学习算法中的归纳学习。
•经验推理:基于已有的经验和案例进行推理,例
如基于案例的推理系统。
在认知和推理方面,人工智能的研究旨在使计算机系统能够更全面地理解和处理复杂的任务,例如自主决策、问题解决、自然语言理解等。
机器学习、深度学习、专家系统等技术都在这一领域取得了一系列的进展。
然而,实现真正智能的认知和推理仍然是一个复杂而具有挑战性的目标。
第36卷 增刊2吉林大学学报(工学版)Supp l e m en t 22006年9月Journa l o f Jili n U niversit y (Eng i nee ri ng and T echno l ogy Ed iti on)S ept .2006文章编号:1671-5497(2006)Supp.l 2-0130-04收稿日期:2006-05-12.基金项目:高等学校博士学科点专项基金资助项目(20050183032);吉林省教育厅科学基金资助项目(2005180).作者简介:赵宏伟(1962-),男,教授,博士生导师.研究方向:智能信息系统.E -ma i:l zhaoh w@jlu .edu .cn 通讯联系人:刘萍萍(1979-),女,博士研究生.研究方向:人工智能,思维计算.E -ma i:l li upp @jl u .edu .cn基于逻辑推理和表象推理的类人机器智能)))思维计算赵宏伟,刘萍萍,臧雪柏,张仁俊,李军令,王莉丽(吉林大学计算机科学与技术学院,长春130022)摘 要:在深入分析思维和智能研究理论的基础上,首次提出了思维计算的概念,并给出了定义。
进而给出了其主要研究内容、研究途径以及应用范围。
思维计算是以认知科学、脑科学、神经科学的研究理论为基础,结合人工智能学的研究方法和手段,以思维的形象性、创造性、不确定性的研究为突破口,采用逻辑思维和形象思维双线并行模型,研究逻辑推理和表象推理的综合机制,实现较高层次的类人机器智能。
关键词:人工智能;逻辑推理;机器智能;思维计算;认知科学;表象推理中图分类号:TP391 文献标识码:AThi nking co mputati on :ho m i ni ne machi ne i ntelligence basedon logi c inference and i m age i nferenceZhao H ong -w e,i L i u Ping -p i n g ,Zang Xue -ba,i Zhang R en -j u n ,Li Jun-li n g ,W ang L-i li(College of Computer Science and T echnology,J ilin U ni ver sit y,Chang c hun 130022,China)Abst ract :Based on the deep ana l y sis o f the t h eo r y of t h e thinking and inte lligence studies ,t h e concept of thet h i n k i n g co mpu tation w as presented for t h e first ti m e ,and its defi n ition ,m ai n research contents ,research approaches ,and application areas w ere given .On the basis o f the mu lt-i discipline intercross i n tegration o f the cogn ition science ,the encephalic science ,and the neuroscience ,and etc .,i n co m b i n ation w ith t h e m etho logy and the approach of the artificial i n telli g ence study ,putting the e m phases on the studies of the i m agery ,the creati v ity ,and t h e indefi n iteness of t h e thi n king ,using the parallelm odel i n vo l v i n g t h e log ic th i n k i n g and the i m age th i n k i n g ,the th i n k i n g co m putati o n st u dies t h e co m p lex m echan is m of the log ic inference and the i m age i n ference to rea lize the high l e vel ho m i n i n e m ach i n e i n telli g ence .K ey words :artificial i n te lli g ence ;l o g ic inference ;m ach i n e i n telli g ence ;thinking co mpu tation ;cogn itionscience ;i m age inference人工智能研究与认知科学的研究紧密联系,相互交叠。
人工智能的研究者从认知科学的基本假设)))功能主义、物理符号系统假设、连接主义假设、行为主义以及动力系统理论假设中发展了如下理论[1]:认知和智能活动是信息处理过程;通过研究虚拟世界各类人工智能的详情可以把握增刊2赵宏伟,等:基于逻辑推理和表象推理的类人机器智能)))思维计算真实世界人类认知和智能的基本性质。
20世纪70年代以前人工智能和认知科学主要研究的是基于逻辑的符号运算系统。
70年代以后,对于自然的认知研究占据了认知科学的主要研究方向[2]。
近十年来,大脑造影技术与信息技术的发展以及心理学的成熟,使我们得以直接观察心智的内在世界。
利用功能性磁振造影,正子断层扫瞄,脑电波,脑磁波以及眼球追踪仪等新技术手段对大脑功能的研究使得人类对于智能的物质载体有了许多新的认识。
模拟人类思维是人工智能的研究核心,人工智能50年的发展取得了巨大的成就。
从最初的实现问题求解,代替人类完成部分逻辑推理到与环境交互的智能机器人的出现;继而开展的具有类人思维和认知能力的智能系统的研制,几次技术飞跃使得当今对于思维和智能的研究呈现出利用哲学、数学、物理学、认知科学、生命科学、语言学、量子计算和生物计算的多学科交叉优势,从研究包括知觉、注意、记忆、语言、推理、思考、意识、情感在内的各个层面的认知活动入手;把握人类认知和智能的本质,着重研究思维的创造性、形象性;并最终在人工脑上得以模拟,这也正是思维计算提出的理论基础和研究的目的。
1思维计算的定义以认知科学、脑科学和神经科学的研究理论为基础,结合人工智能学的研究方法和手段,以思维的形象性、创造性、不确定性研究为突破口,采用逻辑思维与形象思维双线并行模型,研究逻辑推理和表象推理的综合机制,实现较高层次的类人机器智能。
2思维计算的研究内容2.1思维的认知框架对脑与计算机的交互(Bra i n-C o mpu ter I nterface,BCI)的研究表明人工脑在信息处理的基础上和机理上与人脑都是一致的。
所以生物脑的解读对电脑的发展将会有重大影响。
目前,人脑与人工脑最大的差别仍表现在创造性、概念的抽象和形象思维等方面。
认知过程是思维的基础。
认知科学界目前利用信息加工的观点解释认知行为[2]。
即从刺激呈现开始,经过基本知觉加工,传输到短时记忆,受注意过程的组织,利用复述承担信息保持的作用,最后将部分信息传输至长时记忆。
从行为结构上看,人类的智能行为往往是一些认知过程的综合。
例如,利用教材学习的过程包含了知觉、注意、语言、知识表征、问题解决、情绪状态、记忆系统、知识提取等多个认知过程。
从思维方式上看,人类的思维按照某种逻辑和表象进行推理[3],其过程是某种模式和关联的综合作用。
思维的认知框架从基本的知觉过程入手,以信息加工的观点审视人类思维和智能行为的本质,在知识表示上,侧重概念与表象的组织形式,从而在理论层次上为思维计算提供基本的研究框架。
2.2大脑思维的神经学基础人类不可能在不了解大脑本质的情况下了解各种认知过程。
在缺乏神经生物学证据的情况下架构认知理论是不切合实际的。
主要原因在于信息处理空间极为广阔,神经学证据为各种信息处理理论规范了关键条件,从而缩小了理论求证的范围。
神经科学家关注的是人脑和神经系统分子发育和工作的机制。
当前的研究前沿和主要趋势是在分子、细胞和整体水平上对脑功能和疾病进行综合研究,并从脑的发育过程了解脑的构造原理。
神经学的研究将解释人脑中知觉信息的处理过程。
现代神经生理学的研究成果表明,人脑的智能主要由大脑皮层来实施,而大脑皮层是一个大规模互连的生物神经网络[4]。
生物个体对客观事物的认知可以解释为信息在神经子网络上的刺激-传递-激活-反馈活动[5]。
对大脑思维的神经学研究相当于对思维计算的物质载体进行结构和机理的学习,是其功能机器实现的必然阶段。
2.3记忆理论心理学界对记忆系统有较一致的认定:/把人的记忆称为信息加工系统,认为记忆包括对接受到的环境信息进行编码、存储和提取这三种不同的过程0[6]。
人们普遍认为智能水平很大程度上取决于知识储备的完备程度。
而对于人脑记忆系统中有意义的信息的研究则相当于人工脑中的知识系统。
在知识存储结构)))记忆结构方面, R.C.阿特金森和R.M.希夫林1968年提出的两种存储理论,以及后来的三级加工模型得到心理学界对于记忆系统结构研究的一致认可[7]。
而Badde ley等人对于工作记忆的研究则将认知活动的空间进一步细化,工作记忆位于外界刺激与长#131#吉林大学学报(工学版)第36卷时记忆中间,其中的中央执行部分起着注意的作用更是对智能行为研究的另一切入点。
在知识的表征形式方面,Tu l v ing将长时记忆中的信息分为情景记忆和语义记忆。
Pa i v io又从信息编码方面提出了心象系统和言语系统。
思维计算综合了抽象的概念表示法与形象的表象表示法,研究信息在知识存储系统中的合成表达方式。
此外知识的组织形式也是记忆理论中另一研究方向。
迄今为止,S.M.科林斯和M.R.奎连的层次网络模型和激活扩散模型、M eyer提出的集理论模型[8]、Anderson和Bo w er提出的HAM模型以及L i n dersay和Nor m an提出的ELI N ER模型都是值得学习和借鉴的信息组织形式。
2.4基于表象的形象认知体系对于形象思维的研究,人工智能学者们很早就提出了连接主义的方法,通过构造人工神经网络来模拟生物神经网络,以期在功能上模拟形象思维以至于整个智能行为。