数理逻辑与人工智能-（每日一题）计算机研究与发展

厶 第34卷第6期 计 算 机 研 究 与 发 展 1997年 6月 COMPUTER RESEARCH ＆ DEVELoPMENT Vo!．34．No．6 Jun．1997 ． 。 r， 一 问题——常识、人工智能与数理逻辑 ( 林作铨 (汕头大学计 再 弓五 。’；-头 515063) ， 程迂嗲 THE CoM M oNSENSE PRoBLEM — — C0M M 0NSENSE，AI，AND M ATHEM ATICAL LoGIC LIN Zuo—Quan (Jm }mf数理逻辑与人工智能，C~ puter Science，Sha~tou Uni~ sity．Sl~antou 515063) Al~tract This paper puts forward the criterion and the i3~ollscnse logic is outlined． Xey words Class number TP18 0 问题的提出 prob~m ，AI problem．By the establishment of the mode1．a technical approach tO budding a com一 一个问题，它是如此简单 ，以致在日常生活中的人们感觉到它无时无处不在，但它又 是如此复杂 ，致使我们至今无法精确地描述它，它就是我们将研究的问题，称之为常识问 题．常识是指人们在日常生活中的知识，特别是指那些不言自明的众所周知的知识数理逻辑与人工智能，即所 谓只可意会难于言传的东西．它是一种 日常生活中的人们都在使用但又无须明显表达出 来的客观媒介．我们所指的常识问题就是如何精确地定义常识的问题，也就是如何建立关 于常识的数学基础 ，使得能够在机器中表达人的常识的问题． 收赫日期：1995-01—20：修回日期：1996—05—20．本文得蓟国家基础研究攀登计蛔、国家高技术 853 计划、国家自然 科学基盒和广末省自然科学基盒的资助．#作链，1963年生，博士．现为汕头大学计算机科学研究所 (系)教授，主要从 事计算帆科学与人工智能的逻辑和算法等研究． A 臼， r 维普资讯