一个关于常识推理的基础逻辑

【摘要】：正一、常识推理的志例与分析直观上常识推理就是用到常识的推理。考虑到技术处理的方便,可以宽泛地将含有常识命题或常识句的推理称为常识推理。下面是一些常识推理的例子。 (1)如果下雨则地湿,下雨,所以,地湿。 (2)鸟会飞,特威蒂是鸟,所以,特威蒂会飞。

下载App查看全文

CAJViewer阅读器支持CAJ、PDF文件格式，AdobeReader仅支持PDF格式

	【相似文献】
	【相似文献】

中国期刊全文数据库

前20条

1	冯棉;;一类命题逻辑的一般弱框架择类语义[J];逻辑学研究;2011年02期
2	刘靖贤;;不可超越的无穷:关于直谓性和后继公理的关系[J];逻辑学研究;2011年02期
3	刘小涛;;KH语句的成真条件[J];世界哲学;2011年04期
4	姚从军;;双模拟与模态逻辑[J];重庆理工大学学报(社会科学);2011年08期
5	李骏;邓富喜;;n值S-MTL命题逻辑系统中公式真度的统一理论[J];电子学报;2011年08期
6	左卫兵;;三值命题逻辑随机化的注记[J];河北师范大学学报(自然科学版);2011年04期
7	查非;刘虎;;状态相似性与流量限制模型[J];逻辑学研究;2011年02期
8	马文俊;熊卫;;旧证据问题:一种动态的消解方案[J];逻辑学研究;2011年02期
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];2003年逻辑研究专辑[C];2003年
2	周北海;毛翊;;常识推演——常识推理的形式刻画[A];2004年逻辑研究专辑[C];2004年
3	鞠实儿;;基于开放世界假设的三值逻辑的语义推理系统[A];开放类逻辑论文集[C];2004年
4	王雨田;;当前的逻辑教学科研向何处去?[A];1993年逻辑研究专辑[C];1993年
5	刘壮虎;;自指性命题的逻辑构造[A];1993年逻辑研究专辑[C];1993年
6	刘壮虎;;集体认定的逻辑[A];1998年逻辑研究专辑[C];1998年
7	刘壮虎;;相干逻辑的邻域语义学[A];1995年逻辑研究专辑[C];1995年
8	张清宇;;弗协调逻辑系统Zn和ZnUS[A];理有固然——纪念金岳霖先生百年诞辰[C];1995年
9	郝兆宽;;论TRS的交汇性[A];2000年逻辑研究专辑[C];2000年
10	胡泽洪;;论语义预设[A];1993年逻辑研究专辑[C];1993年

中国博士学位论文全文数据库

前10条

1	韩诚;R_0代数及Vague集的相似度理论[D];陕西师范大学;2006年
2	吕进;基于时间和行动规划的知识—意图逻辑[D];西南大学;2008年
3	史璟;非良基集与模态逻辑[D];南开大学;2009年
4	荣立武;内涵逻辑的哲学基础[D];中山大学;2006年
5	郭佳宏;理想自省主体的信念修正[D];中山大学;2006年
6	戴细华;多值逻辑语义博弈[D];中山大学;2006年
7	娄永强;信息流理论的逻辑研究[D];南开大学;2009年
8	冯彦波;合并逻辑方法研究[D];南开大学;2010年
9	杜文静;反基础公理的模型研究[D];南开大学;2010年
10	张世宁;广义量词理论研究[D];南开大学;2010年

中国硕士学位论文全文数据库

前10条

1	王永安;二值命题逻辑公式在等价意义下的一般表示及其应用[D];陕西师范大学;2008年
2	张丽;时态公开宣告逻辑初探[D];西南大学;2009年
3	倪国强;广义量词理论对自然语言限定词的研究[D];内蒙古师范大学;2009年
4	崔晓红;模态情境语义学试论[D];河南大学;2006年
5	刘珂;动态认知逻辑发展初探[D];河南大学;2008年
6	李海霞;逻辑代数中若干问题的研究[D];陕西师范大学;2008年
7	刘保翠;命题逻辑中公式的Γ蕴涵真度及相对Γ-重言度理论[D];陕西师范大学;2008年
8	史璟;试论逻辑语言的发展[D];河南大学;2006年
9	李炳洲;安斯考姆《意向》导论[D];华东师范大学;2006年
10	蒋军利;公开更新逻辑[D];西南大学;2007年

中国重要报纸全文数据库

前1条

1	陈波;人工智能当代逻辑发展的动力[N];光明日报;2000年

	快捷付款方式		订购知网充值卡	订购热线	帮助中心
	微信支付支付宝银行卡	知网卡在线购卡更多>>	免费送卡上门银行汇款购卡邮局汇款购卡	400-819-9993 010-62982499 010-62783978	常见问题在线咨询阅读器下载	充值中心知网卡新手指南