安德烈亚斯·赫齐格;杰罗姆·梅根 模态逻辑中通过分辨率进行统一插值。 （英语） Zbl 1178.03032号 Hölldobler，Steffen（编辑）等人，《人工智能中的逻辑》。第11届欧洲会议，JELIA 2008，德国德累斯顿，2008年9月28日至10月1日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87802-5/pbk）。计算机科学课堂讲稿5293。人工智能课堂讲稿，219-231（2008）。 摘要：在人工智能中，计算子语言上给定公式的统一插值的问题被称为变量遗忘。在命题逻辑中，有一些著名的变量遗忘方法。变量遗忘更多地涉及模态逻辑，因为一个人必须忘记一个变量，而不是在一个世界，而是在几个世界。已经表明，模态逻辑K具有一致插值特性，并且最近提出了一种方法，用于遗忘以析取范式给出的模态公式（微积分）中的变量。然而，在某些情况下，信息以更为合取的形式自然出现。在本文中，我们提出了一个方法，基于模态逻辑解析的扩展，对模态逻辑K中合取范式的公式进行变量遗忘。关于整个系列，请参见[Zbl 1146.68009号]. 引用于4文件 MSC公司： 03B45 模态逻辑（包括规范逻辑） 68T27型 人工智能中的逻辑 PDF格式BibTeX公司 XML格式引用 \textit{A.Herzig}和\textit{J.Mengin}，莱克特。注释计算。科学。5293、219--231（2008；Zbl 1178.03032） 全文： 内政部