Studia humana (SH) is a multi-disciplinary peer reviewed journal publishing valuable
contributions on any aspect of human sciences such as...
read more...
The article in the issue 11:3/4:
The date of the publication:
2023-01-17
The number of pages:
72
The issue:
11:3/4
Commentaries:
0
The Authors
Sofia Almpani, Elena Lisanyuk, Andrew Schumann, Antonis Kakas, Dimitra Serakioti, Petros Stefaneas, Vladimir A. Stepanov, Panayiotis V. Frangos, Marcin Trepczyński, Ted Peters, Konrad Szocik, Vojko Strahovnik,
Dr Sofia Almpani is a postdoctoral researcher at the School of Applied Mathematics and Physics Science of National Technical University of Athens (NTUA). Sofia received her PhD titled “Argumentation and rule-based logic in mathematical proving and legal artificial intelligence applications” from the School of Electrical and Computer Engineering (NTUA), Bachelor Degrees from the Faculty of Education School of Primary Education (AUTH) and from the Department of Mathematics (UOA), and the Master Degree “Educational Leadership, Management and Emerging Technologies” (Marconi). Her research interests focus on argumentation, logic programming, AI, Robotics, and STEAM.
Dr Petros Stefaneas is Associate Professor at the Department of Mathematics of the National Technical University of Athens, Greece. His research interests include logic and formal methods for computer science and philosophy of computation.
Panayiotis V. Frangos was born in Thessaloniki, Greece, in 1959. He received the Bachelor Degree from the NTUA, Greece, in 1983, and the Master’s and Ph. D. Degrees from the Moore School of Electrical Engineering, University of Pennsylvania, Philadelphia, USA, in 1985 and 1986 respectively, all in Electrical Engineering. Since 1989, after his military service in Greece, he has been with the Faculty of the Department of Electrical and Computer Engineering, NTUA, first as a Lecturer (1989 - 92), and subsequently as an Assistant Professor (1992 - 96), Associate Professor (1996 - 2000), and Full Professor (2000 - today).
ARTICLE:
Argumentation-Based Logic for Ethical Decision Making
As automation in artificial intelligence is increasing, we will need to automate a growing amount of ethical decision making. However, ethical decision-making raises novel challenges for engineers, ethicists and policymakers, who will have to explore new ways to realize this task. The presented work focuses on the development and formalization of models that aim at ensuring a correct ethical behaviour of artificial intelligent agents, in a provable way, extending and implementing a logic-based proving calculus that is based on argumentation reasoning with support and attack arguments. This leads to a formal theoretical framework of ethical competence that could be implemented in artificial intelligent systems in order to best formalize certain parameters of ethical decision-making to ensure safety and justified trust.
