基于直觉主义逻辑的隐偏好分析

发布时间：2017-09-12 09:28

  本文关键词：基于直觉主义逻辑的隐偏好分析

  更多相关文章： 直觉主义逻辑 显信息 隐信息 隐偏好逻辑 嵌入

【摘要】：根据偏好及其变化是否在逻辑语言及语义模型中有直接的反映,可以将其分为隐偏好和显偏好。本文旨在对含有隐偏好信息的逻辑进行研究,基于对直觉主义逻辑中的认知信息的分析,通过修改直觉主义逻辑的语义解释提出了隐偏好逻辑,并证明了该逻辑系统的可靠性和相对于可区分模型类的完全性;最后,通过定义哥德尔式的翻译映射将隐偏好逻辑嵌入到偏好逻辑中。
【作者单位】： 西南大学逻辑与智能研究中心;
【关键词】： 直觉主义逻辑 显信息 隐信息 隐偏好逻辑 嵌入
【分类号】：B812
【正文快照】： 信息是认知科学的重要概念,它虽然不是逻辑学的标准主题,但当涉及到对逻辑的直观理解和具体解释时,它便无处不在:关于事实(factual)与过程(procedural)的信息,静态(static)与动态(dynamic)的信息,刚性(hard)与柔性(soft)的信息交织在一起。近年来,许多逻辑学家意识到信息在逻

【相似文献】

中国期刊全文数据库 前10条

1 颜中军;;论直觉主义逻辑对经典逻辑的挑战[J];湘潭大学学报(哲学社会科学版);2011年03期

2 刘壮虎;哲学逻辑概论[J];北京航空航天大学学报(社会科学版);2000年01期

3 任晓明;谷飙;;达米特对直觉主义逻辑的辩护[J];南开学报(哲学社会科学版);2007年04期

4 ;金岳霖学术奖(逻辑学)获奖作品简介(二)[J];思维与智慧;1991年02期

5 刘新文;;函数完备性问题[J];重庆理工大学学报(社会科学);2011年08期

6 陆尚强;存在怪论的推导与分析及有关语意问题[J];广西师院学报(自然科学版);1998年03期

7 刘大中,董克诚;一阶命题演算的希尔伯特型直觉主义系统[J];河北大学学报(自然科学版);2001年02期

8 闫坤如;对排中律的辩证理解[J];淮阴师范学院学报(哲学社会科学版);2004年03期

9 余俊伟;;经典逻辑视野下的非经典否定[J];哲学动态;2010年07期

10 冯棉;;一类命题逻辑的一般弱框架择类语义[J];逻辑学研究;2011年02期

中国重要会议论文全文数据库 前1条

1 俞颖杰;;达米特论指称和涵义[A];第二届中国科技哲学及交叉学科研究生论坛论文集（博士卷）[C];2008年

中国硕士学位论文全文数据库 前2条

1 张保垒;表列演算探究[D];华东师范大学;2011年

2 陈珊;核证逻辑研究[D];中国社会科学院研究生院;2011年

，

本文编号：836409