王一松;庄、志强;王克文 非单调多上下文系统中的信念改变。 （英语） Zbl 1405.68380号 Cabalar，Pedro（编辑）等人，《逻辑编程和非单调推理》。2013年9月15日至19日，第12届国际会议，LPNMR 2013，西班牙科伦纳。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40563-1/pbk）。计算机科学课堂讲稿8148。《人工智能课堂讲稿》，543-555（2013）。 摘要：Brewka和Eiter的非单调多上下文系统是一个优雅的知识表示框架，用于建模异构和非单调的多上下文。信念改变是知识表示和推理中的一个核心问题。本文采用经典的AGM方法来研究多上下文系统中的信念变化。具体来说，我们在语义上建立了多上下文系统信念扩展、修正和收缩的AGM假设。我们证明，通过多上下文系统的排序平衡，可以用最小变化来表征变化操作。得到了两个基于距离的修正算子，并将其与经典的Satoh和Dalal修正算子联系起来（通过循环公式）。关于整个系列，请参见[Zbl 1272.68012号]. 引用于1文件 MSC公司： 68立方英尺 知识表示 03B42号 知识和信念的逻辑（包括信念变化） 68T27型 人工智能中的逻辑 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wang}等人，Lect。注释计算。科学。8148543--555（2013年；Zbl 1405.68380） 全文： 内政部 链接