×

zbMATH — the first resource for mathematics

Deontic logic for human reasoning. (English) Zbl 1432.03031
Eiter, Thomas (ed.) et al., Advances in knowledge representation, logic programming, and abstract argumentation. Essays dedicated to Gerhard Brewka on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9060, 63-80 (2015).
Summary: Deontic logic is shown to be applicable for modelling human reasoning. For this the Wason selection task and the suppression task are discussed in detail. Different versions of modelling norms with deontic logic are introduced and in the case of the Wason selection task it is demonstrated how differences in the performance of humans in the abstract and in the social contract case can be explained. Furthermore, it is shown that an automated theorem prover can be used as a reasoning tool for deontic logic.
For the entire collection see [Zbl 1303.68014].

MSC:
03B45 Modal logic (including the logic of norms)
03B35 Mechanization of proofs and logical operations
Software:
E-KRHyper
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Artosi, A., Cattabriga, P., Governatori, G.: Ked: A deontic theorem prover. In: On Legal Application of Logic Programming, ICLP 1994, pp. 60–76 (1994)
[2] Bassiliades, N., Kontopoulos, E., Governatori, G., Antoniou, G.: A modal defeasible reasoner of deontic logic for the semantic web. Int. J. Semant. Web Inf. Syst. 7(1), 18–43 (2011)
[3] Baumgartner, P., Furbach, U., Pelzer, B.: Hyper tableaux with equality. In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol. 4603, pp. 492–507. Springer, Heidelberg (2007) · Zbl 1213.03019
[4] Bender, M., Pelzer, B., Schon, C.: System description: E-kRHyper 1.4. In: Bonacina, M.P. (ed.) CADE 2013. LNCS, vol. 7898, pp. 126–134. Springer, Heidelberg (2013) · Zbl 1381.68258
[5] Blackburn, P., van Benthem, J., Wolter, F. (eds.): Handbook of Modal Logic. Studies in Logic and Practical Reasoning, vol. 3. Elsevier Science (December 2006) · Zbl 1114.03001
[6] Bringsjord, S., Arkoudas, K., Bello, P.: Toward a general logicist methodology for engineering ethically correct robots. IEEE Intelligent Systems 21(4), 38–44 (2006) · Zbl 05334079
[7] Byrne, R.M.: Suppressing valid inferences with conditionals. Cognition 31(1), 61–83 (1989)
[8] Chisolm, R.M.: Contrary-to-duty imperatives and deontic logic. Analysis 23, 33–36 (1963)
[9] Cosmides, L., Tooby, J.: Can a general deontic logic capture the facts of human moral reasoning? how the mind interprets social exchange rules and detects cheaters. Moral Psychology 1, 53–120 (2008)
[10] Edgington, D.: Conditionals. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy, Winter 2008 edn. (2008)
[11] Furbach, U., Schon, C., Stolzenberg, F.: Automated reasoning in deontic logic. In: Proceedings of the KIK 2014 Workshop. CEUR Workshop Proceedings (2014)
[12] Hölldobler, S., Philipp, T., Wernhard, C.: An abductive model for human reasoning. In: AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
[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) · Zbl 1251.68063
[14] Johnson-Laird, P.N., Byrne, R.M.: Conditionals: a theory of meaning, pragmatics, and inference. Psychological Review 109(4), 646 (2002)
[15] Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive logic programming. Journal of Logic and Computation 2(6), 719–770 (1992) · Zbl 0778.68081
[16] Kowalski, R.: Computational logic and human thinking: how to be artificially intelligent. Cambridge University Press (2011) · Zbl 1230.68021
[17] Motik, B., Shearer, R., Horrocks, I.: Optimized Reasoning in Description Logics Using Hypertableaux. In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol. 4603, pp. 67–83. Springer, Heidelberg (2007) · Zbl 1213.68593
[18] Sanford, D.: If P, then Q: Conditionals and the Foundations of Reasoning. Routledge (1989)
[19] Schild, K.: A correspondence theory for terminological logics: Preliminary report. In: Proc. of IJCAI-91, pp. 466–471 (1991) · Zbl 0742.68059
[20] Schmidt, R.A., Hustadt, U.: First-order resolution methods for modal logics. In: Voronkov, A., Weidenbach, C. (eds.) Programming Logics. LNCS, vol. 7797, pp. 345–391. Springer, Heidelberg (2013) · Zbl 1383.03031
[21] Stenning, K., Van Lambalgen, M.: Human reasoning and cognitive science. MIT Press (2008)
[22] Stone, V.E., Cosmides, L., Tooby, J., Kroll, N., Knight, R.T.: Selective impairment of reasoning about social exchange in a patient with bilateral limbic system damage. Proceedings of the National Academy of Sciences 99(17), 11531–11536 (2002)
[23] von Kutschera, F.: Einführung in die Logik der Normen, Werte und Entscheidungen. In: Alber (1973)
[24] Wason, P.C.: Reasoning about a rule. The Quarterly Journal of Experimental Psychology 20(3), 273–281 (1968)
[25] Pelzer, B., Wernhard, C.: System description: E- kRHyper. In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol. 4603, pp. 508–513. Springer, Heidelberg (2007) · Zbl 1213.68574
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.