命题逻辑中的依赖性：公式-公式依赖与公式遗忘——在信念更新与保守扩展中的应用
人工智能
2019-06-13 v2
摘要
依赖性在人工智能的许多任务中是一个重要概念。通过丢弃与任务无关的内容，可以更高效地执行任务。本文提出命题逻辑中两种新的依赖性概念：公式-公式依赖与公式遗忘。前者是刻画一个公式是否依赖于另一个公式的公式间关系，后者是返回独立于某公式的最强结论的运算。我们还将这两种概念应用于两个著名问题：信念更新与保守扩展。首先，我们基于公式-公式依赖定义了一种新的更新算子。此外，我们将保守扩展归约为公式遗忘。
引用
@article{arxiv.1806.11304,
title = {Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting -- Application to Belief Update and Conservative Extension},
author = {Liangda Fang and Hai Wan and Xianqiao Liu and Biqing Fang and Zhaorong Lai},
journal= {arXiv preprint arXiv:1806.11304},
year = {2019}
}
备注
We find a mistake in this version and we need a period of time to fix it