Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/16408
Title: | Quantitatively evaluating formula-variable relevance by forgetting | Authors: | LIANG, Xin Lin, Zuoquan VAN DEN BUSSCHE, Jan |
Issue Date: | 2013 | Publisher: | Springer Berlin Heidelberg | Source: | R. Zaïane, Osmar; Zilles, Sandra (Ed.). Advances in Artificial Intelligence: 26th Canadian Conference on Artificial Intelligence, Canadian AI 2013, Regina, SK, Canada, May 28-31, 2013. Proceedings, p. 271-277 | Series/Report: | Lecture Notes in Computer Science | Series/Report no.: | 7884 | 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. | Keywords: | knowledge representation; forgetting; relevance; inconsistency | Document URI: | http://hdl.handle.net/1942/16408 | Link to publication/dataset: | http://alpha.uhasselt.be/~lucp1080/xin.pdf | ISBN: | 978-3-642-38457-8 | DOI: | 10.1007/978-3-642-38457-8_26 | Rights: | © Springer-Verlag Berlin Heidelberg 2013. | Category: | C1 | Type: | Proceedings Paper |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
xin.pdf Restricted Access | 138.77 kB | Adobe PDF | View/Open Request a copy |
SCOPUSTM
Citations
2
checked on Sep 3, 2020
Page view(s)
104
checked on Nov 7, 2023
Download(s)
6
checked on Nov 7, 2023
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.