In this paper we propose an extension of Defeasible Logic to represent and
compute three concepts of defeasible permission. In particular, we discuss
different types of explicit permissive norms that work as exceptions to
opposite obligations. Moreover, we show how strong permissions can be
represented both with, and without introducing a new consequence relation for
inferring conclusions from explicit permissive norms. Finally, we illustrate
how a preference operator applicable to contrary-to-duty obligations can be
combined with a new operator representing ordered sequences of strong
permissions which derogate from prohibitions. The logical system is studied
from a computational standpoint and is shown to have liner computational
complexity
The paper proposes a fresh look at the concept of goal and advances that motivational attitudes like desire, goal and intention are just facets of the broader notion of (acceptable) outcome. We propose to encode the preferences of an agent as sequences of "alternative acceptable outcomes". We then study how the agent's beliefs and norms can be used to filter the mental attitudes out of the sequences of alternative acceptable outcomes. Finally, we formalise such intuitions in a novel Modal Defeasible Logic and we prove that the resulting formalisation is computationally feasible.
Abstract. We propose algorithms to synthesise the specifications modelling the capabilities of an agent, the environment she acts in, and the governing norms, into a process graph. This process graph corresponds to a collection of courses of action and represents all the licit alternatives the agent may choose to meet her outcomes. The starting point is a compliant situation, i.e., a situation where an agent is capable of reaching all her outcomes without violating the norms. In this case, the resulting process will be compliant by design.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.