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 application of the definition.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Lin, F., Reiter, R.: Forget it! Working Notes of AAAI Fall Symposium on Relevance, pp. 154–159 (1994)
Lang, J., Liberatore, P., Marquis, P.: Propositional independence. Journal of Artificial Intelligence Research 18, 391–443 (2003)
Lang, J., Marquis, P.: Resolving inconsistencies by variable forgetting. In: International Conference on Principles of Knowledge Representation and Reasoning, pp. 239–250. Morgan Kaufmann Publishers (2002)
Lang, J., Marquis, P.: Reasoning under inconsistency: A forgetting-based approach. Artificial Intelligence 174(12-13), 799–823 (2010)
Bertossi, L., Hunter, A., Schaub, T. (eds.): Inconsistency Tolerance. LNCS, vol. 3300. Springer, Heidelberg (2005)
Xu, D., Lin, Z.: A prime implicates-based formulae forgetting. In: 2011 IEEE International Conference on Computer Science and Automation Engineering (CSAE), vol. 3, pp. 128–132. IEEE (2011)
Wang, Z., Wang, K., Topor, R., Pan, J.Z.: Forgetting concepts in DL-lite. In: Bechhofer, S., Hauswirth, M., Hoffmann, J., Koubarakis, M. (eds.) ESWC 2008. LNCS, vol. 5021, pp. 245–257. Springer, Heidelberg (2008)
Eiter, T., Wang, K.: Semantic forgetting in answer set programming. Artificial Intelligence 172(14), 1644–1672 (2008)
Zhang, Y., Zhou, Y.: Knowledge forgetting: Properties and applications. Artificial Intelligence 173(16), 1525–1537 (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Liang, X., Lin, Z., Van den Bussche, J. (2013). Quantitatively Evaluating Formula-Variable Relevance by Forgetting. In: Zaïane, O.R., Zilles, S. (eds) Advances in Artificial Intelligence. Canadian AI 2013. Lecture Notes in Computer Science(), vol 7884. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38457-8_26
Download citation
DOI: https://doi.org/10.1007/978-3-642-38457-8_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38456-1
Online ISBN: 978-3-642-38457-8
eBook Packages: Computer ScienceComputer Science (R0)