{"type":"ScholarlyArticle","title":"A Core Method for the Weak Completion Semantics with Skeptical Abduction (Extended Abstract)","authors":[{"name":"Emmanuelle-Anna Dietz Saldanha","slug":"emmanuelle-anna-dietz-saldanha","given":"Emmanuelle-Anna","family":"Dietz Saldanha","affiliation":"International Center for Computational Logic , Technische Universität Dresden , Germany"},{"name":"Steffen Hölldobler","slug":"steffen-holldobler","given":"Steffen","family":"Hölldobler","affiliation":"International Center for Computational Logic , Technische Universität Dresden , Germany; North-Caucasus Federal University , Stavropol , Russian Federation"},{"name":"Carroline Dewi Puspa Kencana Ramli","slug":"carroline-dewi-puspa-kencana-ramli","given":"Carroline Dewi Puspa","family":"Kencana Ramli","affiliation":"International Center for Computational Logic , Technische Universität Dresden , Germany"},{"name":"Luis Palacios Medinacelli","slug":"luis-palacios-medinacelli","given":"Luis","family":"Palacios Medinacelli","affiliation":"LRASC , Thales Research & Technology , Palaiseau , France; LRI , CNRS , Université Paris-Saclay , France"}],"abstract":"The Weak Completion Semantics is a novel cognitive theory which has\r\n  been successfully applied -- among others -- to the suppression\r\n  task, the selection task and syllogistic reasoning. It is based on\r\n  logic programming with skeptical abduction. Each weakly completed\r\n  program admits a least model under the three-valued Lukasiewicz\r\n  logic which can be computed as the least fixed point of an\r\n  appropriate semantic operator. The operator can be represented by a\r\n  three-layer feed-forward network using the Core method. Its least\r\n  fixed point is the unique stable state of a recursive network which\r\n  is obtained from the three-layer feed-forward core by mapping the\r\n  activation of the output layer back to the input layer.  The\r\n  recursive network is embedded into a novel network to compute\r\n  skeptical abduction. This extended abstract outlines a fully\r\n  connectionist realization of the Weak Completion\r\n  Semantics.","doi":"10.24963/ijcai.2019/887","url":"https://ijcai.org/proceedings/2019/887","pdf":"https://ijcai.org/proceedings/2019/0887.pdf","markdown":"https://ijcai.org/proceedings/2019/887.md","bibtex":"https://ijcai.org/proceedings/2019/bibtex/887","volume":{"slug":"2019","title":"Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2019","url":"https://ijcai.org/proceedings/2019/","year":2019,"location":"Macao","dates":"10-16 August 2019","editors":"Sarit Kraus","isbn":"978-0-9992411-4-1","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2019"},"section":"Journal track","track":"Journal track","number":887,"pages":{"first":6358,"last":6361},"keywords":["Knowledge Representation and Reasoning: Logics for Knowledge Representation","Humans and AI: Cognitive Modeling"],"videos":[],"references":[{"position":1,"raw":"[Apt and van Emden, 1982] Krzysztof R. Apt and Maar- ten H. van Emden. Contributions to the theory of logic programming. Journal of the ACM, 29:841-862, 1982.","title":"Contributions to the theory of logic programming","authors":"R Krzysztof, Maarten H Apt, Van Emden","year":"1982","venue":"Journal of the ACM","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Bader and Hölldobler, 2006] Sebastian Bader and Steffen Hölldobler. The Core method: Connectionist model gener- ation. In Proceedings of the 16th International Conference on Artificial Neural Networks, volume 4132 of Lecture Notes in Computer Science, pages 1-13. Springer-Verlag, 2006.","title":"The Core method: Connectionist model generation","authors":"Hölldobler Bader, Sebastian Bader, Steffen Hölldobler","year":"2006","venue":"Proceedings of the 16th International Conference on Artificial Neural Networks","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Byrne, 1989] Ruth M. J. Byrne. Suppressing valid infer- ences with conditionals. Cognition, 31:61-83, 1989.","title":"Suppressing valid inferences with conditionals","authors":"M J Ruth, Byrne","year":"1989","venue":"Cognition","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Clark, 1978] Keith L. Clark. Negation as failure. In Herv/'e Gallaire and Jack Minker, editors, Logic and Databases, pages 293-322. Plenum, New York, 1978.","title":"Negation as failure","authors":"Keith L Clark","year":"1978","venue":"Logic and Databases","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"['Avila Garcez et al., 1997] Artur S. d'Avila Garcez, Ger- son Zaverucha, and Luís A. V. de Carvalho. Logic pro- gramming and inductive learning in artificial neural net- works. In Christoph Herrmann, Frank Reine, and Antje Strohmaier, editors, Knowledge Representation in Neural Networks, pages 33-46, Berlin, 1997. Logos Verlag.","title":"Logic programming and inductive learning in artificial neural networks","authors":"Artur S Garcez, Gerson Zaverucha, A V Luís, De Carvalho","year":"1997","venue":"Knowledge Representation in Neural Networks","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"['Avila Garcez et al., 2007] Artur S. d'Avila Garcez, Dov M. Gabbay, Oliver Ray, and John Woods. Abductive reasoning in neural-symbolic learning systems. Topoi: An International Review of Philosophy, 26:37-49, 2007.","title":"Abductive reasoning in neural-symbolic learning systems","authors":"Artur S Garcez, Dov M Gabbay, Oliver Ray, John Woods","year":"2007","venue":"Topoi: An International Review of Philosophy","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Dietz Saldanha et al., 2018] Emmanuelle-Anna Dietz Sal- danha, Steffen Hölldobler, Carroline D. P. Kencana Ramli, and Luis Palacios Medinacelli. A Core method for the weak completion semantics with skeptical abduc- tion. Journal of Artificial Intelligence Research, 63:51-86, 2018.","title":"A Core method for the weak completion semantics with skeptical abduction","authors":"Dietz Saldanha","year":"2018","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Elman, 1989] Jeffrey L. Elman. Structured representations and connectionist models. In Proceedings of the Annual Conference of the Cognitive Science Society, pages 17-25, 1989.","title":"Structured representations and connectionist models","authors":"Jeffrey L Elman","year":"1989","venue":"Proceedings of the Annual Conference of the Cognitive Science Society","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Elman, 1990] Jeffrey L. Elman. Finding structure in time. Cognitive Science, 14:179-211, 1990.","title":"Finding structure in time","authors":"Jeffrey L Elman","year":"1990","venue":"Cognitive Science","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Fitting, 1985] Melvin Fitting. A Kripke-Kleene seman- tics for logic programs. Journal of Logic Programming, 2(4):295-312, 1985.","title":"A Kripke-Kleene semantics for logic programs","authors":"Melvin Fitting","year":"1985","venue":"Journal of Logic Programming","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Funahashi, 1989] Ken-Ichi Funahashi. On the approximate realization of continuous mappings by neural networks. Neural Networks, 2:183-192, 1989.","title":"On the approximate realization of continuous mappings by neural networks","authors":"Ken-Ichi Funahashi","year":"1989","venue":"Neural Networks","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Hölldobler and Kalinke, 1994] Steffen Hölldobler and Yvonne Kalinke. Towards a new massively parallel com- putational model for logic programming. In Proceedings of the ECAI94 Workshop on Combining Symbolic and Connectionist Processing, pages 68-77. ECCAI, 1994.","title":"Towards a new massively parallel computational model for logic programming","authors":"Steffen Hölldobler, Yvonne Kalinke","year":"1994","venue":"Proceedings of the ECAI94 Workshop on Combining Symbolic and Connectionist Processing","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Hölldobler and Kencana Ramli, 2009] Steffen Hölldobler and Carroline D. P. Kencana Ramli. Logic programs under three-valued Łukasiewicz's semantics. In Logic Programming, volume 5649 of Lecture Notes in Computer Science, pages 464-478. Springer-Verlag, 2009.","title":"Logic programs under three-valued Łukasiewicz's semantics","authors":"Steffen Hölldobler, D P Carroline, Kencana Ramli","year":"2009","venue":"Logic Programming","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Hölldobler, 2015] Steffen Hölldobler. Weak completion se- mantics and its applications in human reasoning. In Ul- rich Furbach and Claudia Schon, editors, Bridging 2015 - Bridging the Gap between Human and Automated Reason- ing, volume 1412 of CEUR Workshop Proceedings, pages 2-16. CEUR-WS.org, 2015. http://ceur-ws.org/Vol-1412/.","title":"Weak completion semantics and its applications in human reasoning","authors":"Steffen Hölldobler","year":"2015","venue":"Bridging 2015 -Bridging the Gap between Human and Automated Reasoning","doi":null,"url":"http://ceur-ws.org/Vol-1412/","internal_url":null},{"position":15,"raw":"[Johnson-Laird and Byrne, 1991] Philip N. Johnson-Laird and Ruth M. J. Byrne. Deduction. Lawrence Erlbaum Associates, Hove and London (UK), 1991.","title":"Deduction","authors":"N Philip, Ruth M J Johnson-Laird, Byrne","year":"1991","venue":null,"doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Khemlani and Johnson-Laird, 2012] Sangeet Khemlani and Philip N. Johnson-Laird. Theories of the syllogism: A meta-analysis. Psychological Bulletin, 138(3):427-457, 2012.","title":"Theories of the syllogism: A meta-analysis","authors":"Sangeet Khemlani, Philip N Johnson-Laird","year":"2012","venue":"Psychological Bulletin","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Lourêdo Rocha, 2017] Isabelly Lourêdo Rocha. Bounded sceptical reasoning. Master's thesis, International Center for Computational Logic, TU Dresden, 2017.","title":"Isabelly Lourêdo Rocha. Bounded sceptical reasoning","authors":"Lourêdo Rocha","year":"2017","venue":"Master's thesis","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Łukasiewicz, 1920] Jan Łukasiewicz. O logice trójwartościowej. Ruch Filozoficzny, 5:169-171, 1920. English translation: On Three-Valued Logic. In: Jan Łukasiewicz Selected Works. (Ludwik Borkowski, ed.), North Holland, 87-88, 1990.","title":"English translation: On Three-Valued Logic","authors":"Jan Łukasiewicz","year":"1920","venue":"Ruch Filozoficzny","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[McCarthy, 1963] John McCarthy. Situations and actions and causal laws. Stanford Artificial Intelligence Project: Memo 2, 1963.","title":"Situations and actions and causal laws","authors":"John Mccarthy","year":"1963","venue":"Stanford Artificial Intelligence Project: Memo","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[McCulloch and Pitts, 1943] Warren S. McCulloch and Wal- ter Pitts. A logical calculus and the ideas immanent in ner- vous activity. Bulletin of Mathematical Biophysics, 5:115- 133, 1943.","title":"A logical calculus and the ideas immanent in nervous activity","authors":"Warren S Mcculloch, Walter Pitts","year":"1943","venue":"Bulletin of Mathematical Biophysics","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Ray and d'Avila Garcez, 2006] Oliver Ray and Artur d'Avila Garcez. Towards the integration of abduction and induction in artificial neural networks. In Proceedings of the ECAI06 Workshop on Neural-Symbolic Learning and Reasoning, pages 41-46, 2006.","title":"Towards the integration of abduction and induction in artificial neural networks","authors":"D'avila Ray, Oliver Garcez, Artur D'avila Ray, Garcez","year":"2006","venue":"Proceedings of the ECAI06 Workshop on Neural-Symbolic Learning and Reasoning","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Stenning and van Lambalgen, 2008] Keith Stenning and Michiel van Lambalgen. Human Reasoning and Cognitive Science. MIT Press, 2008.","title":"Human Reasoning and Cognitive Science","authors":"Stenning, Van Lambalgen","year":"2008","venue":null,"doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Wason, 1968] Peter C. Wason. Reasoning about a rule. The Quarterly Journal of Experimental Psychology, 20:273- 281, 1968.","title":"Reasoning about a rule","authors":"C Peter, Wason","year":"1968","venue":"The Quarterly Journal of Experimental Psychology","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}