TITLE: Counterfactuals in Logic Programming with Applications to Agent Morality
BY: Luís Moniz Pereira (CENTRIA)
DATE: Wed, 19 November 2014, 14h00
Room: Seminar Room (Ed. II)
ABSTRACT
Computational morality is an interdisciplinary field emerging from the need of imbuing autonomous agents with the capacity for moral decision-making. This paper supplies a computational model, via Logic Programming (LP), of counterfactual reasoning of autonomous agents with application to morality. Counterfactuals are conjectures about what would have happened, had an alternative event occurred. The first contribution of the paper is showing how counterfactual reasoning is modeled using LP, benefitting from LP abduction and updating. The approach is inspired by Pearl's structural causal model of counterfactuals, where causal direction and conditional reasoning are captured by inferential arrows of rules in LP. Herein, LP abduction hypothesizes background conditions from given evidences or observations, whereas LP updates frame these background conditions as a counterfactual's context, and then imposes causal interventions on the program through defeasible LP rules. In the second contribution, counterfactuals are applied to agent morality, resorting to this LP-based approach. We demonstrate its potential for specifying and querying moral issues, by examining viewpoints on moral permissibility via classic moral principles and examples taken from the literature. Application results were validated on a prototype implementing the approach on top of an integrated LP abduction and updating system supporting tabling.
Paper available here: http://centria.di.fct.unl.pt/~lmp/publications/online-papers/moral_counterfactuals.pdf
SHORT-BIO:
Luís Moniz Pereira, born 1947 in Lisbon, is Professor Emeritus of Computer Science , and Director of CENTRIA, the AI centre at Universidade Nova de Lisboa (1993-2008). Doctor honoris causa by T.U. Dresden (2006), elected ECCAI Fellow (2001), he launched the Erasmus Mundus European MSc in Computational Logic at UNL (2004-2008), and belongs to the Board of Trustees and Scientific Advisory Board of IMDEA –Madrid Advanced Studies Institute (Software).
He was founding president of the Portuguese AI association, and founding member of the editorial boards of: J. Logic Programming, J. Automated Reasoning, New Generation Computing, Theory and Practice of Logic Programming, J. Universal Computer Science, J. Applied Logic, Electronic Transactions on AI, Computational Logic Newsletter, Intl. J. Reasoning-Based Intelligent Systems (Advisory-Editor), and presently Associate Editor for Artificial Intelligence of the ACM Computing Surveys. His research centres on Knowledge Representation and Reasoning, Logic Programming, and Cognitive Sciences.
More information in: http://centria.fct.unl.pt/~lmp/