Abstract
In Reiter’s default logic, it is possible that no useful information can be brought from inconsistent knowledge or no extension of incoherent default theories exists. In this paper, based on Belnap’s four-valued logic, we propose a new variant of default logic called the restricted four-valued default logic to tolerate inconsistency and incoherency of knowledge in default reasoning. Our proposal can maintain both the expressive power of full default logic and the ability of default reasoning. Moreover, we present a transformation-based approach to compute the restricted four-valued extensions.
This work is partially supported by the Advance Programs Fund of Ministry of Education of China and Natural Science Foundation of China.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
van den Akker, J., Tan, Y.H.: QML: A Paraconsistent Default Logic. Logique Et Analyse 143(143–144), 311–328 (1993)
Arieli, O.: Paraconsistent preferential reasoning by signed quantified boolean formulae. In: Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI 2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22–27, pp. 773–777 (2004)
Arieli, O., Avron, A.: The value of the four values. Artificial Intelligence 102(1), 97–141 (1998)
Arieli, O., Denecker, M.: Modeling paraconsistent reasoning by classical logic. In: Eiter, T., Schewe, K.-D. (eds.) FoIKS 2002. LNCS, vol. 2284, p. 1. Springer, Heidelberg (2002)
Arieli, O., Denecker, M.: Reducing preferential paraconsistent reasoning to classical entailment. Journal of Logic and Computation 13(4), 557–580 (2003)
Arioua, A., Tamani, N., Croitoru, M., Fortin, J., Buche, P.: Investigating the mapping between default logic and inconsistency-tolerant semantics. In: Rutkowski, L., Korytkowski, M., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds.) Artificial Intelligence and Soft Computing. LNCS, vol. 9120, pp. 554–564. Springer, Heidelberg (2015)
Arruda, A.I.: Non-classical logics, model theory, and computability on the imaginary logic of n. a. vasil’év. Studies in Logic and the Foundations of Mathematics 89, 3–24 (1977)
Belnap, N.: How a computer should think. In: Ryle, G. (ed.) Contemporary Aspects of Philosophy. Oriel Press Ltd. (1977)
Belnap Jr., N.D.: A useful four-valued logic. In: Modern uses of multiple-valued logic, pp. 5–37. Springer (1977)
Besnard, P., Grégoire, É., Ramon, S.: A default logic patch for default logic. In: Sossai, C., Chemello, G. (eds.) ECSQARU 2009. LNCS, vol. 5590, pp. 578–589. Springer, Heidelberg (2009)
Besnard, P., Schaub, T.: A simple signed system for paraconsistent reasoning. In: Orłowska, E., Alferes, J.J., Moniz Pereira, L. (eds.) JELIA 1996. LNCS, vol. 1126, pp. 404–416. Springer, Heidelberg (1996)
Brewka, G.: Cumulative default logic: in defense of nonmonotonic inference rules. Artificial Intelligence 50(2), 183–205 (1991)
Costa, N.C.A.D.: On the Theory of Inconsistent Formal Systems. Notre Dame Journal of Formal Logic 15(4), 497–510 (1974)
Han, Q., Lin, Z.: Paraconsistent default reasoning. In: Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6–8, pp. 197–203 (2004)
Lin, Z., Ma, Y., Lin, Z.Q.: A fault-tolerant default logic. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol. 4160, pp. 253–265. Springer, Heidelberg (2006)
Łukaszewicz, W.: Considerations on default logic: an alternative approach. Computational intelligence 4(1), 1–16 (1988)
Luo, X., Zhang, C., Jennings, N.R.: A hybrid model for sharing information between fuzzy, uncertain and default reasoning models in multi-agent systems. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 10(04), 401–450 (2002)
Papadimitriou, C.H., Sideri, M.: Default theories that always have extensions. Artificial Intelligence 69(1), 347–357 (1994)
Pequeno, T.H.C., Buchsbaum, A.: The logic of epistemic inconsistency. In: Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR 1991), Cambridge, MA, USA, April 22–25, pp. 453–460 (1991)
Reiter, R.: A logic for default reasoning. Artificial intelligence 13(1), 81–132 (1980)
Schaub, T.: On constrained default theories. In: Proceedings of the 10th European Conference on Artificial Intelligence (ECAI 1992), pp. 304–308. John Wiley & Sons Inc, New York (1992)
Yue, A., Lin, Z.: A coherent and paraconsistent variant of the default logic. In: AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, pp. 162–162 (2007)
Yue, A., Ma, Y., Lin, Z.Q.: Four-valued semantics for default logic. In: Lamontagne, L., Marchand, M. (eds.) Canadian AI 2006. LNCS (LNAI), vol. 4013, pp. 195–205. Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Chen, C., Lin, Z. (2015). Restricted Four-Valued Logic for Default Reasoning. In: Zhang, S., Wirsing, M., Zhang, Z. (eds) Knowledge Science, Engineering and Management. KSEM 2015. Lecture Notes in Computer Science(), vol 9403. Springer, Cham. https://doi.org/10.1007/978-3-319-25159-2_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-25159-2_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-25158-5
Online ISBN: 978-3-319-25159-2
eBook Packages: Computer ScienceComputer Science (R0)