收藏本站
收藏 | 论文排版

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

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

知网文化
【相似文献】
中国期刊全文数据库 前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