基础认知词模态逻辑

发布时间：2018-04-12 15:36

  本文选题：像有限框架 + 模态逻辑　； 参考：《湖南科技大学学报(社会科学版)》2009年04期

【摘要】：自然语言处理涉及推理,出于可实现性的考虑,为之建立逻辑系统需顾及表达力与复杂性之间的平衡。简单的模态逻辑刻画了认知词一个基本的性质——有限性,统一得到了它们的完全性,并且证明它们都是可判定的。
[Abstract]:Natural language processing involves reasoning, for which the balance between expressiveness and complexity should be considered in order to establish a logical system.Simple modal logic characterizes a fundamental property of cognitive words, finiteness, and unifies their completeness, and proves that they are all determinable.
【作者单位】： 浙江大学语言与认知研究中心;
【基金】：国家社会科学基金项目(08CZX020) 中国博士后基金项目(20080431331)
【分类号】：B815.1

【共引文献】

相关期刊论文 前10条

1 彭家法;形式语义学的历史渊源和理论框架[J];安徽大学学报(哲学社会科学版);2004年04期

2 李瑟;刘伟;郭海云;;汉语第三人称代词预指功能研究[J];北京交通大学学报(社科版);2005年04期

3 李金厚,蒋静坪;从逻辑全知问题认定看当前基于逻辑的agent研究的两个认识盲点[J];北京科技大学学报;2004年02期

4 熊仲儒;;时制、时体与完成式[J];外国语言文学;2005年04期

5 宋文辉;词序与“量”否定的结果[J];河北师范大学学报(哲学社会科学版);2005年06期

6 梁晓波;情态的多维研究透视[J];解放军外国语学院学报;2002年01期

7 王婉玲;可能世界"概念在决策中的运用探讨[J];江西教育学院学报;2003年01期

8 滕定明;亚里士多德关于命题主词的逻辑分析[J];江西教育学院学报;2004年04期

9 夏国军;语言逻辑与形式化[J];南开学报(哲学社会科学版);2004年03期

10 袁毓林;信息抽取的语义知识资源研究[J];中文信息学报;2002年05期

相关博士学位论文 前10条

1 王拥军;需求工程中的不确定性研究[D];西北工业大学;2002年

2 马红妹;汉英机器翻译中汉语上下文语境的表示与应用研究[D];中国人民解放军国防科学技术大学;2002年

3 文贞惠;现代汉语否定范畴研究[D];复旦大学;2003年

4 刘勇;多Agent系统理论和应用研究[D];重庆大学;2003年

5 刘春玲;弱智儿童语义加工的实验研究[D];华东师范大学;2004年

6 郑逢斌;关于计算机理解自然查询语言的研究[D];西南交通大学;2004年

7 刘伟;现代汉语代词隐现的动态研究[D];北京语言大学;2005年

8 韩玉国;范畴语法与汉语非连续结构研究[D];北京语言大学;2005年

9 金立;合作与会话——合作原则及其应用研究[D];浙江大学;2005年

10 彭利贞;现代汉语情态研究[D];复旦大学;2005年

相关硕士学位论文 前10条

1 张春霞;基于动态逻辑的Agent的形式化模型[D];云南师范大学;2000年

2 李林;三种认知语言观与外语教学研究[D];陕西师范大学;2001年

3 黄艳;面向数字化产品的自然语言查询技术的研究与开发[D];浙江大学;2002年

4 李剑锋;汉语表述过程中的添加现象考察[D];北京语言文化大学;2002年

5 邹春燕;单幅漫画作品中的叙事研究[D];华中师范大学;2003年

6 任俊英;论语言交际与语用推理[D];西南师范大学;2003年

7 贾国恒;卢卡西维茨多值逻辑及其与一些逻辑的比较[D];河南大学;2003年

8 焦志伟;决策过程中的逻辑应用[D];河南大学;2003年

9 亿珍珍;面向产品设计的自然语言理解语义分析研究[D];西安电子科技大学;2004年

10 荣立武;语言与逻辑——维特根斯坦前期哲学研究[D];中南大学;2004年

【相似文献】

相关期刊论文 前10条

1 姚从军;;双模拟与模态逻辑[J];重庆理工大学学报(社会科学);2011年08期

2 郭美云;;从动态认知逻辑的角度看偏好——刘奋荣《动态偏好逻辑》评介[J];逻辑学研究;2011年02期

3 刘新文;;皮尔士存在图的形式推演系统[J];毕节学院学报;2011年05期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

相关会议论文 前4条

1 楚白;;有穷深度的模态逻辑[A];2005年逻辑研究专辑[C];2005年

2 孙希文;;模态逻辑模型的嵌入定理[A];1994年逻辑研究专辑[C];1994年

3 潘天群;;建立在“笛卡尔公理”上的一个怀疑逻辑系统[A];逻辑与认知学术研讨会会议论文集[C];2004年

4 高思存;;一个刻画n叉有限树的模态系统及其应用[A];2005年逻辑研究专辑[C];2005年

相关重要报纸文章 前1条

1 陈慕泽;多主体系统中的互知[N];光明日报;2000年

相关博士学位论文 前4条

1 史t，

本文编号：1740348