Skip to main content
SpringerLink
Log in
Book cover

Description Logic, Theory Combination, and All That pp 367–384Cite as

Do Humans Reason with \(\mathcal{E}\)-Matchers?

  • Chapter
  • First Online:

  • 634 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 11560))

Abstract

The Weak Completion Semantics is a novel, integrated and computational cognitive theory. Recently, it has been applied to ethical decision making. To this end, it was extended by equational theories as needed by the fluent calculus. To compute least models equational matching problems have to be solved. Do humans consider equational matching in reasoning episodes?

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Notes

  1. 1.

    We omit parentheses if a relation symbol is unitary and is applied only to constant symbols or variables.

  2. 2.

    Note that in the original trolley problem, five people are on the main track. For the sake of simplicity, we assume that only two people are on the main track.

References

  1. Apt, K.R.: From Logic to Logic Programming. Prentice Hall, London (1997)

    Google Scholar 

  2. Aquinas, T.: Summa theologica II-II, q. 64, art. 7, “of Killing”. In: Baumgarth, W.P., Regan, R. (eds.) On Law, Morality, and Politics, pp. 226–227. Hackett Publishing Co., Indianapolis (1988)

    Google Scholar 

  3. Awad, E., et al.: The moral machine experiment. Nature 563, 59–64 (2018)

    Article  Google Scholar 

  4. Baader, F., Siekmann, J.: Unification theory. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 2, pp. 41–125. Oxford University Press (1994)

    Google Scholar 

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

    Article  Google Scholar 

  6. Bentham, J.: An Introduction to the Principles of Morals and Legislation. Dover Publications Inc. (2009)

    Google Scholar 

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

    Article  Google Scholar 

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

    Google Scholar 

  9. Deckert, D.: A formalization of the trolley problem with the fluent calculus. TU Dresden, Informatik (2018)

    Google Scholar 

  10. Dietz Saldanha, E.A., Hölldobler, S., Kencana Ramli, C.D.P., Palacios Medinacelli, L.: A core method for the weak completion semantics with skeptical abduction. J. Artif. Intell. Res. 63, 51–86 (2018)

    Article  MathSciNet  Google Scholar 

  11. Dietz Saldanha, E.A., Hölldobler, S., Lourêdo Rocha, I.: The weak completion semantics. In: Schon, C., Furbach, U. (eds.) Proceedings of the Workshop on Bridging the Gap Between Human and Automated Reasoning - Is Logic and Automated Reasoning a Foundation for Human Reasoning?, vol. 1994, pp. 18–30. CEUR-WS.org (2017). http://ceur-ws.org/Vol-1994/

  12. Dietz Saldanha, E.-A., Hölldobler, S., Pereira, L.M.: Contextual reasoning: usually birds can abductively fly. In: Balduccini, M., Janhunen, T. (eds.) LPNMR 2017. LNCS (LNAI), vol. 10377, pp. 64–77. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-61660-5_8

    Chapter  MATH  Google Scholar 

  13. Dietz Saldanha, E.A., Hölldobler, S., Schwarz, S., Stefanus, L.Y.: The weak completion semantics and equality. In: Barthe, G., Sutcliffe, G., Veanes, M. (eds.) Proceedings of the 22nd International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-22, vol. 57, pp. 326–242. EPiC series in Computing (2018)

    Google Scholar 

  14. Foot, P.: The Problem of Abortion and the Doctrine of Double Effect, vol. 5. Oxford Review (1967)

    Google Scholar 

  15. Griggs, R., Cox, J.: The elusive thematic materials effect in the Wason selection task. Br. J. Psychol. 73, 407–420 (1982)

    Article  Google Scholar 

  16. Halford, G.S.: Children’s Understanding. Psychology Press, New York (1993)

    Google Scholar 

  17. Hölldobler, S.: Ethical decision making under the weak completion semantics. In: Schon, C. (ed.) Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning, vol. 2261, pp. 1–5. CEUR-WS.org (2018). http://ceur-ws.org/Vol-2261/

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

  19. 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). https://doi.org/10.1007/978-3-642-02846-5_37

    Chapter  MATH  Google Scholar 

  20. Hölldobler, S., Schneeberger, J.: A new deductive approach to planning. New Gener. Comput. 8, 225–244 (1990)

    Article  Google Scholar 

  21. Hölldobler, S., Schneeberger, J., Thielscher, M.: AC1-unification/matching in linear logic programming. In: Baader, F., Siekmann, J., Snyder, W. (eds.) Proceedings of the Sixth International Workshop on Unification. BUCS Tech Report 93–004, Boston University, Computer Science Department (1993)

    Google Scholar 

  22. Jaffar, J., Lassez, J.L., Maher, M.J.: A theory of complete logic programs with equality. In: Proceedings of the International Conference on Fifth Generation Computer Systems, pp. 175–184. ICOT (1984)

    Google Scholar 

  23. Kamm, F.M.: Intricate Ethics: Rights, Responsibilities, and Permissible Harm. Oxford University Press, Oxford (2006)

    Google Scholar 

  24. Khemlani, S., Johnson-Laird, P.N.: Theories of the syllogism: a meta-analysis. Psychol. Bull. 138(3), 427–457 (2012)

    Article  Google Scholar 

  25. Kowalski, R., Sergot, M.: A logic-based calculus of events. New Gener. Comput. 4, 67–95 (1986)

    Article  Google Scholar 

  26. Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1984). https://doi.org/10.1007/978-3-642-83189-8

    Book  MATH  Google Scholar 

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

    Google Scholar 

  28. McIntyre, A.: Doctrine of double effect. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy, Spring 2019 edn. (2019). https://plato.stanford.edu/archives/spr2019/entries/double-effect/

  29. Miller, G.A.: The magical number seven, plus or minus two: some limits on our capacity for processing information. Psychol. Rev. 63(2), 81–97 (1956)

    Article  Google Scholar 

  30. Nickerson, R.S.: Conditional Reasoning. Oxford University Press, Oxford (2015)

    Book  Google Scholar 

  31. Oliviera da Costa, A., Dietz Saldanha, E.A., Hölldobler, S., Ragni, M.: A computational logic approach to human syllogistic reasoning. In: Gunzelmann, G., Howes, A., Tenbrink, T., Davelaar, E.J. (eds.) Proceedings of the 39th Annual Conference of the Cognitive Science Society, pp. 883–888. Cognitive Science Society, Austin (2017)

    Google Scholar 

  32. Osherson, D.N.: Logical Abilities in Children, vol. 1. Routledge, London (1974)

    Google Scholar 

  33. Pereira, L.M., Saptawijaya, A.: Programming Machine Ethics. Springer, Heidelberg (2016). https://doi.org/10.1007/978-3-319-29354-7

    Book  Google Scholar 

  34. Plaisted, D.A.: Equational reasoning and term rewriting system. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 1, chap. 5. Oxford University Press, Oxford (1993)

    Google Scholar 

  35. Reiter, R.: The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. In: Lifschitz, V. (ed.) Artificial Intelligence and Mathematical Theory of Computation—Papers in Honor of John McCarthy, pp. 359–380. Academic Press (1991)

    Google Scholar 

  36. Shastri, L., Ajjanagadde, V.: From associations to systematic reasoning: a connectionist representation of rules, variables and dynamic bindings using temporal synchrony. Behav. Brain Sci. 16(3), 417–494 (1993)

    Article  Google Scholar 

  37. Stenning, K., van Lambalgen, M.: Semantic interpretation as computation in nonmonotonic logic: the real meaning of the suppression task. Cogn. Sci. 29, 919–960 (2005)

    Article  Google Scholar 

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

    Book  Google Scholar 

  39. Thielscher, M.: AC1-Unifikation in der linearen logischen Programmierung. Master’s thesis, Intellektik, Informatik, TH Darmstadt (1992)

    Google Scholar 

  40. Thielscher, M.: Introduction to the fluent calculus. Electron. Trans. Artif. Intell. 2(3–4), 179–192 (1998)

    MathSciNet  Google Scholar 

  41. Thielscher, M.: Controlling semi-automatic systems with FLUX. In: Palamidessi, C. (ed.) ICLP 2003. LNCS, vol. 2916, pp. 515–516. Springer, Heidelberg (2003). https://doi.org/10.1007/978-3-540-24599-5_49

    Chapter  Google Scholar 

  42. Wason, P.C.: Reasoning about a rule. Q. J. Exp. Psychol. 20, 273–281 (1968)

    Article  Google Scholar 

