共查询到20条相似文献,搜索用时 15 毫秒
1.
2.
人工智能中的形式化问题 总被引:3,自引:0,他引:3
形式化在人工智能研究中处于方法论的地位。为了模拟人的智能,人工智能的形式化突破了逻辑的限定,在表述和算法上发展出自成特色的模式,但是与自然语言和日常推理相比仍有很大局限性。由于人工智能对形式化的依赖,形式化事实上成为人工智能不可逾越的界限。 相似文献
3.
在量化问题上,传统逻辑和现代逻辑的对当方阵大相径庭,且各有局限。哲学实验结果显示:(1)自然语言中A、I命题都允许主项为实体性存在、观念性存在,不接受自相矛盾的主项;(2)各语境下自然语言的A、I命题在主项存在方面高度相似,表明A命题预设了主项存在;(3)不同语境下对A、I命题的否定接受了不同的预设,表明了否定包含预设、且预设具有层次性。基于实验结果的"分层量化"方案,把A命题的主项存在预设形式化为公式的一部分;把不同语境下否定的预设形式化为独立的前提,据此分层建立了否定时预设个体存在(■x)、预设主项存在(■xSx)、预设主项为全域(■xSx)的对当方阵,三者具有内在一致性。新方案似可较为系统地消解量化问题的困境。 相似文献
4.
5.
6.
信息时代的自然语言逻辑研究特色 总被引:2,自引:1,他引:1
当今,计算机人工智能科学迅猛发展,语言信息处理技术一日千里。知识经济时代就是信息处理的时代,70-90年代的国际逻辑学研究不得不受到这个时代特色的影响,至少在自然语言逻辑的领域内出现了以下几个方面的特征:关注语言信息的效... 相似文献
7.
8.
“空表征问题”是关于概念或命题表达的对象是否真实存在于实现世界的问题。这个问题不仅普遍存在于我们日常生活的现实世界,也存在于科学探询的自然世界、可能世界或虚拟世界,在哲学上成为实在论和反实在论争论的焦点。在人工智能的语境下,空表征转化成了虚拟表征,人工智能如何应对空表征,实质上就是如何应对虚拟表征,具体说可通过生成性人工智能、虚拟数字化和图像构造来应对。这些应对方法事实上是人工智能对设想对象或虚拟对象的适应性表征,因为空表征的目的也是为了实现主体的意图或目标。 相似文献
9.
10.
11.
《自然辩证法通讯》2020,(7)
本文是一种尝试:结合汉语文字的博大深邃、简明扼要、一字千钧与英文的灵活细腻、严谨周全、长于诠释论证的特质,用汉语写成的命题连串起来,构成本文的总论断;随附每一个命题的英文解说,则构成对该命题及其中概念的诠释和论证。英文论证所需要的文献,亦引用于其中。本文毋需以摘要贯首,选读中文部分,大意便可一览无余。本文以金岳霖先生的《论道》为典范,在该书绪论中,金先生谈及他本来写作均用英文,后来才尝试着用中文写作,以满足国人学习哲学的需要。如今,国内哲学社会科学领域的学生及学者,英文水平已经很高,正是利用汉语和英文各自的优势,达到弘扬汉语文字,兼顾详尽诠释与严谨论证的大好时代。本文正是在此思路下的一种尝试。探索以汉语为主,英文为辅的哲学写作路径。 相似文献
12.
《自然科学史研究》2000,(3)
《权力与知识 :英美科技政策史》 吴必康著 ,福州 :福建人民出版社 ,1 998年 9月第 1版 ,3 4 50 8页 ,2 5元。 ISBN 7-2 1 1 -0 32 65-0该书是一部系统阐述英美两国科技政策起源和发展历史的专著 ,是填补国内此项研究空白之作。全书分英国和美国两编。英国编有上下两篇 :上篇论述历史起源和初期发展 ,下篇论述现代历史发展及其重大变化。美国编也分上下两篇 :上篇论述从殖民地时代至 1 9世纪的开拓与发展时期 ,下篇论述 2 0世纪的“战争与和平”时期。该书论述主要围绕科技政策史上的根本性问题及相互关联的两个方面 ,即英美两国的科学… 相似文献
13.
现存探讨河防技术的最早著作是由其祖为大食人的元代沙克什重编的《河防通议》。该书算法门把当时很多先进的数学方法用于工程计算,特别是使用了天元术,这在技术著作中还是首次见到。该文分三部分研究了算法门:第一部分介绍了该书的内容和沙克什的身世;第二部分研究算法门的数学问题;第三部分证明了该书各个部分都非沙克什本人所著,他只是在北宋汴本和金都水监本的基础上进行了重编,并写了部分注释。 相似文献
14.
15.
《自然科学史研究》2006,25(4):410-412
新书简介本栏简介本刊收到的科学技术史以及相关论著,欢迎著者、编者、读者和出版社等惠寄有关著作。《竺可桢全集》(1—7卷)樊洪业主编,上海:上海科技教育出版社,精装第1卷,29+608页,2004年7月第1版,100元,ISBN:7-5428-3406-1第2卷,21+697页,2004年7月第1版,100元,ISBN:7-5428-3458-4第3卷,17+575页,2004年7月第1版,100元,ISBN:7-5428-3459-2第4卷,17+565页,2004年7月第1版,100元,ISBN:7-5428-3460-6第5卷,15+567页,2005年12月第1版,100元,ISBN:7-5428-3987-X第6卷,15+672页,2005年12月第1版,100元,ISBN:7-5428-3992-6第7卷,15+5… 相似文献
16.
17.
矛盾问题是制约人工智能发展的重要问题,而基于矛盾的认识论解释表明了,矛盾是由矛盾信息的共存所致,因此解决矛盾的理想方法便是分析矛盾信息,从中推理命题的有效证据。而一些逻辑学家提出的标注逻辑正是对矛盾信息的分析,该逻辑通过对矛盾信息中有利证据与不利证据的标注,推理出证据的确定度与矛盾度,进而求解命题真正的证据度,以解释命题的意义。基于标注逻辑对矛盾问题的解决,不仅推动了人工智能的发展,同时也促进了人类理性思维的可计算化研究。 相似文献
18.
19.
针对"人工智能是威胁人类文明的科技之火"等观点,学界有多种回应。本文基于马克思主义新认识论尝试论证:人工智能无法直接威胁人类文明,无法发展出超越人类的文明。马克思主义新认识论,是吸收默会知识理论等现代知识论成果的认识论。根据这一新认识论,可知:人工智能本质上是人造机器运用人类喂给它的知识,是人类已有明述知识的转移、利用;人工智能难以产生默会知识,也无法创造新的明述知识或命题性知识;人工智能的学习能力基于算法而不是社会交往。 相似文献
20.
数据库语义学(Database Semantics,DBS)将自然语言交流的周期构建为从听觉过渡到思维再过渡到说话,然后从说话返回到听觉的模式(这是一个循环模式)。与真值条件语义学和短语结构语法使用的替换驱动和基于符号的方法不同,数据库语义学是数据驱动的和基于智能代理的。其目的是为具有语言能力的自主机器人提供一种语义学理论。在数据库语义学中,命题是表示内容的,而不是表示真值的(第1—3节)。内容由指称、属性和关系等语义类建立起来,它们由经典的结构语义关系,即函子论元和协调关系串联而成。为了使指称成为一个智能代理内部的认知过程,语言和非语言的内容都使用了相同的计算数据结构和操作种类,而它们之间的主要区别在于是否存在与语言相关的表面值。数据库语义学包括三部分:(i)一个交互界面,(ii)一个存储器,(iii)一个操作组件。交互界面部分在智能的认知与其外部和内部环境之间进行协调,表示为由传感器和激活器提供的原始数据(第4—7节)。智能代理每时每刻的监测数据都被存储在存储器的前端。作为智能代理控制单元的一部分,存储器的这个前端就是执行操作组件程序的位置所在,它是在内容中产生的。 相似文献