Skip to main content
SpringerLink
Log in
Book cover

International Conference on Knowledge Science, Engineering and Management

KSEM 2015: Knowledge Science, Engineering and Management pp 40–52Cite as

Restricted Four-Valued Logic for Default Reasoning

  • Conference paper
  • First Online:

  • 2930 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 9403))

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.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. van den Akker, J., Tan, Y.H.: QML: A Paraconsistent Default Logic. Logique Et Analyse 143(143–144), 311–328 (1993)

    MathSciNet  MATH  Google Scholar 

  2. 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)

    Google Scholar 

  3. Arieli, O., Avron, A.: The value of the four values. Artificial Intelligence 102(1), 97–141 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  4. 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)

    Chapter  Google Scholar 

  5. Arieli, O., Denecker, M.: Reducing preferential paraconsistent reasoning to classical entailment. Journal of Logic and Computation 13(4), 557–580 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  6. 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)

    Chapter  MATH  Google Scholar 

  7. 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)

    Article  Google Scholar 

  8. Belnap, N.: How a computer should think. In: Ryle, G. (ed.) Contemporary Aspects of Philosophy. Oriel Press Ltd. (1977)

    Google Scholar 

  9. Belnap Jr., N.D.: A useful four-valued logic. In: Modern uses of multiple-valued logic, pp. 5–37. Springer (1977)

    Google Scholar 

  10. 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)

    Chapter  Google Scholar 

  11. 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)

    Chapter  Google Scholar 

  12. Brewka, G.: Cumulative default logic: in defense of nonmonotonic inference rules. Artificial Intelligence 50(2), 183–205 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  13. Costa, N.C.A.D.: On the Theory of Inconsistent Formal Systems. Notre Dame Journal of Formal Logic 15(4), 497–510 (1974)

    Article  MathSciNet  MATH  Google Scholar 

  14. 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)

    Google Scholar 

  15. 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)

    Chapter  Google Scholar 

  16. Łukaszewicz, W.: Considerations on default logic: an alternative approach. Computational intelligence 4(1), 1–16 (1988)

    Article  Google Scholar 

  17. 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)

    Article  MathSciNet  MATH  Google Scholar 

  18. Papadimitriou, C.H., Sideri, M.: Default theories that always have extensions. Artificial Intelligence 69(1), 347–357 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  19. 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)

    Google Scholar 

  20. Reiter, R.: A logic for default reasoning. Artificial intelligence 13(1), 81–132 (1980)

    Article  MathSciNet  MATH  Google Scholar 

  21. 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)

    Google Scholar 

  22. 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)

    Google Scholar 

  23. 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)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Mathematical Sciences, Peking University, Beijing, 100871, China

    Chen Chen & Zuoquan Lin

Authors
  1. Chen Chen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zuoquan Lin
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Zuoquan Lin .

Editor information

Editors and Affiliations

  1. Chinese Academy of Sciences, Beijing, China

    Songmao Zhang

  2. Ludwig-Maximilians-Universität München, Munich, Germany

    Martin Wirsing

  3. Southwest University, Chongqing, China

    Zili Zhang

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation