收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

用认知逻辑刻画简单枚举法

熊立文  
【摘要】:推理的有效性问题是逻辑学研究的重要问题。有各种不同的有效性概念。本文给出了一个谓词认知逻辑的形式语言(称为LIK),给出了它的语义,定义了有效性概念。用语言LIK刻画简单枚举法,并证明这种推理在IK系统中是有效的。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 郭美云;;从动态认知逻辑的角度看偏好——刘奋荣《动态偏好逻辑》评介[J];逻辑学研究;2011年02期
2 ;[J];;年期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
11 ;[J];;年期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 熊立文;;用认知逻辑刻画简单枚举法[A];2001年逻辑研究专辑[C];2001年
2 张建军;;逻辑全能问题与动态认知逻辑[A];2000年逻辑研究专辑[C];2000年
3 熊立文;;卡尔那普与简单枚举法[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年
4 李夏妍;张敏强;;认知逻辑研究概观[A];第十届全国心理学学术大会论文摘要集[C];2005年
5 刘奋荣;;非单调性问题与自认知逻辑[A];2001年逻辑研究专辑[C];2001年
6 陈晓华;;逻辑全能问题研究述评[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年
7 冯荷飞;曹子宁;;交错时序认知逻辑在安全协议中的应用[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
8 唐晓嘉;陈树文;;认知逻辑的几个语义问题分析[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年
9 刘奋荣;;缺省逻辑如何研究非单调推理?[A];逻辑、语言与思维——周礼全先生八十寿辰纪念文集[C];2001年
10 熊立文;;关于枚举归纳法的几种理论[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年
中国博士学位论文全文数据库 前10条
1 黄孝喜;隐喻机器理解的若干关键问题研究[D];浙江大学;2009年
2 苏畅;汉语名词性隐喻的计算方法研究[D];厦门大学;2008年
3 王勇;用于电力行业决策支持的多AGENT技术研究[D];华东师范大学;2007年
4 江敏;多视点需求工程中不一致性的检测与处理[D];武汉大学;2007年
5 吕进;基于时间和行动规划的知识—意图逻辑[D];西南大学;2008年
6 张家琼;教学网络组织系统研究[D];西南大学;2009年
7 刘奋荣;非单调推理的逻辑研究[D];中国社会科学院研究生院;2001年
8 张君;知道逻辑中的知识可传递性问题研究[D];清华大学;2008年
9 邹渝;逻辑视域下的群体科学决策研究[D];西南大学;2009年
10 冯彦波;合并逻辑方法研究[D];南开大学;2010年
中国硕士学位论文全文数据库 前10条
1 王轶;认知逻辑的动态化理论[D];中国人民大学;2005年
2 刘珂;动态认知逻辑发展初探[D];河南大学;2008年
3 李慧华;自认知逻辑AEL[D];华南师范大学;2007年
4 陆志浩;多Agent系统合作认知逻辑的研究[D];南京航空航天大学;2008年
5 贾改琴;知道谓词逻辑[D];西南师范大学;2005年
6 萧瑶;信念修正逻辑初探[D];西南大学;2008年
7 张丽;时态公开宣告逻辑初探[D];西南大学;2009年
8 王明璨;英语现在完成式难题[D];四川外语学院;2011年
9 蒋军利;公开更新逻辑[D];西南大学;2007年
10 章江花;基于BDI-VSK-T逻辑的Agent系统形式化模型的研究[D];云南师范大学;2006年
中国重要报纸全文数据库 前10条
1 陈波;人工智能 当代逻辑发展的动力[N];光明日报;2000年
2 朱德全 龙登丽;课堂改革:能否基于问题开处方?[N];中国教育报;2004年
3 鲁宁;中美纺织品协议不出所料[N];中国保险报;2005年
4 中国社会科学院农村发展所研究员 李成贵;建设清洁的新农村[N];人民日报;2007年
5 陈慕泽;多主体系统中的互知[N];光明日报;2000年
6 陈波;逻辑学的2005年[N];光明日报;2006年
7 中国人民大学附属中学高级教师 彭晓;无限网络,无限教育[N];光明日报;2006年
8 刘倩倩;威海和谐发展指数位列全国第四[N];威海日报;2007年
9 耿晶;烟台城市和谐发展指数全国第十[N];烟台日报;2007年
10 华东师范大学 冯棉;逻辑科学,将充满活力[N];社会科学报;2004年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978