Studia humana (SH) is a multi-disciplinary peer reviewed journal publishing valuable
contributions on any aspect of human sciences such as...


Sofia Almpani

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.



Trends in Argumentation Logic

Issue: 11:3/4 (The forty third/fourth issue)
In this paper, we introduce the subject of the special issue Trends in Argumentation Logic. Here we mainly describe two approaches to argumentation logic with explicating monotonic and non-monotonic, or defeasible, reasoning and explain the role of artificial intelligence in applying argumentation logic. Then we give a short overview of the papers contributed to the special issue.

Argumentation-Based Logic for Ethical Decision Making

Issue: 11:3/4 (The forty third/fourth issue)
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.