| AGM信念收缩算子的拓扑式刻画 |
| |
| 引用本文： | 孟华,原雅燕,储节磊,王红军.AGM信念收缩算子的拓扑式刻画[J].计算机科学,2016,43(9):87-90. |
| |
| 作者姓名： | 孟华 原雅燕 储节磊 王红军 |
| |
| 作者单位： | 西南交通大学数学学院 成都611756;西南交通大学信息科学与技术学院 成都611756,河南师范大学数学与信息科学学院 新乡453007,西南交通大学力学与工程学院 成都611756,西南交通大学信息科学与技术学院 成都611756 |
| |
| 基金项目： | 本文受NSFC(61402382,11501177),中央高校基础研究基金(2682014ZT28),河南省高等学校重点科研项目计划(15A110034),西南交通大学创新项目(2682014CX054)资助 |
| |
| 摘 要： | 当agent的信念集是无限集时,传统的基于有限逻辑语言的刻画信念变化(belief change)的简单语义模型通常不再适用。Grdenfors和Makinson 引入的epistemic entrenchment(认知牢固度)模型虽然可以用来从语义上刻画AGM型信念收缩算子,但他们并未给出如何构造一个具体的epistemic entrenchment 的方法。在无限命题逻辑语言的背景下,通过在模型集上引入一个拓扑结构,构造出一种新的用来刻画AGM信念收缩的语义结构,称为认知链,并给出相应表示定理。讨论了epistemic entrenchment与认知链之间的关系。相对epistemic entrenchment而言,认知链具有结构简单并易于构造的特点。
|
| 关 键 词： | 知识表示 信念收缩 认知牢固度 拓扑空间 |
| 收稿时间： | 2015/7/28 0:00:00 |
| 修稿时间： | 2015/9/10 0:00:00 |
Topological Characterization of AGM Belief Contraction Operator |
| |
| MENG Hu,YUAN Ya-yan,CHU Jie-lei and WANG Hong-jun.Topological Characterization of AGM Belief Contraction Operator[J].Computer Science,2016,43(9):87-90. |
| |
| Authors: | MENG Hu YUAN Ya-yan CHU Jie-lei and WANG Hong-jun |
| |
| Affiliation: | School of Mathematics,Southwest Jiaotong University,Chengdu 611756,China;School of Information Science and Technology,Southwest Jiaotong University,Chengdu 611756,China,College of Mathematics and Information Science,Henan Normal University,Xinxiang 453007,China,School of Mechanics and Engineering,Southwest Jiaotong University,Chengdu 611756,China and School of Information Science and Technology,Southwest Jiaotong University,Chengdu 611756,China |
| |
| Abstract: | |
| |
| Keywords: | Knowledge representation Belief contraction Epistemic entrenchment Topological space |
|
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
