首页 | 本学科首页   官方微博 | 高级检索  
     

基础认知词模态逻辑
引用本文:裘江杰. 基础认知词模态逻辑[J]. 湖南科技大学学报(社会科学版), 2009, 12(4): 25-30
作者姓名:裘江杰
作者单位:浙江大学,语言与认知研究中心,浙江,杭州,310028
基金项目:国家社会科学基金,中国博士后科学基金 
摘    要:自然语言处理涉及推理,出于可实现性的考虑,为之建立逻辑系统需顾及表达力与复杂性之间的平衡.简单的模态逻辑刻画了认知词一个基本的性质--有限性,统一得到了它们的完全性,并且证明它们都是可判定的.

关 键 词:像有限框架  模态逻辑  认知词

Basic Modal Logics for Cognitive Word
QIU Jiang-jie. Basic Modal Logics for Cognitive Word[J]. journal of hunan university of science&technology, 2009, 12(4): 25-30
Authors:QIU Jiang-jie
Abstract:
Keywords:
本文献已被 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号