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

来源 :中山大学学报论丛 | 被引量 : 0次 | 上传用户:a328623784
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
文章认为,计算机科学和人工智能将是21世纪逻辑学发展的主要动力源泉,并且在很大程度上将决定21世纪逻辑学的面貌。至少在21世纪早期,逻辑学将重点关注下列论题:(1)如何在逻辑中处理常识推理的弗协调、非单调和容错性因素;(2)如何使机器人具有人的创造性智能,如从经验证据中建立用于指导以后行动的可错的归纳判断;(3)如何进行知识表示和知识推理,特别是基于已有的知识库以及各认知主体相互之间的知识而进行的推理;(4)如何结合各种语境因素进行自然语言理解和推理,使智能机器人能够用人的自然语言与人进行成功的交际等等。
其他文献
现阶段我国环保领域中控制、评估地下水土环境污染并加以修复已经是当前的主要任务,而解决这一问题可以通过岩土工程来实现,利用岩土工程的优势结合国家的实际国情对地下水环
一九七八年九月,我们省常中物理教研组初三备课组建立并开始了工作。我们组五个同志中,有的是一直教高中的同志,有的原来是学其他专业的同志,有的是教了十多年书的中年教师,
目的观察行气活血健脾利水方治疗糖尿病性黄斑水肿(DME)的临床疗效。方法将65例糖尿病性黄斑水肿患者随机分为治疗组(33例)和对照组(32例)。治疗组予活血健脾利水方免煎颗粒
<正> 在铁路的转弯处,常常使路面向弯道中心倾斜一个很小的角度,这样做的目的,使作用在火车上的重力(mg)和铁轨的托力(N)的合力,正好提供火车转弯时所需要的向心力(图1),即 mgtgα=
<正>2010年11月26~27日,水规总院在北京主持召开会议,对《水工(常规)模型试验规程(送审稿)》进行了审查,参加会议的有中国水利水电科学研究院、长江科学院、河海大学、西安理
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
会议