Abstract
This paper discusses an approach to evaluate the relevance between a formula and a variable in it under the four-valued semantics. In the existing literature, for the classical two-valued propositional logic, there are definitions of whether a variable is independent to a certain formula. These definitions are based on forgetting, which is an operation to maintain and manage knowledge bases. Forgetting has its semantic connections with relevance. In the previous work in which the authors of this paper participated, an approach of quantitatively defining formula-variable relevance in two-valued propositional logic was proposed, which not only gave the judgement of relevant or not, but also gave a measurement of how relevant they are (i.e., the degree of relevance), also using the tool of variable forgetting. In this paper, we adapt the method to four-valued logic. Because forgetting has not been defined in four-valued logic yet, our first step is to define forgetting in four-valued logic. Then we will define formula-variable relevance quantitatively in four-valued logic. It will be a tool for the management of the knowledge bases under four-valued logic.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Belnap Jr., N.D.: A useful four-valued logic. In: Modern Uses of Multiple-Valued Logic, pp. 5–37. Springer (1977)
Arieli, O., Avron, A.: The value of the four values. Artificial Intelligence 102(1), 97–141 (1998)
Ginsberg, M.L.: Multivalued logics: A uniform approach to reasoning in artificial intelligence. Computational Intelligence 4(3), 265–316 (1988)
Priest, G.: Paraconsistent logic. In: Handbook of Philosophical Logic, pp. 287–393. Springer (2002)
Bertossi, L., Hunter, A., Schaub, T. (eds.): Inconsistency Tolerance. LNCS, vol. 3300. Springer, Heidelberg (2005)
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)
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)
Liang, X., Lin, Z., Van den Bussche, J.: Quantitatively evaluating formula-variable relevance by forgetting. In: Zaïane, O.R., Zilles, S. (eds.) Canadian AI 2013. LNCS, vol. 7884, pp. 271–277. Springer, Heidelberg (2013)
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), 799–823 (2010)
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. (2013). Measuring Formula-Variable Relevance in Four-Valued Logic by Forgetting. In: Wang, M. (eds) Knowledge Science, Engineering and Management. KSEM 2013. Lecture Notes in Computer Science(), vol 8041. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39787-5_28
Download citation
DOI: https://doi.org/10.1007/978-3-642-39787-5_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-39786-8
Online ISBN: 978-3-642-39787-5
eBook Packages: Computer ScienceComputer Science (R0)