教育部人文社会科学研究重大课题攻关项目(04JZD0006)

作品数：8被引量：15H指数：2
导出分析报告
相关作者：夏年喜张立英邹崇理裘江杰李小五更多>>
相关机构：首都师范大学中山大学中央财经大学中国社会科学院哲学研究所更多>>
相关期刊：《哲学研究》《哲学门》《首都师范大学学报（社会科学版）》《现代哲学》更多>>
相关主题：逻辑DRT格语法话语表达蒙太格语法更多>>
相关领域：哲学宗教语言文字自动化与计算机技术文化科学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
条件句逻辑完全性问题探微初步
《湖南科技大学学报（社会科学版）》2007年第4期35-40,共6页张立英 
教育部哲学社会科学研究重大课题攻关项目资助(04JZD0006)
直接定义模型,不定义框架是条件句逻辑研究中的一个惯常现象。作者以唐纳德.纽特在Topics in Conditional Logic一书中给出的条件句逻辑系统W为出发点,引入了Wo=W+RCEA,并证明了Wo的框架完全性,进而讨论RCEA的取舍对条件句逻辑完全性的...
关键词：BCS-框架 典范结构 Г-典范框架 Г-典范模型 
一族不完全的逻辑被引量：1
《哲学研究》2007年第4期111-114,共4页裘江杰 
教育部哲学社会科学重大课题攻关项目(编号04JZD0006)的资助
关键词：模态逻辑 60年代 时态逻辑 不可数 证明 完全性 代数 VB 
从语言到逻辑——范畴类型逻辑序列被引量：6
《重庆工学院学报》2006年第4期1-7,共7页邹崇理 
教育部哲学社会科学研究重大课题<基于自然语言的知识表达推理系统研究>(04JZD0006)
范畴类型逻辑序列是近30年来语言和逻辑交叉研究的重要学派,是对自然语言的计算机处理影响很大的形式语义理论。该理论把自然语言的生成毗连看作是范畴的运算和推演,据此构造自然语言的语句系统,并确立直接或间接的语义解释。另一方面...
关键词：范畴类型逻辑 自然语言 范畴运算 
浅析塔尔斯基真值条件语义学研究中存在的问题
《首都师范大学学报（社会科学版）》2006年第3期42-44,共3页夏年喜 
教育部哲学社会科学研究重大课题攻关项目(04JZD0006)资助
在对塔尔斯基真值条件语义学的研究中,至少有两种提法是错误的,一是把T约定看成是“真语句”的定义,再有就是认为塔尔斯基的真理观是真理符合论。这两种错误的提法势必影响到人们对塔尔斯基真值条件语义学理论本身的理解,从而影响到对...
关键词：T约定 T等值式 真理符合论 
概称句推理逻辑系统G_(0)-G_(4)的完全性
《哲学门》2006年第1期99-123,共25页张立英 
教育部哲学社会科学研究重大课题攻关项目(04JZD0006)资助。
我们在《基于主谓项涵义联系的概称句推理的几个逻辑》一文中建立了基于主谓项涵义联系的概称句推理逻辑系统G_(0)-G_(4),本文给出这五个形式系统的完全性证明,证明用到了典范模型方法,处理量词公式时,用到了Henkin方法。
关键词：概称句 概称框架 概称模型 饱和集 典范模型 
他连A都知道——认知逻辑EK1-EK3
《现代哲学》2006年第1期122-132,共11页李小五 
教育部哲学社会科学研究重大课题攻关项目(04JZD0006)成果之一
首先,我们构造认知系统EK1-EK3,给出它们的一些证明论结果。其次,我们引入邻域语义,给出EK1-EK3的特征公理和规则的框架条件,证明EK1-EK3相对这些框架条件分别是框架可靠的。最后,我们证明EK1-EK3相对这些框架条件分别是框架完全的。
关键词：认知系统 邻域语义 框架可靠性 框架完全性 EK1-EK3 认知逻辑 
从知识表示的角度看DRT与一阶谓词逻辑被引量：2
《南京社会科学》2006年第2期26-30,共5页夏年喜 
教育部哲学社会科学研究重大课题攻关项目(04JZD0006)资助
DRT是一种自然语言逻辑理论,同时也是一种知识表示方法。作为知识表示方法,DRT不仅能够刻画一阶谓词逻辑所能够刻画的自然语句,还能够刻画一阶谓词逻辑所不能处理的很多语言现象。这说明,DRT较之一阶谓词逻辑而言有更强的刻画效力。
关键词：DRT DRS 知识表示 
从蒙太格语法的局限性看DRT的理论价值被引量：6
《哲学研究》2005年第12期75-78,共4页夏年喜 
教育部哲学社会科学研究重大课题攻关项目"基于自然语言的知识表达与推理系统研究"(04JZD0006)资助。
DRT is a very important theory in natural language logic after Montague Grammar. It was proposed by Dutch logician Hans Kamp in early 1980s. In the West, DRT not only received attention by logician and the linguists, ...
关键词：格语法 局限性 价值 话语表达 自然语言 逻辑学家 80年代 逻辑理论 语言学家 心理学家 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部