Raynaldio Limarga

Formalisation and Evaluation of Properties for Consequentialist Machine Ethics

As artificial intelligence (AI) technologies continue to influence our daily lives, there has been a growing need to ensure that AI enabled decision making systems adhere to principles expected of human decision makers. This need has given rise to the area of Machine Ethics. We formalise several eth…