With recent advancements in systems engineering and artificial intelligence, autonomous agents are increasingly being called upon to execute tasks that have normative relevance. These are tasks that directly—and potentially adversely—affect human well-being and demand of the agent a degree of normative-sensitivity and -compliance. Such norms and normative principles are typically of a social, legal, ethical, empathetic, or cultural (‘SLEEC’) nature. Whereas norms of this type are often framed in the abstract, or as high-level principles, addressing normative concerns in concrete applications (...) of autonomous agents requires the refinement of normative principles into explicitly formulated practical rules. This paper develops a process for deriving specification rules from a set of high-level norms, thereby bridging the gap between normative principles and operational practice. This enables autonomous agents to select and execute the most normatively favourable action in the intended context premised on a range of underlying relevant normative principles. In the translation and reduction of normative principles to SLEEC rules, we present an iterative process that uncovers normative principles, addresses SLEEC concerns, identifies and resolves SLEEC conflicts, and generates both preliminary and complex normatively-relevant rules, thereby guiding the development of autonomous agents and better positioning them as normatively SLEEC-sensitive or SLEEC-compliant. (shrink)

Kriegel described the problem of intentional inexistence as one of the ‘perennial problems of philosophy’, 307–340, 2007: 307). In the same paper, Kriegel alluded to a modal realist solution to the problem of intentional inexistence. However, Kriegel does not state by name who defends the kind of modal realist solution he has in mind. Kriegel also points out that even what he believes to be the strongest version of modal realism does not pass the ‘principle of representation’ and thus modal (...) realism is not an adequate solution to the problem of intentional inexistence. In this paper, I respond to Kriegel by defending a modal realist solution that he did not consider in 2007, called ‘extended modal realism’. EMR is a version of modal realism where possible worlds are not completely isolated as they are under the Lewisian model. Rather, under EMR worlds are, in a way, spatiotemporally related. The fact EMR worlds are related allows EMR to sufficiently pass the principle of representation and thus can be deemed a legitimate solution to the problem of intentional inexistence. I conclude that either EMR can pass the principle of representation in some cases or, and I think the more sensible option, we give up on the principle of representation altogether. (shrink)

Taurek cases focus a choice between two views of permissible action, Can Save One and Must Save Many . It is argued that Taurek cases do illustrate the rationale for Can Save One , but existing views do not highlight the fact that this is because they are examples of claims grounded on non-comparative justice. To act to save the many solely because they form a group is to discriminate against the one for an irrelevant reason. That is a canonical (...) form of non-comparative injustice. The error lies in taking a contingency of some presentations of some Taurek cases, namely, that they involve distribution, to introduce the claims of comparative as opposed to non-comparative justice. But cases of non-comparative justice can, contingently, also involve distribution. In order to settle which form of justice applies it is necessary to examine the nature of the distribution involved and the nature of “classes” to which individuals can be assigned. (shrink)

In this paper, I argue that Goff's view that universal consciousness grounds logical laws such as the law of non-contradiction cannot be true on the grounds that we cannot guarantee the classical logic loving nature of universal consciousness that Goff desires in order to ground logical laws. I will present three arguments to show this.