{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,7]],"date-time":"2024-06-07T00:21:44Z","timestamp":1717719704677},"reference-count":25,"publisher":"Oxford University Press (OUP)","issue":"4","license":[{"start":{"date-parts":[[2022,10,25]],"date-time":"2022-10-25T00:00:00Z","timestamp":1666656000000},"content-version":"vor","delay-in-days":1,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,6,7]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>This paper presents an extension of Defeasible Deontic Logic to deal with the Pragmatic Oddity problem. The logic applies three general principles: (i) the Pragmatic Oddity problem must be solved within a general logical treatment of contrary-to-duty (CTD) reasoning; (ii) non-monotonic methods must be adopted to handle CTD reasoning; (iii) logical models of CTD reasoning must be computationally feasible and, if possible, efficient. The proposed extension of Defeasible Deontic Logic elaborates a preliminary version of the model proposed by Governatori and Rotolo [15]. The previous solution was based on particular characteristics of the (constructive, top-down) proof theory of the logic. However, that method introduces some degree of non-determinism. To avoid the problem, we provide a bottom-up characterization of the logic. The new characterization offers insights for the efficient implementation of the logic and allows us to establish the computational complexity of the problem.<\/jats:p>","DOI":"10.1093\/logcom\/exac063","type":"journal-article","created":{"date-parts":[[2022,10,25]],"date-time":"2022-10-25T07:13:00Z","timestamp":1666681980000},"page":"698-727","source":"Crossref","is-referenced-by-count":0,"title":["Avoiding Pragmatic Oddity: a bottom-up Defeasible Deontic Logic"],"prefix":"10.1093","volume":"34","author":[{"given":"Guido","family":"Governatori","sequence":"first","affiliation":[{"name":"Centre for Computational Law, Yong Pung How School of Law Singapore Management University , 55 Armenian Street, Singapore 179943"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Silvano","family":"Colombo Tosatto","sequence":"additional","affiliation":[{"name":"Data61, CSIRO, 41 Boggo Road , Dutton Park, 4102 Queensland, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonino","family":"Rotolo","sequence":"additional","affiliation":[{"name":"Alma Mater Research Centre for Human Artificial Intelligence, University of Bologna , Via Galliera 3, 40121 Bologna, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2022,10,24]]},"reference":[{"key":"2024060619511899300_ref1","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1145\/371316.371517","article-title":"Representation results for defeasible logic","volume":"2","author":"Antoniou","year":"2001","journal-title":"ACM Transactions on Computational Logic"},{"key":"2024060619511899300_ref2","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/978-94-010-0387-2_4","article-title":"Deontic logic and contrary-to-duties","volume-title":"Handbook of Philosophical Logic","author":"Carmo","year":"2002"},{"key":"2024060619511899300_ref3","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1093\/analys\/24.2.33","article-title":"Contrary-to-duty imperatives and deontic logic","volume":"24","author":"Chisholm","year":"1963","journal-title":"Analysis"},{"key":"2024060619511899300_ref4","volume-title":"Handbook of Deontic Logic and Normative Systems","author":"Gabbay","year":"2013"},{"key":"2024060619511899300_ref5","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1080\/08066200050505788","article-title":"Multiplex semantics for deontic logic","volume":"5","author":"Goble","year":"2001","journal-title":"Nordic Journal of Philosophical Logic"},{"key":"2024060619511899300_ref6","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1016\/j.jal.2005.04.004","article-title":"A logic for deontic dilemmas","volume":"3","author":"Goble","year":"2005","journal-title":"Journal of Applied Logic"},{"key":"2024060619511899300_ref7","article-title":"Prima facie norms, normative conflicts and dilemmas","volume-title":"Handbook of Deontic Logic and Normative Systems","author":"Goble","year":"2013"},{"key":"2024060619511899300_ref8","first-page":"63","article-title":"Thou shalt is not you will","volume-title":"Proceedings of the Fifteenth International Conference on Artificial Intelligence and Law","author":"Governatori","year":"2015"},{"key":"2024060619511899300_ref9","first-page":"1","article-title":"Practical normative reasoning with defeasible deontic logic","volume-title":"Reasoning Web 2018","author":"Governatori","year":"2018"},{"key":"2024060619511899300_ref10","first-page":"239","article-title":"A defeasible deontic logic for pragmatic oddity","volume-title":"Deontic Logic and Normative Systems: 15th International Conference (DEON2020\/2021)","author":"Governatori","year":"2021"},{"key":"2024060619511899300_ref11","doi-asserted-by":"crossref","first-page":"799","DOI":"10.1007\/s10992-013-9295-1","article-title":"Computing strong and weak permissions in defeasible logic","volume":"42","author":"Governatori","year":"2013","journal-title":"Journal of Philosophical Logic"},{"key":"2024060619511899300_ref12","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1093\/jigpal\/jzp006","article-title":"A defeasible logic for modelling policy-based intentions and motivational attitudes","volume":"17","author":"Governatori","year":"2009","journal-title":"Logic Journal of the IGPL"},{"key":"2024060619511899300_ref13","first-page":"193","article-title":"Logic of violations: a Gentzen system for reasoning with contrary-to-duty obligations","volume":"4","author":"Governatori","year":"2006","journal-title":"Australasian Journal of Logic"},{"key":"2024060619511899300_ref14","first-page":"323","article-title":"Logics for legal dynamics","volume-title":"Logic in the Theory and Practice of Lawmaking, number 2 in Legisprudence Library","author":"Governatori","year":"2015"},{"key":"2024060619511899300_ref15","first-page":"187","article-title":"A computational model for pragmatic oddity","volume-title":"JURIX 2019: The 32nd International Conference on Legal Knowledge and Information Systems","author":"Governatori","year":"2019"},{"key":"2024060619511899300_ref16","first-page":"655","article-title":"Logic and the law: philosophical foundations, deontics, and defeasible reasoning","volume-title":"Handbook of Deontic Logic and Normative Reasoning","author":"Governatori","year":"2021"},{"key":"2024060619511899300_ref17","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/BF01531262","article-title":"Deontic logic as founded on nonmonotonic logic","volume":"9","author":"Horty","year":"1993","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"2024060619511899300_ref18","first-page":"299","article-title":"A semantic decomposition of defeasible logic","volume-title":"Proc. American National Conference on Artificial Intelligence (AAAI-99)","author":"Maher","year":"1999"},{"key":"2024060619511899300_ref19","first-page":"29","article-title":"On a fundamental problem of deontic logic","volume-title":"Norms, Logics and Information Systems. New Studies in Deontic Logic and Computer Science","author":"Makinson","year":"1999"},{"key":"2024060619511899300_ref20","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1023\/A:1004748624537","article-title":"Input\u2013output logics","volume":"29","author":"Makinson","year":"2000","journal-title":"Journal of Philosophical Logic"},{"key":"2024060619511899300_ref21","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1023\/A:1017599526096","article-title":"Constraints for input\/output logics","volume":"30","author":"Makinson","year":"2001","journal-title":"Journal of Philosophical Logic"},{"key":"2024060619511899300_ref22","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/978-3-319-08615-6_12","article-title":"Sing and dance","volume-title":"Deontic Logic and Normative Systems","author":"Parent","year":"2014"},{"key":"2024060619511899300_ref23","first-page":"169","article-title":"The pragmatic oddity in norm-based deontic logics","volume-title":"Proceedings of the 16th edition of the International Conference on Artificial Intelligence and Law","author":"Parent","year":"2017"},{"key":"2024060619511899300_ref24","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/BF00370671","article-title":"Contrary-to-duty obligations","volume":"57","author":"Prakken","year":"1996","journal-title":"Studia Logica"},{"key":"2024060619511899300_ref25","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/978-94-015-8851-5_5","volume-title":"The Many Faces of Defeasibility in Defeasible Deontic Logic","author":"van der Torre","year":"1997"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/34\/4\/698\/58142928\/exac063.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/34\/4\/698\/58142928\/exac063.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,6]],"date-time":"2024-06-06T19:52:04Z","timestamp":1717703524000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/34\/4\/698\/6769827"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,24]]},"references-count":25,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2022,10,24]]},"published-print":{"date-parts":[[2024,6,7]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exac063","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2024,6]]},"published":{"date-parts":[[2022,10,24]]}}}