Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
KI - Künstliche Intelligenz
Erschienen in: KI - Künstliche Intelligenz 3/2019

09.07.2019 | Technical Contribution

Cognitive Argumentation for Human Syllogistic Reasoning

verfasst von: Emmanuelle-Anna Dietz Saldanha, Antonis Kakas

Erschienen in: KI - Künstliche Intelligenz | Ausgabe 3/2019

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

This paper brings together work from the psychology of reasoning and computational argumentation in AI to propose a cognitive computational model for human reasoning and in particular for human syllogistic reasoning. The model is grounded in the formal framework of argumentation in AI with its dialectic semantics for the quality of arguments. Arguments for logical conclusions are constructed via a set of proposed argument schemes, chosen for their cognitive validity, as supported by studies in cognitive psychology. The proposed model with its cognitive principles of argumentation can encompass together in a uniform way both formal and informal logical reasoning, capturing well the empirical data of human syllogistic reasoning in the recent Syllogism Challenge 2017 on cognitive modeling. The paper also argues that the proposed approach could be applied more generally to other forms of high-level human reasoning.
Vorheriger Artikel Why Machines Don’t (yet) Reason Like People
Nächster Artikel Semantics of Analogies from a Logical Perspective

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

KI - Künstliche Intelligenz

The Scientific journal "KI – Künstliche Intelligenz" is the official journal of the division for artificial intelligence within the "Gesellschaft für Informatik e.V." (GI) – the German Informatics Society - with constributions from troughout the field of artificial intelligence.

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Weitere Produktempfehlungen anzeigen
Fußnoten
4
The underlined letters denote the abbreviations in the sequel.
 
5
See for example the special issue of Argument and Computation, 5(1), 2014 on tutorials of structured argumentation and the recent Handbook on Formal Argumentation [17].
 
6
Here and in the sequel, we omit \(\sigma \) in the indices and only specify the relevant predicates in parantheses after the scheme.
 
7
The notion of complement is part of the given language \({{\mathcal {L}}}\). For example, when our language contains a negation operator then A is in conflict with \(\lnot A\) and vice versa for any atom A. Accordingly, the complement, \({\overline{L}} = \lnot A\) when \(L = A\) and \({\overline{L}} = A\) when \(L = \lnot A\).
 
10
This also corresponds to its Aristotelian interpretation [29].
 
11
This applies in II1, II2, II3, II4, OO3, OO4, IO1, IO4, OI2 and OI4.
\(p,q,p',q',r\) and s are substituted according to \(\varSigma = \{ (a,b,b,c,a,c),\)
(b, a, c, b, a, c), (a, b, c, b, a, c), (b, a, b, c, a, c), (a, b, b, c, c, a),  \((b,a,c,b,c,a), (a,b,c,b,c,a), (b,a,b,c,c,a)\}\).
 
12
In Figs. 1, 2 and 3 , \({\uparrow , \updownarrow }\) show attacks and \({\Uparrow }, \Updownarrow \) show defenses.
 
15
The interested reader who would like to study the representation in Gorgias can request this from the authors.
 
