度量公式和变元的相关度：一种基于遗忘的方法.pdfVIP

度量公式和变元的相关度：一种基于遗忘的 方法 1 1 2 梁鑫 ，林作铨 ，Jan Van den Bussche 1 北京大学数学科学学院，中国　北京　 100871 2 Hasselt University and transnational University of Limburg, 3590 Diepenbeek, Belgium 摘要：遗忘是弱化知识库的一种可行的工具，它通过只关注最重要的内容，忽略无关的、过时 的，甚至不一致的信息，来提高推理的效率，消除知识库中的冲突。而且，遗忘和公式与变元 的相关性也有联系。然而，在现有的文献中，对于相关性的定义是“二元性”的——只有“相 关”和“无关”的概念，而没有评估变元与公式到底有“多么相关”的程度。本文提供一种量 化定义公式与变元相关度的方法，使用了变元遗忘这个工具，通过评估某个公式在遗忘了其中 的某个变元之后的模型集的变化来实现。我们还讨论这个定义的性质、例子以及一个可能的应 用。 关键词：知识表示，遗忘，相关性，不一致 中图分类号：TP182 Measuring the Degree of Formula-Variable Relevance: A Forgetting-Based Approach 1 1 2 Xin Liang , Zuoquan Lin , and Jan Van den Bussche 1 School of Mathematical Sciences, Peking University, Beijing 100871, China 2 Hasselt University and transnational University of Limburg, 3590 Diepenbeek, Belgium Abstract: Forgetting is a feasible tool for weakening knowledge bases by focusing on the most important issues, and ignoring irrelevant, outdated, or even inconsistent information, in order to improve the efficiency of inference, as well as resolve conflicts in the knowledge base. Also, forgetting has connections with relevance between a variable and a formula. However, in the existing literature, the definition of relevance is “binary” - there are only the concepts of “relevant” and “irrelevant”, and no means to evaluate the “degree” of relevance between variables and formulas. This paper presents a method to define the formula-variable relevance in a quantitative way, using the tool of variable forgetting, by evaluating the change of model set of a certain formula after forgetting a certain variable in it. We also discuss properties, examples and one possible