Learn More
In this paper we present an executable approach to model interactions between agents that involve sensitive, privacy-related information. The approach is formal and based on deontic, epistemic and action logic. It is conceptually related to the Belief-Desire-Intention model of Bratman. Our approach uses the concept of sphere as developed by Waltzer to(More)
Philosophy can benefit from experiments performed in a laboratory for philosophical experimentation (SophoLab). To illustrate the power of Experimental Computational Philosophy, we set up and ran several experiments on a part of Harsanyi's theory on utili-tarianism. During decomposition and translation of this theory in the experimental setting of Sopholab,(More)
Robots and smart software have an increasing impact on our lives, and they make decisions that might have a profound effect on our welfare. Some of these decisions have a moral dimension. Hence, we need to consider whether (a) we want them making such decisions, and (b) if affirmative, how we proceed in equipping machines with ‘‘moral sensitivity’’ or even(More)
  • 1