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

话语语义的自然推理系统

祝文庭  
【摘要】:正本文所介绍的SDRT系统是由冯纳·索尔(Werner Saurer)在前人工作的基础上建构而成的,意在运用已有的语义学成果,为人工智能提供一个自然语义的理解模型。 SDRT的基本语法由两部分组成,一是它的语言(简记为DRL)的符号库,二是它的表达式的定义规则。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 王太忠;;对自然推理系统P_N中假设前提销去规则(Hyp~-)的理解[J];昆明师范高等专科学校学报;2007年02期
2 姚从军;;古典命题逻辑与模态命题逻辑的自然推理系统之比较[J];湖南科技学院学报;2008年09期
3 戴春勤;;论替换中项法下的直言三段论自然推理系统[J];毕节学院学报;2009年02期
4 朱建平;;卡尔纳普的量化模态逻辑形式语义学[J];燕山大学学报(哲学社会科学版);2010年03期
5 毕富生;逻辑教学体系改革要同自然推理相结合[J];山西大学学报(哲学社会科学版);1985年03期
6 育葵;;逃脱尴尬[J];北京支部生活;1998年07期
7 熊立文;卡尔纳普归纳理论探析[J];中山大学学报(社会科学版);2003年S1期
8 张清宇;;直言推理系统[J];逻辑学研究;2008年01期
9 苏楼;知道命题演算[J];内蒙古师范大学学报(哲学社会科学版);1987年02期
10 TIGER楚;;爱漫无老幼[J];中关村;2003年01期
11 ;快乐生活[J];瘦佳人;2011年08期
12 熊立文;逻辑贝叶斯派的归纳理论[J];北京师范大学学报(社会科学版);1993年01期
13 陈炜 ,杨莉;卡尔纳普归纳逻辑系统在知识获取中的应用[J];南京师大学报(社会科学版);1990年03期
14 张振华;谈谈自然推理[J];思维与智慧;1983年05期
15 潘沁;;鲁道夫·卡尔纳普概率确证理论及其方法论意义[J];广西师范大学学报(哲学社会科学版);2007年02期
16 周兴志;贝新祯;;形式逻辑教学改革的思考和实践[J];新疆师范大学学报(哲学社会科学版);1988年01期
17 乌家培,杜链,陈玉龙,江道琪,叶佩功;关于研究信息科学和经济系统的思考[J];哲学研究;1992年03期
18 熊立文;“无限全称命题概率为0”问题与归纳概率逻辑[J];北京师范大学学报(人文社会科学版);2002年03期
19 马斯洛;徐启宇;吴庆麟;;有关生长和自我实现心理学的若干基本观点(续)[J];教育评论;1987年01期
20 蔡曙山;词项逻辑与亚里士多德三段论——兼复王路同志[J];哲学研究;1989年10期
中国重要会议论文全文数据库 前10条
1 祝文庭;;话语语义的自然推理系统[A];1994年逻辑研究专辑[C];1994年
2 张清宇;;弱条件句逻辑W的自然推理系统[A];1994年逻辑研究专辑[C];1994年
3 熊立文;;卡尔那普与简单枚举法[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年
4 莫绍揆;;归纳推理的形式系统[A];1994年逻辑研究专辑[C];1994年
5 张清宇;;古典命题逻辑的证伪系统[A];1996年逻辑研究专辑[C];1996年
6 吴炳荣;;熵与概率逻辑[A];1995年逻辑研究专辑[C];1995年
7 赵总宽;;基于和面向现实世界对象的人机交互广义归纳认知模型及其意义[A];1995年逻辑研究专辑[C];1995年
8 黄诚;叶银忠;潘日芳;;容错控制中传感器、执行器故障模型“全或无状态描述”局限性分析及改进[A];1993中国控制与决策学术年会论文集[C];1993年
9 周荣官;陆鼎铭;;目前粉喷桩施工质量现状的一点分析[A];地基处理理论与实践——第七届全国地基处理学术讨论会论文集[C];2002年
10 胡茑庆;胡雷;秦国军;;面向机电系统状态监控的新异类检测技术分析[A];2008年全国振动工程及应用学术会议暨第十一届全国设备故障诊断学术会议论文集[C];2008年
中国博士学位论文全文数据库 前4条
1 赵春华;基于摩擦学与动力学的摩擦学系统状态描述方法研究[D];武汉理工大学;2005年
2 冯升波;磁测残余应力法的基本理论和实验研究[D];清华大学;1997年
3 安跃军;深海机器人推进电机混沌现象研究[D];沈阳工业大学;2005年
4 张秀斌;视情维修决策模型及应用研究[D];中国人民解放军国防科学技术大学;2003年
中国硕士学位论文全文数据库 前10条
1 申璐榕;Timeliner机制及其在机器人控制中的应用研究[D];国防科学技术大学;2008年
2 程传宁;AHB-PC Card桥IP核数据通路设计与实现[D];电子科技大学;2007年
3 李睿红;卡尔纳普归纳逻辑及其意义探析[D];西南大学;2009年
4 石守东;基于多源信息融合的机电系统监控方法的研究[D];河北工业大学;2011年
5 张颖;基于关联分析的入侵检测技术研究[D];燕山大学;2006年
6 冉文博;私营企业薪酬制度对劳资关系的影响分析[D];吉林大学;2007年
7 董玉倩;制造执行系统关键技术研究及在纺织企业的应用[D];天津工业大学;2008年
8 戚凤云;散杂货港口货物可追溯性问题研究[D];大连理工大学;2008年
9 潘沁;卡尔纳普概率确证理论探讨[D];华中师范大学;2003年
10 高亚格;多传感器信息融合中态势估计方法研究[D];兰州理工大学;2006年
中国重要报纸全文数据库 前10条
1 申林英;寻找中国的巴菲特历史真的会重演么?[N];证券日报;2008年
2 本报评论员 徐立凡;中国需要什么样的“思想市场”[N];华夏时报;2006年
3 记者  宋焱;《报告》重心在于为公众提供充分信息[N];金融时报;2006年
4 李学宾;牛市:盛宴还是幻象[N];中国经营报;2006年
5 刘云录;商标抢注 喜乎忧乎?[N];中国消费者报;2006年
6 ;城市配电网管理[N];计算机世界;2001年
7 石仁坪;蓝筹行情还能走多远?[N];第一财经日报;2007年
8 董唯元;可用性度量是惟一指标[N];中国计算机报;2006年
9 杨耕身;艾滋患者“蒙头握手”的悲怆[N];中国商报;2006年
10 李频;开拓市场的应对策略[N];中国文化报;2001年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978