Download references

Acknowledgements

This work would not have been possible without the inspiration and tremendous help of Dominic Deckert, Emmanuelle-Anna Dietz Saldanha, Sibylle Schwarz, and Lim Yohanes Stefanus. Many thanks to Marco Ragni, Luís Moniz Pereira, and the anonymous referees for valuable comments.

Author information

Authors and Affiliations

  1. Technische Universität Dresden, Dresden, Germany

    Steffen Hölldobler

  2. North Caucasus Federal University, Stavropol, Russian Federation

    Steffen Hölldobler

Authors
  1. Steffen Hölldobler
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Steffen Hölldobler .

Editor information

Editors and Affiliations

  1. University of Bremen, Bremen, Germany

    Carsten Lutz

  2. University of Manchester, Manchester, UK

    Uli Sattler

  3. University of Iowa, Iowa City, IA, USA

    Cesare Tinelli

  4. TU Dresden, Dresden, Germany

    Anni-Yasmin Turhan

  5. University of Liverpool, Liverpool, UK

    Frank Wolter

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Hölldobler, S. (2019). Do Humans Reason with \(\mathcal{E}\)-Matchers?. In: Lutz, C., Sattler, U., Tinelli, C., Turhan, AY., Wolter, F. (eds) Description Logic, Theory Combination, and All That. Lecture Notes in Computer Science(), vol 11560. Springer, Cham. https://doi.org/10.1007/978-3-030-22102-7_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-22102-7_17

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-22101-0

  • Online ISBN: 978-3-030-22102-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation