@conference {JMF:adera, title = {Avoiding Deontic Explosion by Contextually Restricting Aggregation}, booktitle = {Proceedings of the 10th International Conference on Deontic Logic in Computer Science (DEON 2010)}, year = {2010}, publisher = {Springer}, organization = {Springer}, address = {Dordrecht}, abstract = {

In this paper, we present an adaptive logic for deontic conflicts, called \sys{P2.1}$^r$, that is based on Goble{\textquoteright}s logic \sys{SDL}$a$\sys{P}$e${\textendash}-a bimodal extension of Goble{\textquoteright}s logic \sys{P} that invalidates aggregation for all \emph{prima facie} obligations. The logic \sys{P2.1}$^r$ has several advantages with respect to \sys{SDL}$a$\sys{P}$e$. For consistent sets of obligations it yields the same results as Standard Deontic Logic and for inconsistent sets of obligations, it validates aggregation {\textquoteleft}{\textquoteleft}as much as possible{\textquoteright}{\textquoteright}. It thus leads to a richer consequence set than \sys{SDL}$a$\sys{P}$e$. The logic \sys{P2.1}$^r$ avoids Goble{\textquoteright}s criticisms against other non-adjunctive systems of deontic logic. Moreover, it can handle all the {\textquoteleft}toy examples{\textquoteright} from the literature as well as more complex ones.

}, doi = {http://dx.doi.org/10.1007/978-3-642-14183-6\_12}, author = {Meheus, Joke and Beirlaen, Mathieu and Van De Putte, Frederik}, editor = {Governatori, Guido and Sartor, Giovanni} }