【摘要】推理的有效性问题是逻辑学研究的重要问题。有各种不同的有效性概念。本文给出了一个谓词认知逻辑的形式语言(称为LIK),给出了它的语义,定义了有效性概念。用语言LIK刻画简单枚举法,并证明这种推理在IK系统中是有效的。
【关键词】
《建筑知识》 2015-05-12
《中国医疗管理科学》 2015-05-12
《中国医疗管理科学》 2015-05-12
《中国医疗管理科学》 2015-05-12
《中外医疗》 2015-07-03
《铁道运营技术》 2015-07-06
《南京体育学院学报（社会科学版）》 2015-07-01
《中外医疗》 2015-07-06
010-56259535
关注中教数据库
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
个人中心
退出
发表评论
登录后发表评论 (已发布 0条)点亮你的头像 秀出你的观点