Skip to main content

Contextual Reasoning: Usually Birds Can Abductively Fly

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

Abstract

We present a new logic programming approach to contextual reasoning, based on the Weak Completion Semantics (WCS), the latter of which has been successfully applied in the past to adequately model various human reasoning tasks. One of the properties of WCS is the open world assumption with respect to undefined atoms. This is a characteristic that is different to other common Logic Programming semantics, a property that seems suitable when modeling human reasoning. Notwithstanding, we have noticed that the famous Tweety default reasoning example, originally introduced by Reiter, cannot be modeled straightforwardly under WCS. Hence, to address the issue and taking Pereira and Pinto’s inspection points as inspiration, we develop a notion of contextual reasoning for which we introduce contextual logic programs. We reconsider the formal properties of WCS with respect to these and verify whether they still hold. Finally, we set forth contextual abduction and show that not only the original Tweety example can be nicely modeled within the new approach, but more sophisticated examples as well, where context plays an important role.

L.M. Pereira—The authors are mentioned in alphabetical order.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-319-61660-5_8
  • Chapter length: 14 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   59.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-61660-5
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   79.99
Price excludes VAT (USA)

Notes

  1. 1.

    If those atoms were assumed to be false, then typical human reasoning tasks like the suppression task [2] could not be modeled adequately [7].

  2. 2.

    Currently, we know of at least 40 species of birds that can’t fly.

  3. 3.

    Defeaters were not part of the first specification of the set of abducibles under WCS [7, 15], but without the defeaters the first example discussed in this section cannot be solved.

