信念修正中的一种新型评价算子研究

发布时间：2017-10-05 21:19

  本文关键词：信念修正中的一种新型评价算子研究

  更多相关文章： 评价算子 信念修正 非优先复合修正 核心信念集

【摘要】：本文考察了评价算子,即刻画认知主体如何借助评价依据来理性评价新信息的算子,它放弃新信息中部分不可信信息,但是与传统收缩算子不同,它不指定收缩的信息而只要求评价结果与评价依据相一致。S.O.Hansson认为以单个句子作为新信息的非优先信念修正具有三种模式:决策 修正(Decision-Revision)、整合选择(Integrated Choice)和膨胀 巩固(Expansion-Consolidation)。评价算子单独刻画了非优先复合修正决策 修正模式的决策模块,对于修正模块这里不作探讨。我们先按AGM信念修正模式对评价算子进行了公理性刻画,接着通过不一致核心集和一致保留集分别构造了核心评价算子和部分交评价算子,然后分别证明了这两种算子与公理性刻画之间的表达定理,最后对评价算子和其他相关工作进行了比较。
【作者单位】： 中山大学逻辑与认知研究所;
【关键词】： 评价算子 信念修正 非优先复合修正 核心信念集
【分类号】：B812
【正文快照】： 1引入1.1动机信念修正理论用于刻画认知主体的信念状态、或者说数据库的动态更新过程。换句话说,它研究认知主体在面对动态变化的外部环境时如何理性的改变内部的信念状态。C.Alchourron,P.Gardenfors和D.Makinson三人1985年的文章([1])正式开启了AGM模式的传统信念修正理论

【共引文献】

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

1 贾松茂;马新民;周翔;;证据理论在MABR中的应用[J];安徽大学学报(自然科学版);2006年04期

2 张晓如;张再跃;;基于命题模型集的信念修正描述[J];江苏科技大学学报(自然科学版);2008年06期

3 栾尚敏,戴国忠,李未;知识库更新的一种可编程实现的方法[J];中国科学E辑:信息科学;2005年08期

4 ;A programmable approach to revising knowledge bases[J];Science in China(Series F:Information Sciences);2005年06期

5 郭佳宏;;研究主体信念修正的不同路径[J];暨南学报(哲学社会科学版);2008年03期

6 张东摩;李红兵;;人工智能研究动态与发展趋势——参加第十五届国际人工智能联合大会总结报告[J];计算机科学;1998年02期

7 栾尚敏;李未;;信念修正的各种方法之比较[J];计算机科学;1999年07期

8 栾尚敏;戴国忠;;信念修正的实现方法[J];计算机科学;2004年12期

9 王树锋;吴耿锋;潘建国;;一种基于群体信念协商的矛盾知识处理模型[J];计算机科学;2007年08期

10 田谦益;陈倩婧;;一种基于遗忘理论的信念收缩方法[J];计算机工程与科学;2010年05期

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

1 王文方;;国王的新衣裳与旧衣裳[A];逻辑与认知学术研讨会会议论文集[C];2004年

中国博士学位论文全文数据库 前6条

1 肖文洁;知识表示与推理的若干问题研究[D];南京航空航天大学;2010年

2 顾红芳;常识推理中非单调逻辑的研究[D];南京航空航天大学;2001年

3 陈忠泽;基于MAS的多机器人协作系统若干问题的研究[D];上海交通大学;2001年

4 郭佳宏;理想自省主体的信念修正[D];中山大学;2006年

5 雷莹;电子市场环境下agent自主谈判决策机制的设计[D];哈尔滨工业大学;2007年

6 吴茂念;基于分离的信念更新研究[D];贵州大学;2008年

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

1 刘文赫;Horn子句型信念的静态非修正处理方法研究[D];大连海事大学;2011年

2 牛江川;基于Web的广义配套件选型专家系统的研究与开发[D];浙江大学;2002年

3 侯萍;收缩后承若干问题的研究[D];南京航空航天大学;2004年

4 黄川;非线性信念变化的研究[D];南京航空航天大学;2004年

5 苏静;信念变化的多—核收缩算子研究[D];南京航空航天大学;2004年

6 萧瑶;信念修正逻辑初探[D];西南大学;2008年

7 张建新;不一致信念的定量非修正分层处理方法研究[D];大连海事大学;2010年

【相似文献】

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

1 郭佳宏;;自省主体对Moore-型信息的处理与融合[J];北京师范大学学报(社会科学版);2008年05期

2 郭佳宏;;研究主体信念修正的不同路径[J];暨南学报(哲学社会科学版);2008年03期

3 熊立文;信念修正的AGM理论[J];现代哲学;2005年01期

4 董英东;;浅析归纳逻辑的认知倾向[J];唐山学院学报;2010年02期

5 吕进;;一个描述现实主体信念的信息宣告觉知逻辑[J];哲学动态;2008年07期

6 约翰·范本特姆;郭美云;蒋军利;;“如实述说”:逻辑中的信息流动[J];北京大学学报(哲学社会科学版);2008年01期

7 霍书全;;关于条件句的蕴涵理论[J];安徽大学学报(哲学社会科学版);2011年03期

8 赵艺;2002年国际逻辑与认知暑期学院学术活动概述[J];哲学动态;2002年11期

9 鞠实儿;归纳与理论进化——I.莱维教授访谈录[J];哲学动态;1998年06期

10 陈晓华;;认知逻辑研究述评[J];哲学动态;2008年08期

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

1 郭佳宏;;信息交流背景下的逻辑与理性——从LORI国际研讨会看逻辑学研究发展趋势[A];和谐社会：社会建设与改革创新——2007学术前沿论丛（下卷）[C];2007年

2 王文方;;国王的新衣裳与旧衣裳[A];逻辑与认知学术研讨会会议论文集[C];2004年

3 李志昌;;逻辑推理中的信息问题[A];1996年逻辑研究专辑[C];1996年

4 潘道江;;实事推理的归溯和目的性[A];1994年逻辑研究专辑[C];1994年

5 弓肇祥;;演绎推理的信息增量问题[A];1993年逻辑研究专辑[C];1993年

6 王东临;;关于逻辑的几个问题[A];1994年逻辑研究专辑[C];1994年

7 黄华新;;略论预设的分类、析出和利用[A];1995年逻辑研究专辑[C];1995年

8 瞿麦生;;隐喻的语用学探赜[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

9 刘奋荣;;非单调性问题与自认知逻辑[A];2001年逻辑研究专辑[C];2001年

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

1 郭佳宏;理想自省主体的信念修正[D];中山大学;2006年

2 代利;基于判断聚合逻辑的群体理性条件研究[D];西南大学;2012年

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

1 萧瑶;信念修正逻辑初探[D];西南大学;2008年

2 程莉;概率动态认知逻辑初探[D];西南大学;2009年

，

本文编号：978875