Luis Moniz Pereira has sent us links for the papers he wrote together with Ari Saptawijaya on the use f propsective logic for modelling morality. As you may remember from an earlier post, the used the trolley car examples for developing a computational system that could consider the consequences of various course of action.
Click on the title if you are interested in reading these papers.
L. M. Pereira, A. Saptawijaya, Modelling Morality with Prospective Logic, to appear in: M. Anderson, S. Anderson (eds.), "Machine Ethics", Cambridge University Press, 2010.
L. M. Pereira, Ari Saptawijaya, Computational Modelling of Morality, The Association for Logic Programming Newsletter, Vol. 22, No. 1, February/March 2009.
A shorter, conference version:
L. M. Pereira, A. Saptawijaya, Modelling Morality with Prospective Logic, in: J. M. Neves, M. F. Santos, J. M. Machado (eds.), Progress in Artificial Intelligence, Procs. 13th Portuguese Intl.Conf. on Artificial Intelligence (EPIA'07), pp. 99-111, Springer LNAI 4874, Guimarães, Portugal, December 2007.
Pereira Interview for those reader who speak Portuguese:
L. M. Pereira, Inteligência Artificial: O computador também é capaz de ter moral, Interview by Sandra Pereira, in: "Jornal i", pp. 26-27, 2 September 2009.