Ο Τομέας Μαθηματικών σας ανακοινώνει την ομιλία του Α. Κάκα (Παν. Κύπρου), σε συνεργασία με τον Τομέα Φυσικής, την Τετάρτη 12 Οκτωβρίου στις 12:00, στην Αίθουσα Σεμιναρίων του τομέα Μαθηματικών (2ος όροφος, κτίριο Ε).
Η ομιλία θα δοθεί στη μνήμη του εκλιπόντος καθ. Ι. Μπάκα.
Tίτλος και περίληψη ακολουθούν :
«Argumentation Logic: From Aristotle to Quantum Theory»
Argumentation is at the center of the early work by Aristotle to capture and formulate logical reasoning. Modern logic had diminished the role of argumentation but recent developments in Artificial Intelligence combined with empirical work from Cognitive Psychology are indicating that argumentation is indeed a suitable framework for human thought. We will present Argumentation Logic as a formal logical framework that has the flexibility to accommodate defeasible reasoning as in human common sense reasoning. We will show how AL forms a conservative extension of strict classical logic and how it can form the basis for the new paradigm of Cognitive Computing. We will also discuss how the same argumentation-based logical framework could be used for scientific theory formation for non-classical quantum phenomena. The uncertainty of quantum mechanics can be linked to forms of weakening classical reasoning, afforded by argumentation logic.
Antonis C. Kakas
Antonis Kakas is a professor at the Department of Computer Science of the University of Cyprus. He holds a BSc in Mathematics from Imperial College, London and a Ph.D. in Theoretical Physics, awarded in 1984, also from Imperial College, London. Since 1989 he is working in Computational Logic and Artificial Intelligence. His main research interests are in abduction, argumentation and induction with applications in cognitive agents and other areas outside the strict boundaries of computer science and AI. He has co-edited the book “Abduction and Induction: Essays on their Relation and Integration” and has developed several research software systems for Abductive Reasoning (ACLP & A-system), Argumentation (GORGIAS) and Reasoning about Actions and Change (E-RES) which are publicly available on the web. Recently, with others he has proposed, Argumentation Logic, as a logic that offers a new logical perspective for human common sense reasoning based on the synthesis of Cognitive Psychology with computational methods from AI. This has been applied to the problem of Story Comprehension and a new system, called STAR, has been developed for empirical evaluation of the approach. Currently, he is working on the development of a new framework of Cognitive Programming that aims to offer a programming environment that can be naturally used by human users at large.