Literatur
1.
2.
Byrne RMJ (1989) Suppressing valid inferences with conditionals. Cognition 31:61–83CrossRef
3.
Stenning K, van Lambalgen M (2008) Human reasoning and cognitive science. A Bradford Book
4.
Khemlani S, Johnson-Laird PN (2012) Theories of the syllogism: a meta-analysis. Psychol Bull 138:427–457CrossRef
5.
Khemlani S, Johnson-Laird PN (2016) How people differ in syllogistic reasoning. In: Papafragou A, Grodner D, Mirman D, Trueswell J (eds) Proc. of 38th Conf. of Cog. Sci. Society, Austin, TX: Cognitve Science Society, 2165–2170
6.
Stolzenburg F, Lüderitz R (2017) Syllogistic reasoning in seven spaces. In: Christoph Beierle, Gabriele Kern-Isberner MR, Stolzenburg F (eds) Proc. of the KI 2017 Workshop on Formal and Cog. Reasoning. 1928, CEUR Workshop Proc., pp 77–88
7.
Costa A, Dietz Saldanha EA, Hölldobler S, Ragni M (2017) A computational logic approach to human syllogistic reasoning. In: Gunzelmann G, Howes A, Tenbrink T, Davelaar E, eds.: Proc. of 39th Conf. of Cog. Sci Society, Austin, TX: Cognitve Science Society, pp 883–888
8.
Mercier H, Sperber D (2011) Why do humans reason? Arguments for an argumentative theory. Behav Brain Sci 34:57–74CrossRef
9.
Nickerson R (2015) Conditional reasoning: the unruly syntactics, semantics, thematics, and pragmatics of “if”. Oxford University Press, OxfordCrossRefMATH
10.
Besnard P, Hunter A (2008) Elements of argumentation. The MIT Press, CambridgeCrossRef
11.
Amgoud L, Besnard P (2010) A formal analysis of logic-based argumentation systems. In: Deshpande A, Hunter A (eds) Scalable uncertainty management. Springer, Berlin, pp 42–55CrossRef
12.
García AJ, Simari GR (2004) Defeasible logic programming: an argumentative approach. TPLP 4:95–138MathSciNetMATH
13.
Bondarenko A, Dung P, Kowalski R, Toni F (1997) An abstract, argumentation-theoretic approach to default reasoning. Artif Intell 93:63–101MathSciNetCrossRefMATH
14.
Kakas AC, Moraitis P (2003) Argumentation based decision making for autonomous agents. In: Proc. of 2nd int. joint conf. on autonomous agents & multiagent systems, AAMAS, ACM, pp 883–890
15.
16.
Barnes J (1984) The complete works of aristotle, vol 1. Princeton University Press, Princeton
17.
Baroni P, Gabbay D, Giacomin M (2018) Handbook of formal argumentation. College Publications
18.
Pollock JL (1995) Cognitive carpentry: a blueprint for how to build a person. MIT Press, Cambridge
19.
Walton DN (1996) Argumentation schemes for presumptive reasoning. L. Erlbaum Associates
20.
Prakken H, Sartor G (1997) Argument-based extended logic programming with defeasible priorities. J Appl Non-Class Log 7:25–75MathSciNetCrossRefMATH
21.
22.
Amgoud L, Dimopoulos Y, Moraitis P (2008) Making decisions through preference-based argumentation. In: Brewka G, Lang J (eds) KR, AAAI Press, pp 113–123
23.
24.
Dung PM (1995) On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif Intell 77:321–357MathSciNetCrossRefMATH
25.
Bench-Capon T, Prakken H, Sartor G (2009) Argumentation in legal reasoning. 363
26.
Kakas AC, Mancarella P, Dung PM (1994) The acceptability semantics for logic programs. In: Proc. of 11th Int. Conf. on Logic Programming, pp 504–519
27.
Johnson-Laird PN (1983) Mental models: towards a cognitive science of language, inference, and consciousness, Cambridge, MA
28.
Rips LJ (1994) The psychology of proof: deductive reasoning in human thinking. The MIT Press, CambridgeMATH
29.
Parry W, Hacker E (1991) Aristotelian Logic G.–reference, information and interdisciplinary subjects series. State University of New York Press, Albany
30.
Grice HP (1975) Logic and conversation. In: Cole P, Morgan JL, eds.: Syntax and semantics: Vol. 3: Speech Acts. Academic Press, New York, 41–58 Reprinted as ch.2 of Grice 1989, pp 22–40
31.
Evans JSBT, Newstead SE, Byrne RMJ (1993) Human reasoning: the psychology of deduction. LEA
32.
Wilkins M (1928) The effect of changed material on the ability to do formal syllogistic reasoning. Arch Psychol 16:1–83
33.
Chapman LJ, Chapman JP (1959) Atmosphere effect re-examined. Q J Exp Psychol 58:220–6CrossRef
34.
Dickstein LS (1981) Conversion and possibility in syllogistic reasoning. Psychon Bull 18:229–232CrossRef
35.
O’Brien D, Braine DS, Yang Y (1994) Propositional reasoning by mental models? simple to refute in principle and in practice. Psychol Rev 101:711–24CrossRef
36.
Johnson-Laird PN, Girotto V, Legrenzi P (2004) Reasoning from inconsistency to consistency. Psychol Rev 111:640–661CrossRef
37.
Wason PC (1964) The effect of self-contradiction on fallacious reasoning. Q J Exp Psychol 16:30–34CrossRef
38.
Kakas AC, Moraitis P, Spanoudakis N (2009) Gorgias: applying argumentation. Argum Comput 10:55–81CrossRef
39.
Khemlani S, Johnson-Laird PN (2013) The processes of inference. Argum Comput 4:4–20CrossRef
40.
Kakas AC, Maudet N, Moraitis P (2004) Flexible agent dialogue strategies and societal communication protocols. In: 3rd international joint conference on autonomous agents and multiagent systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA, pp 1434–1435
41.
Kakas AC, Miller R, Toni F (1999) An argumentation framework of reasoning about actions and change. In: Logic programming and nonmonotonic reasoning, 5th international conference, LPNMR’99, El Paso, Texas, USA, December 2-4, 1999, Proceedings, pp 78–91
42.
Diakidoy IA, Michael L, Miller R (2014) Story comprehension through argumentation. In: Proceedings of the 5th international conference on computational models of argument (COMMA), pp 31–42
43.
44.
Albrecht J, O’Brien E (1993) Updating a mental model: maintaining both local and global coherence. Exp Psychol Learn Mem Cognit 19(5):1061–1070CrossRef
45.
Byrne R, Walsh C (2005) Resolving contradictions. In: Girotto V, Johnson-Laird P (eds) The shape of reason: essays in honour of Paolo Legrenzi. Psychology Press, Hove
46.
Politzer G, Charles L (2001) Belief revision and uncertain reasoning. Think Reason 7:217–234CrossRef
47.
Revlis R, Hayes P (1972) The primacy of generalities in hypothetical reasoning. Cognit Psychol 3:268–290CrossRef
48.
Evans J, Barston JL, Pollard P (1983) On the conflict between logic and belief in syllogistic reasoning. Memory Cognit 11:295–306CrossRef
49.
Klauer KC, Musch J, Naumer B (2000) On belief bias in syllogistic reasoning. Psychol Rev 107:852–884CrossRef
50.
Dietz EA (2017) A computational logic approach to the belief bias in human syllogistic reasoning. In: Proceedings of the 10th international and interdisciplinary conference on modeling and using context (CONTEXT), 10257, Springer, pp 691–707
51.
Johnson RH, Blair JA (2000) Informal logic: an overview. Informal Logic 20:94–108
52.
Braine MD, O’Brien DP (1991) A theory of if: a lexical entry, reasoning program, and pragmatic principles. Psychol Rev 98:182–203CrossRef
53.
Braine MD, O’Brien DP (eds) (1998) Mental logic. Lawrence Erlbaum Associates, Mahwah
54.
Thaler RH (2016) Behavioral economics: past, present, and future. Am Econ Rev 106:1577–1600CrossRef
55.
Barberis N (2018) Richard thaler and the rise of behavioral economics. Scand J Econ 120:661–684CrossRef
Metadaten
Titel
Cognitive Argumentation for Human Syllogistic Reasoning
verfasst von
Emmanuelle-Anna Dietz Saldanha
Antonis Kakas
Publikationsdatum
09.07.2019
Verlag
Springer Berlin Heidelberg
Erschienen in
KI - Künstliche Intelligenz / Ausgabe 3/2019
Print ISSN: 0933-1875
Elektronische ISSN: 1610-1987
DOI
https://doi.org/10.1007/s13218-019-00608-y

Weitere Artikel der Ausgabe 3/2019

KI - Künstliche Intelligenz 3/2019 Zur Ausgabe

Project Report

The CoRg Project: Cognitive Reasoning

Interview

Interview with Professor Hector Levesque, University of Toronto

Technical Contribution

Learning Inference Rules from Data

Technical Contribution

Why Machines Don’t (yet) Reason Like People

Survey

Cognitive Reasoning: A Personal View

Technical Contribution

Accentuating Features of Description Logics in High-Level Interpretations of Hand-Drawn Sketches