人工智能的认识论问题_模糊数学在人工智能上的应用.pdfVIP

( ) 1　　53 《西南民族大学学报 》人文社科版 　2007 / 03 总第 187期 本刊网址 : www x uebaonet 人工智能的认识论问题 ———模糊数学在人工智能上的应用 　　　　蔡 　兵 　陈 　勇 　黄丽珊 　张利华 [摘要 ]人工智能是计算机科学中的一个分支 ,用模糊数学的命题逻辑和谓词逻辑 ,使计算机能构造出 语句来表达知识和意思 。人工智能的发展 ,使人们认识到人类的活动 ,无非是进行能量变换和信息交 换 ,大大地推动了社会的前进 ,深化了人们对认识论问题的研究 。 [关键词 ]人工智能 ;认识论 ;模糊数学 中图分类号 : B 82　　　　文献标识码 : A 　　　　文章编号 : 1004 —3926 (2007) 03—0153—03 　作者简介 :蔡兵 ,女 ,博士 ,四川大学科技处副处长 。四川 成都 　610064 　　用机器替代人脑 ,这是历史上许多科学家的 我们可应用简单的原子公式 : INROOM ( ROBO T, 不懈追求 。由于 20 世纪数理逻辑等学科的迅速 r1) 。式中: ROBO T和 r1为常量符号 , INROOM 为 发展 ,终于在 1945年研制成功了人类第一台电子 谓词符号 。一般 , 原子公式由若干谓词符号和项 计算机 ,从而揭开了用机器替代人脑从事脑力劳 组成 。常量符号是最简单的项 ,用来表示论域内 动的历史序幕 。“如今 , 人工智能有 了蓬勃的发 的物体与实体 ,它可以是实际的物体和人 ,也可以 展 ,专家系统 、智能决策 、智能机器人 、自然语言理 是概念或具有名字的任何事情 。变量符号也是 解 , 以及机器学习、机器发现 、机器证明等方面的 项 ,并且允许我们不必明确是哪个实体 。例如 , [ 1 ] 成就均显示了人工智能的巨大威力 。” INROOM ( x, y) ,这里采用变量符号 x, y等将在下 (一 ) 面用函数符号表示论域内的函数 。例如 : 函数符 ( ) 号 mother可用来表示某人与他 或她 的母亲之间 人工智能是计算机科学中涉及设计智能计算 ( ) 的一个映射 。我们用下列原子公式表示 “李 L I 机系统的一个分支 ,这些系统呈现出与人类的智 的母亲与他的父亲结婚 ”这个句子 :MARR IED [ fa 能行为 ,如理解语言、学习、推理和解决问题等有 ( ) ( ) 关特征 。最简单的说 : 由计算机来表示和执行人 ther L I , mother L I ] 。我们一般用大写字母串 表示谓词符号 ,如 INROOM 和 MARR IED 等 。 类的智能活动 , 就是人工智能 ; 或者 比较准确 的