References

  1. Banach, S.: Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fund. Math. 3, 133–181 (1922)

    MATH  Google Scholar 

  2. Byrne, R.: Suppressing valid inferences with conditionals. Cognition 31, 61–83 (1989)

    CrossRef  Google Scholar 

  3. Clark, K.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Databases, pp. 293–322. Plenum, New York (1978)

    Google Scholar 

  4. Dietz, E.-A., Hölldobler, S.: A new computational logic approach to reason with conditionals. In: Calimeri, F., Ianni, G., Truszczynski, M. (eds.) LPNMR 2015. LNCS (LNAI), vol. 9345, pp. 265–278. Springer, Cham (2015). doi:10.1007/978-3-319-23264-5_23

    CrossRef  Google Scholar 

  5. Dietz, E.-A., Hölldobler, S., Höps, R.: A computational logic approach to human spatial reasoning. In: IEEE Symposium Series on Computational Intelligence, pp. 1634–1637 (2015)

    Google Scholar 

  6. Dietz, E.-A., Hölldobler, S., Pereira, L.M.: On conditionals. In: Gottlob, G., Sutcliffe, G., Voronkov, A. (eds.), Global Conference on Artificial Intelligence. Epic Series in Computing, vol. 36, pp. 79–92. EasyChair (2015)

    Google Scholar 

  7. Dietz, E.-A., Hölldobler, S., Ragni, M.: A computational logic approach to the suppression task. In: Miyake, N., Peebles, D., Cooper, R.P. (eds.), Proceedings of the 34th Annual Conference of the Cognitive Science Society, pp. 1500–1505. Cognitive Science Society (2012)

    Google Scholar 

  8. Dietz, E.-A., Hölldobler, S., Ragni, M.: A computational logic approach to the abstract and the social case of the selection task. In: Proceedings of the Eleventh International Symposium on Logical Formalizations of Commonsense Reasoning (2013). commonsensereasoning.org/2013/proceedings.html

  9. Dietz, E.-A., Hölldobler, S., Wernhard, C.: Modelling the suppression task under weak completion and well-founded semantics. J. Appl. Non-Classical Logics 24, 61–85 (2014)

    MathSciNet  CrossRef  Google Scholar 

  10. Fitting, M.: Metric methods - three examples and a theorem. J. Logic Program. 21(3), 113–127 (1994)

    MathSciNet  CrossRef  MATH  Google Scholar 

  11. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K. (eds.), Proceedings of the International Joint Conference and Symposium on Logic Programming, pp. 1070–1080. MIT Press (1988)

    Google Scholar 

  12. Hölldobler, S., Kencana Ramli, C.D.P.: Contraction properties of a semantic operator for human reasoning. In: Li, L., Yen, K.K. (eds.), Proceedings of the Fifth International Conference on Information, pp. 228–231. International Information Institute (2009)

    Google Scholar 

  13. Hölldobler, S., Kencana Ramli, C.D.P.: Logic programs under three-valued Łukasiewicz semantics. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol. 5649, pp. 464–478. Springer, Heidelberg (2009). doi:10.1007/978-3-642-02846-5_37

    CrossRef  Google Scholar 

  14. Hölldobler, S., Kencana Ramli, C.D.P.: Logics and networks for human reasoning. In: Alippi, C., Polycarpou, M., Panayiotou, C., Ellinas, G. (eds.) ICANN 2009. LNCS, vol. 5769, pp. 85–94. Springer, Heidelberg (2009). doi:10.1007/978-3-642-04277-5_9

    CrossRef  Google Scholar 

  15. Hölldobler, S., Philipp, T., Wernhard, C.: An abductive model for human reasoning. In: Proceedings of the Tenth International Symposium on Logical Formalizations of Commonsense Reasoning (2011). commonsensereasoning.org/2011/proceedings.html

  16. Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive logic programming. J. Logic Comput. 2(6), 719–770 (1993)

    MathSciNet  CrossRef  MATH  Google Scholar 

  17. Kencana Ramli, C.D.P.: Logic programs and three-valued consequence operators. Master’s thesis, International Center for Computational Logic, TU Dresden (2009)

    Google Scholar 

  18. Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1984)

    CrossRef  MATH  Google Scholar 

  19. Łukasiewicz, J.: O logice trójwartościowej. Ruch Filozoficzny 5, 169–171 (1920). English translation: On Three-Valued Logic. In: Jan Łukasiewicz Selected Works. (L. Borkowski, ed.), North Holland, 87–88 (1990)

    Google Scholar 

  20. Pereira, L.M., Aparício, J.N., Alferes, J.: Hypothetical reasoning with well founded semantics. In: Mayoh, B. (ed.), Proceedings of the 3th Scandinavian Conference on AI, pp. 289–300. IOS Press, 1991

    Google Scholar 

  21. Pereira, L.M., Dietz, E.-A., Hölldobler, S.: An abductive reasoning approach to the belief-bias effect. In: Baral, C., Giacomo, G.D., Eiter, T. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the 14th International Conference, pp, pp. 653–656. AAAI Press, Cambridge (2014)

    Google Scholar 

  22. Pereira, L.M., Dietz, E.-A., Hölldobler, S.: Contextual abductive reasoning with side-effects. In: Niemelä, I. (ed.), Theory and Practice of Logic Programming (TPLP), vol. 14, pp. 633–648. Cambridge University Press, Cambridge (2014)

    Google Scholar 

  23. Moniz Pereira, L., Pinto, A.M.: Inspecting side-effects of abduction in logic programs. In: Balduccini, M., Son, T.C. (eds.) Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning. LNCS, vol. 6565, pp. 148–163. Springer, Heidelberg (2011). doi:10.1007/978-3-642-20832-4_10

    CrossRef  Google Scholar 

  24. Reiter, R.: A logic for default reasoning. Artif. Intell. 13, 81–132 (1980)

    MathSciNet  CrossRef  MATH  Google Scholar 

  25. Stenning, K., van Lambalgen, M.: Human Reasoning and Cognitive Science. MIT Press, Boston (2008)

    Google Scholar 

  26. van Gelder, A., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. J. ACM 38, 620–650 (1991)

    MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

LMP acknowledges support from FCT/MEC NOVA LINCS Pest UID/CEC/04516/2013. Many thanks to Tobias Philipp and Christoph Wernhard.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Emmanuelle-Anna Dietz Saldanha .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Dietz Saldanha, EA., Hölldobler, S., Pereira, L.M. (2017). Contextual Reasoning: Usually Birds Can Abductively Fly. In: Balduccini, M., Janhunen, T. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2017. Lecture Notes in Computer Science(), vol 10377. Springer, Cham. https://doi.org/10.1007/978-3-319-61660-5_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-61660-5_8

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-61659-9

  • Online ISBN: 978-3-319-61660-5

  • eBook Packages: Computer ScienceComputer Science (R0)