{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T09:05:00Z","timestamp":1785315900612,"version":"3.55.0"},"reference-count":119,"publisher":"Frontiers Media SA","license":[{"start":{"date-parts":[[2024,1,8]],"date-time":"2024-01-08T00:00:00Z","timestamp":1704672000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["frontiersin.org"],"crossmark-restriction":true},"short-container-title":["Front. Artif. Intell."],"abstract":"<jats:p>Formal deductive logic, used to express and reason over declarative, axiomatizable content, captures, we now know, essentially all of what is known in mathematics and physics, and captures as well the details of the proofs by which such knowledge has been secured. This is certainly impressive, but deductive logic alone cannot enable rational adjudication of arguments that are at variance (however much additional information is added). After affirming a fundamental directive, according to which argumentation should be the basis for human-centric AI, we introduce and employ both a deductive and\u2014crucially\u2014an inductive <jats:italic>cognitive calculus<\/jats:italic>. The former cognitive calculus, <jats:inline-formula><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" id=\"M1\"><mml:mrow><mml:mi mathvariant=\"script\">DCEC<\/mml:mi><\/mml:mrow><\/mml:math><\/jats:inline-formula>, is the deductive one and is used with our automated deductive reasoner ShadowProver; the latter, <jats:inline-formula><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" id=\"M2\"><mml:mrow><mml:mi mathvariant=\"script\">IDCEC<\/mml:mi><\/mml:mrow><\/mml:math><\/jats:inline-formula>, is inductive, is used with the automated inductive reasoner ShadowAdjudicator, and is based on human-used concepts of <jats:italic>likelihood<\/jats:italic> (and in some dialects of <jats:inline-formula><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" id=\"M3\"><mml:mrow><mml:mi mathvariant=\"script\">IDCEC<\/mml:mi><\/mml:mrow><\/mml:math><\/jats:inline-formula>, probability). We explain that ShadowAdjudicator centers around the concept of competing and nuanced arguments adjudicated non-monotonically through time. We make things clearer and more concrete by way of three case studies, in which our two automated reasoners are employed. Case Study 1 involves the famous Monty Hall Problem. Case Study 2 makes vivid the efficacy of our calculi and automated reasoners in simulations that involve a cognitive robot (PERI.2). In Case Study 3, as we explain, the simulation employs the cognitive architecture ARCADIA, which is designed to computationally model human-level cognition in ways that take perception and attention seriously. We also discuss a type of argument rarely analyzed in logic-based AI; arguments intended to persuade by leveraging human deficiencies. We end by sharing thoughts about the future of research and associated engineering of the type that we have displayed.<\/jats:p>","DOI":"10.3389\/frai.2023.1144569","type":"journal-article","created":{"date-parts":[[2024,1,8]],"date-time":"2024-01-08T05:03:30Z","timestamp":1704690210000},"update-policy":"https:\/\/doi.org\/10.3389\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Argument-based inductive logics, with coverage of compromised perception"],"prefix":"10.3389","volume":"6","author":[{"given":"Selmer","family":"Bringsjord","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Giancola","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Naveen Sundar","family":"Govindarajulu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John","family":"Slowik","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"James","family":"Oswald","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paul","family":"Bello","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Micah","family":"Clark","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"1965","published-online":{"date-parts":[[2024,1,8]]},"reference":[{"key":"B1","volume-title":"A Primer of Probability Logic","author":"Adams","year":"1998"},{"key":"B2","article-title":"\u201cRhetoric,\u201d","volume-title":"A New Translation of Aristotle's Rhetoric","year":"1823"},{"key":"B3","first-page":"11","article-title":"\u201cOn sophistical refutations,\u201d","volume-title":"Aristotle: On Sophistical Refutations, On Coming-To-Be and Passing-Away, On the Cosmos","year":"1955"},{"key":"B4","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/s11023-007-9063-5","article-title":"Computers, justification, and mathematical knowledge","volume":"17","author":"Arkoudas","year":"2007","journal-title":"Minds Mach"},{"key":"B5","first-page":"47","article-title":"Propositional attitudes and causation","volume":"3","author":"Arkoudas","year":"","journal-title":"Int. J. Softw. Informat"},{"key":"B6","doi-asserted-by":"publisher","first-page":"1367","DOI":"10.1016\/j.artint.2009.06.002","article-title":"Vivid: an AI framework for heterogeneous problem solving","volume":"173","author":"Arkoudas","year":"","journal-title":"Artif. Intell"},{"key":"B7","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1017\/S1755020308090060","article-title":"The logic of justification","volume":"1","author":"Artemov","year":"2008","journal-title":"Rev. Symb. Logic"},{"key":"B8","unstructured":"\u201cJustification logic,\u201d\n            ArtemovS.\n            FittingM.\n          The Stanford Encyclopedia of Philosophy2020"},{"key":"B9","article-title":"Cognition, Pearson, London, UK","author":"Ashcraft","year":"2013"},{"key":"B10","first-page":"216","author":"Aubry","year":"2006"},{"key":"B11","unstructured":"\u201cAnalogy and analogical reasoning,\u201d\n            BarthaP.\n          The Stanford Encyclopedia of Philosophy2013"},{"key":"B12","first-page":"211","article-title":"\u201cHeterogeneous logic,\u201d","volume-title":"Diagrammatic Reasoning: Cognitive and Computational Perspectives","author":"Barwise","year":"1995"},{"key":"B13","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1142\/S2705078520500022","article-title":"Attention and consciousness in intentional action: steps toward rich artificial agency","volume":"7","author":"Bello","year":"2020","journal-title":"J. Artif. Intell. Conscious"},{"key":"B14","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1016\/j.artint.2007.05.001","article-title":"Argumentation in artificial intelligence","volume":"171","author":"Bench-Capon","year":"2007","journal-title":"Artif. Intell"},{"key":"B15","unstructured":"\u201cA dialogue game for dialectical interaction with expert systems,\u201d\n            Bench-CaponT.\n            DunneP.\n            LengP.\n          Proceedings of the 12th Annual Conference on Expert Systems and Their Applications1992"},{"key":"B16","volume-title":"Hypergraphs: Combinatorics of Finite Sets","author":"Berge","year":"1989"},{"key":"B17","volume-title":"The Logic Book","author":"Bergmann","year":"2013"},{"key":"B18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00250612","article-title":"A curious inference","volume":"16","author":"Boolos","year":"1987","journal-title":"J. Philos. Logic"},{"key":"B19","volume-title":"Computability and Logic, 4th Edn","author":"Boolos","year":"2003"},{"key":"B20","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-00080-0","volume-title":"Hypergraph Theory: An Introduction","author":"Bretto","year":"2013"},{"key":"B21","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/2043174.2043195","article-title":"Answer set programming at a glance","volume":"54","author":"Brewka","year":"2011","journal-title":"Commun. ACM"},{"key":"B22","first-page":"279","article-title":"\u201cIncremental object perception in an attention-driven cognitive architecture,\u201d","volume-title":"Proceedings of the 37th Annual Meeting of the Cognitive Science Society","author":"Bridewell","year":"2015"},{"key":"B23","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1093\/analys\/45.1.64","article-title":"Are there set-theoretic worlds?","volume":"45","author":"Bringsjord","year":"1985","journal-title":"Analysis"},{"key":"B24","first-page":"14","article-title":"Belief in the singularity is logically brittle","volume":"19","author":"Bringsjord","year":"2012","journal-title":"J. Conscious. Stud"},{"key":"B25","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1080\/01445340.2015.1065461","article-title":"A vindication of program verification","volume":"36","author":"Bringsjord","year":"2015","journal-title":"Hist. Philos. Logic"},{"key":"B26","unstructured":"\u201cCulturally aware social robots that carry humans inside them, protected by defeasible argumentation systems,\u201d440456\n            BringsjordS.\n            GiancolaM.\n            GovindarajuluN.\n          AmsterdamIOS PressCulturally Sustainable Social Robotics, Proceedings of Robophilosophy 2020 August 18-21 2020"},{"key":"B27","unstructured":"Logic-Based Modeling of Cognition173209\n            BringsjordS.\n            GiancolaM.\n            GovindarajuluN. S.\n          Cambridge, UKCambridge University Press"},{"key":"B28","unstructured":"BringsjordS.\n            GovindarajuluN.\n            BringsjordA.\n          Three-Dimensional Hypergraphical Natural Deduction. Book of Abstracts. Logic Colloquium 2023, European Summer Meeting of the Associatiion for Symbolic Logic (ASL)"},{"key":"B29","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1515\/pjbr-2021-0009","article-title":"automated argument adjudication to solve ethical problems in multi-agent environments","volume":"12","author":"Bringsjord","year":"2021","journal-title":"Paladyn"},{"key":"B30","unstructured":"\u201cArtificial intelligence,\u201d\n            BringsjordS.\n            GovindarajuluN. S.\n          The Stanford Encyclopedia of Philosophy2018"},{"key":"B31","doi-asserted-by":"publisher","DOI":"10.1111\/cogs.12898","article-title":"Rectifying the mischaracterization of logic by mental model theorists","volume":"44","author":"Bringsjord","year":"2020","journal-title":"Cogn. Sci"},{"key":"B32","unstructured":"\u201cLearning Ex Nihilo,\u201d127\n            BringsjordS.\n            GovindarajuluN. S.\n            LicatoJ.\n            GiancolaM.\n          GCAI 2020. 6th Global Conference on Artificial Intelligence, volume 72 of EPiC Series in Computing"},{"key":"B33","unstructured":"\u201cUniversal cognitive intelligence, from cognitive consciousness, and lambda (\u2227),\u201d\n            BringsjordS.\n            GovindarajuluN. S.\n            OswaldJ."},{"key":"B34","unstructured":"\u201cPERI.2 goes to preschool and beyond, in search of AGI,\u201d\n            BringsjordS.\n            GovindarajuluN. S.\n            SlowikJ.\n            OswaldJ.\n            GiancolaM.\n            AngelJ.\n          ChamSpringerProceedings of Artificial General Intelligence 2022 AGI-2022"},{"key":"B35","unstructured":"BringsjordS.\n            GovindarajuluN. S.\n            TaylorJ.\n            BringsjordA.\n          Logic: a modern approach: beginning deductive logic via HyperSlate\u2122and HyperGrader\u2122. Motalen, Troy, NY"},{"key":"B36","unstructured":"\u201cThe (uncomputable!) meaning of ethically charged natural language, for robots, and us, from hypergraphical inferential semantics,\u201d143167\n            BringsjordS.\n            HendlerJ.\n            GovindarajuluN.\n            GhoshR.\n            GiancolaM.\n          ChamSpringerTrustworthy Artifical-Intelligent Systems, Vol. 102, textitIntelligent Systems, Control and Automation: Science and Engineering"},{"key":"B37","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/s13347-015-0194-y","article-title":"By Disanalogy, cyberwarfare is utterly new","volume":"28","author":"Bringsjord","year":"2015","journal-title":"Philos. Technol"},{"key":"B38","unstructured":"\u201cReal robots that pass tests of self-consciousness,\u201d498504\n            BringsjordS.\n            LicatoJ.\n            GovindarajuluN.\n            GhoshR.\n            SenA.\n          New York, NYIEEEProccedings of the 24th IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN 2015)2015"},{"key":"B39","unstructured":"\u201cWhat is artificial intelligence? Psychometric AI as an answer,\u201d887893\n            BringsjordS.\n            SchimanskiB.\n          San Francisco, CAMorgan KaufmannProceedings of the 182003"},{"key":"B40","unstructured":"BubeckS.\n            ChandrasekaranV.\n            EldanR.\n            GehrkeJ.\n            HorvitzE.\n            KamarE.\n          Sparks of artificial general intelligence: early experiments with GPT-4. arXiv2023"},{"key":"B41","doi-asserted-by":"publisher","first-page":"737","DOI":"10.2307\/2275906","article-title":"On G\u00f6del's theorems on lengths of proofs. I. Number of lines and speedup for arithmetics","volume":"59","author":"Buss","year":"1994","journal-title":"J. Symb. Logic"},{"key":"B42","first-page":"57","article-title":"\u201cOn G\u00f6del's theorems on lengths of proofs II: lower bounds for recognizing k-symbol provability,\u201d","author":"Buss","year":"1995","journal-title":"Feasible Mathematics II"},{"key":"B43","volume-title":"Behavioral Game Theory: Experiments in Strategic Interaction","author":"Camerer","year":"2003"},{"key":"B44","first-page":"2623","article-title":"\u201cFoundations of implementations for formal argumentation,\u201d","author":"Cerutti","year":"2017","journal-title":"The IfCoLog Journal of Logics and their Applications; Special Issue Formal Argumentation, Vol. 4"},{"key":"B45","unstructured":"Chevalier-BoisvertM.\n            WillemsL.\n            PalS.\n          Minimalistic Gridworld Environment for Gymnasium2018"},{"key":"B46","volume-title":"Cognitive Illusions and the Lying Machine: A Blueprint for Sophistic Mendacity","author":"Clark","year":"2010"},{"key":"B47","first-page":"2","article-title":"\u201cMendacity and deception: uses and abuses of common ground,\u201d","volume-title":"Building Representations of Common Ground with Intelligent Agents: Papers from the AAAI Fall Symposium","author":"Clark","year":"2011"},{"key":"B48","first-page":"79","volume-title":"Solutions to a Paradox of Perception With Limited Acuity","author":"Davis","year":"1989"},{"key":"B49","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1613\/jair.5339","article-title":"Logical formalizations of commonsense reasoning: a survey","volume":"59","author":"Davis","year":"2017","journal-title":"J. Artif. Intell. Res"},{"key":"B50","doi-asserted-by":"publisher","DOI":"10.3389\/frai.2022.955579","article-title":"Argumentation: a calculus for human-centric AI","volume":"5","author":"Dietz","year":"2022","journal-title":"Front. Artif. Intell"},{"key":"B51","unstructured":"DouvenI."},{"key":"B52","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","article-title":"On the acceptability of arguments and its fundamental fole in nonmonotonic reasoning, logic programming and N-person games","volume":"77","author":"Dung","year":"1995","journal-title":"Artif. Intell"},{"key":"B53","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2355-7","volume-title":"Mathematical Logic","author":"Ebbinghaus","year":"1994"},{"key":"B54","unstructured":"\u201cIntensional logic,\u201d\n            FittingM.\n          The Stanford Encyclopedia of Philosophy2015"},{"key":"B55","volume-title":"Proof-Theoretic Semantics","author":"Francez","year":"2015"},{"key":"B56","first-page":"933","article-title":"Monty Hall's three doors: construction and deconstruction of a choice anomaly","volume":"88","author":"Friedman","year":"1998","journal-title":"Am. Econ. Rev"},{"key":"B57","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1525\/rh.2001.19.3.275","article-title":"Did the sophists aim to persuade?","volume":"19","author":"Gagarin","year":"2001","journal-title":"Rhetorica."},{"key":"B58","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/s10676-006-9134-y","article-title":"Modeling ethical rules of lying with answer set programming","volume":"9","author":"Ganascia","year":"2007","journal-title":"Ethics Inf. Technol"},{"key":"B59","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1093\/analys\/23.6.121","article-title":"Is justified true belief knowledge?","volume":"23","author":"Gettier","year":"1963","journal-title":"Analysis"},{"key":"B60","volume-title":"Reasoning with Likelihood for Artificially-Intelligent Agents: Formalization & Implementation","author":"Giancola","year":"2023"},{"key":"B61","unstructured":"\u201cEthical reasoning for autonomous agents under uncertainty,\u201d2641\n            GiancolaM.\n            BringsjordS.\n            GovindarajuluN. S.\n            VarelaC.\n          LondonCLAWARSmart Living and Quality Health with Robots, Proceedings of ICRES 20202020"},{"key":"B62","volume-title":"Thinking Things Through","author":"Glymour","year":"1992"},{"key":"B63","unstructured":"GottwaldS."},{"key":"B64","doi-asserted-by":"publisher","first-page":"2077","DOI":"10.1007\/s11229-014-0424-3","article-title":"Proof verification and proof discovery for relativity","volume":"192","author":"Govindarajalulu","year":"2015","journal-title":"Synthese"},{"key":"B65","first-page":"4722","article-title":"\u201cOn automating the doctrine of double effect,\u201d","volume-title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI-17), International Joint Conferences on Artificial Intelligence","author":"Govindarajulu","year":""},{"key":"B66","doi-asserted-by":"crossref","unstructured":"\u201cOn quantified modal theorem proving for modeling ethics,\u201d4349\n            GovindarajuluN.\n            BringsjordS.\n            PevelerM.\n          Waterloo, NSWOpen Publishing AssociationProceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE 2019), Volume 311 of Electronic Proceedings in Theoretical Computer Science2019","DOI":"10.4204\/EPTCS.311.0"},{"key":"B67","unstructured":"\u201cStrength factors: an uncertainty system for quantified modal logic,\u201d3440\n            GovindarajuluN. S.\n            BringsjordS.\n          Proceedings of the IJCAI Workshop on"},{"key":"B68","volume-title":"The Monty Hall Dilemma: A Cognitive Illusion Exellence","author":"Granberg","year":"2014"},{"key":"B69","article-title":"Would I Lie To You? Fairness and Deception in Rhetorical Dialogues","author":"Grasso","year":"2002"},{"key":"B70","unstructured":"\u201cInformal logic,\u201d\n            GroarkeL.\n          The Stanford Encyclopedia of Philosophy"},{"key":"B71","unstructured":"Why meta's latest large language model survived only three days online\n            HeavenW. D.\n          MIT Technol. Rev.2022"},{"key":"B72","first-page":"503","article-title":"What is abduction? The fundamental problem of contemporary epistemology","volume":"34","author":"Hintikka","year":"1998","journal-title":"Transact. Charles S.Peirce Soc"},{"key":"B73","volume-title":"Argument & Inference: An Introduction to Inductive Logic","author":"Johnson","year":"2016"},{"key":"B74","volume-title":"Mental Models: Towards a Cognitive Science of Language, Inference, and Consciousness","author":"Johnson-Laird","year":"1983"},{"key":"B75","volume-title":"How We Reason","author":"Johnson-Laird","year":"2006"},{"key":"B76","volume-title":"Thinking, Fast and Slow","author":"Kahneman","year":"2013"},{"key":"B77","volume-title":"A Treatise on Probability","author":"Keynes","year":"1921"},{"key":"B78","doi-asserted-by":"publisher","first-page":"150","DOI":"10.2307\/2267778","article-title":"On notation for ordinal numbers","volume":"3","author":"Kleene","year":"1938","journal-title":"J. Symb. Log."},{"key":"B79","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/BF01186549","article-title":"Zur Deutung der Intuitionistischen Logik","volume":"35","author":"Kolmogorov","year":"1932","journal-title":"Math Zeitschrift"},{"key":"B80","volume-title":"Grundbegriffe der Wahrscheinlichkeitrechnung. Ergebnisse Der Mathematik. Translated as Foundations of Probability","author":"Kolmogorov","year":"1933"},{"key":"B81","unstructured":"\u201cDefeasible reasoning,\u201d\n            KoonsR.\n          The Stanford Encyclopedia of Philosophy2017"},{"key":"B82","first-page":"1","article-title":"\u201cLeibniz's logic,\u201d","volume-title":"Handbook of the History of Logic","author":"Lenzen","year":"2004"},{"key":"B83","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/9780262016995.001.0001","volume-title":"Thinking as Computation","author":"Levesque","year":"2012"},{"key":"B84","first-page":"41","article-title":"\u201cA fundamental tradeoff in knowledge representation and reasoning (revised version),\u201d","volume-title":"Readings in Knowledge Representation","author":"Levesque","year":"1985"},{"key":"B85","unstructured":"\u201cChapter 24: cognitive robotics,\u201d869882\n            LevesqueH.\n            LakemeyerG.\n          AmsterdamElsevierHandbook of Knowledge Representation2007"},{"key":"B86","first-page":"187","article-title":"\u201cLogic and agon,\u201d","volume-title":"Atti del XII Congresso Internazionale di Filosofia IV","author":"Lorenzen","year":"1960"},{"key":"B87","volume-title":"Artificial Intelligence: Structures and Strategies for Complex Problem Solving, 6th Edn","author":"Luger","year":"2008"},{"key":"B88","first-page":"170","article-title":"O Logice Trojwartosciowej","volume":"5","author":"\u0141ukasiewicz","year":"1920","journal-title":"Ruch Filozoficny"},{"key":"B89","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-10135-9","volume-title":"Handbook of Abductive Cognition","author":"Magnani","year":"2023"},{"key":"B90","volume-title":"Plato's Dream of Sophistry","author":"Marback","year":"1999"},{"key":"B91","doi-asserted-by":"publisher","first-page":"27","DOI":"10.21236\/ADA086574","article-title":"Circumscription\u2013a form of non-monotonic reasoning","volume":"13","author":"McCarthy","year":"1980","journal-title":"Artif. Intell"},{"key":"B92","volume-title":"Gorgias and the New Sophistic Rhetoric","author":"McComiskey","year":"2002"},{"key":"B93","volume-title":"The Basic Works of Aristotle","author":"McKeon","year":"1941"},{"key":"B94","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1093\/jigpal\/jzk015","article-title":"A formal logic for abductive reasoning","volume":"14","author":"Meheus","year":"2006","journal-title":"Logic J. IGPL"},{"key":"B95","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1080\/19462166.2013.869766","article-title":"The ASPIC+ framework for structured argumentation: a tutorial","volume":"5","author":"Modgil","year":"2014","journal-title":"Argum. Comp"},{"key":"B96","unstructured":"\u201cPropositional attitude reports,\u201d\n            NelsonM.\n          The Stanford Encyclopedia of Philosophy2015"},{"key":"B97","volume-title":"Unified Theories of Cognition","author":"Newell","year":"1990"},{"key":"B98","first-page":"313","article-title":"\u201cLeibniz's characteristica universalis and calculus ratiocinator today,\u201d","volume-title":"Death and Anti-Death, Volume 14: Four Decades After Michael Polanyi, Three Centuries After G. W. Leibniz'","author":"Paleo","year":"2016"},{"key":"B99","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107326194","volume-title":"Pure Inductive Logic","author":"Paris","year":"2015"},{"key":"B100","first-page":"35","article-title":"\u201cAI approaches to abduction,\u201d","volume-title":"Handbook of Defeasible Reasoning and Uncertainty Management Systems, Vol. 4","author":"Paul","year":"2000"},{"key":"B101","volume-title":"Rationality: What It Is, Why It Seems Scarce, Why It Matters","author":"Pinker","year":"2021"},{"key":"B102","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1887.001.0001","volume-title":"Cognitive Carpentry: A Blueprint for How to Build a Person","author":"Pollock","year":"1995"},{"key":"B103","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/978-94-017-0456-4_3","article-title":"\u201cLogics for defeasible argumentation,\u201d","volume-title":"Handbook of Philosophical Logic","author":"Prakken","year":"2001"},{"key":"B104","first-page":"123","article-title":"\u201cThe philosophical position of proof theory,\u201d","volume-title":"Contemporary Philosophy in Scandinavia","author":"Prawitz","year":"1972"},{"key":"B105","first-page":"999","article-title":"\u201cComputational models of natural language argument,\u201d","author":"Reed","year":"2001"},{"key":"B106","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1002\/int.20187","article-title":"Recent advances in computational models of natural argument","volume":"22","author":"Reed","year":"2007","journal-title":"Int. J. Intell. Syst"},{"key":"B107","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-0431-1","article-title":"Argumentation Machines: New Frontiers in Argument and Computation","author":"Reed","year":"2004"},{"key":"B108","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","article-title":"A logic for default reasoning","volume":"13","author":"Reiter","year":"1980","journal-title":"Artif. Intell"},{"key":"B109","doi-asserted-by":"crossref","DOI":"10.1515\/9781400884223","volume-title":"Non-Standard Analysis","author":"Robinson","year":"1996"},{"key":"B110","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1080\/10724117.2008.11974778","article-title":"Monty Hall, Monty Fall, Monty Crawl","volume":"16","author":"Rosenthal","year":"2008","journal-title":"Math Horizons"},{"key":"B111","volume-title":"Artificial Intelligence: A Modern Approach, 3rd Edn","author":"Russell","year":"2009"},{"key":"B112","volume-title":"Artificial Intelligence: A Modern Approach, 4th Edn","author":"Russell","year":"2020"},{"key":"B113","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1111\/j.1755-2567.1967.tb00610.x","article-title":"Some modal logics based on a three-valued logic","volume":"33","author":"Segerberg","year":"1967","journal-title":"Theoria"},{"key":"B114","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1037\/h0042769","article-title":"Rational choice and the structure of the environment","volume":"63","author":"Simon","year":"1956","journal-title":"Psychol. Rev"},{"key":"B115","unstructured":"\u201cAristotle's logic,\u201d\n            SmithR.\n          The Stanford Encyclopedia of Philosophy2017"},{"key":"B116","unstructured":"Galactica: a large language model for science\n            TaylorR.\n            KardasM.\n            CucurullG.\n            ScialomT.\n            HartshornA.\n            SaraviaE.\n          arXiv2021"},{"key":"B117","first-page":"1","volume-title":"Behind Monty Hall's Doors: Puzzle, Debate and Answer?","author":"Tierney","year":"1991"},{"key":"B118","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511840005","volume-title":"The Uses of Argument","author":"Toulmin","year":"2003"},{"key":"B119","volume-title":"Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning","author":"Walton","year":"1995"}],"container-title":["Frontiers in Artificial Intelligence"],"original-title":[],"link":[{"URL":"https:\/\/www.frontiersin.org\/articles\/10.3389\/frai.2023.1144569\/full","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,8]],"date-time":"2024-01-08T05:04:12Z","timestamp":1704690252000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.frontiersin.org\/articles\/10.3389\/frai.2023.1144569\/full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,1,8]]},"references-count":119,"alternative-id":["10.3389\/frai.2023.1144569"],"URL":"https:\/\/doi.org\/10.3389\/frai.2023.1144569","relation":{},"ISSN":["2624-8212"],"issn-type":[{"value":"2624-8212","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,1,8]]},"article-number":"1144569"}}