《中山大学学报论丛》2000年02期

发布时间：2016-11-23 16:45

本文关键词：从人工智能看当代逻辑学的发展，由笔耕文化传播整理发布。

《中山大学学报论丛》 2000年02期

投稿

从人工智能看当代逻辑学的发展

【摘要】：文章认为,计算机科学和人工智能将是21世纪逻辑学发展的主要动力源泉,并且在很大程度上将决定21世纪逻辑学的面貌。至少在21世纪早期,逻辑学将重点关注下列论题:(1)如何在逻辑中处理常识推理的弗协调、非单调和容错性因素;(2)如何使机器人具有人的创造性智能,如从经验证据中建立用于指导以后行动的可错的归纳判断;(3)如何进行知识表示和知识推理,特别是基于已有的知识库以及各认知主体相互之间的知识而进行的推理;(4)如何结合各种语境因素进行自然语言理解和推理,使智能机器人能够用人的自然语言与人进行成功的交际等等。

【作者单位】：北京大学哲学系
【关键词】：
【分类号】：B81-05
【正文快照】：

现代逻辑创始于19世纪末叶和20世纪早期,其发展动力主要来自于数学中的公理化运动。当时的数学家们试图即从少数公理根据明确给出的演绎规则推导出其他的数学定理,从而把整个数学构造成为一个严格的演绎大厦,然后用某种程序和方法一劳永逸地证明数学体系的可靠性。为此需要发

下载全文更多同类文献

PDF全文下载

CAJ全文下载

(如何获取全文？欢迎：购买知网充值卡、在线充值、在线咨询)

CAJViewer阅读器支持CAJ、PDF文件格式，，AdobeReader仅支持PDF格式

【相似文献】

中国期刊全文数据库前10条

1 郭美云;;[J];逻辑学研究;2011年02期

2 ;[J];;年期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

中国重要会议论文全文数据库前10条

1 张建军;;[A];2000年逻辑研究专辑[C];2000年

2 熊立文;;[A];2001年逻辑研究专辑[C];2001年

3 刘奋荣;;[A];2001年逻辑研究专辑[C];2001年

4 陈晓华;;[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年

5 冯荷飞;曹子宁;;[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年

6 唐晓嘉;陈树文;;[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

7 刘奋荣;;[A];逻辑、语言与思维——周礼全先生八十寿辰纪念文集[C];2001年

8 蔡曙山;;[A];小康社会：文化生态与全面发展——2003学术前沿论坛论文集[C];2004年

9 郭佳宏;;[A];和谐社会：社会建设与改革创新——2007学术前沿论丛（下卷）[C];2007年

10 李瑞峰;;[A];1994年逻辑研究专辑[C];1994年

中国重要报纸全文数据库前3条

1 陈波;[N];光明日报;2000年

2 陈慕泽;[N];光明日报;2000年

3 华东师范大学冯棉;[N];社会科学报;2004年

中国博士学位论文全文数据库前6条

1 吕进;[D];西南大学;2008年

2 刘奋荣;[D];中国社会科学院研究生院;2001年

3 张君;[D];清华大学;2008年

4 冯彦波;[D];南开大学;2010年

5 郭佳宏;[D];中山大学;2006年

6 张继华;[D];西南大学;2012年

中国硕士学位论文全文数据库前9条

1 王轶;[D];中国人民大学;2005年

2 刘珂;[D];河南大学;2008年

3 贾改琴;[D];西南师范大学;2005年

4 萧瑶;[D];西南大学;2008年

5 张丽;[D];西南大学;2009年

6 蒋军利;[D];西南大学;2007年

7 张亮;[D];山西大学;2010年

8 郭美云;[D];西南师范大学;2003年

9 熊作军;[D];西南大学;2011年