Deontic Equilibrium Logic with eXplicit Negation

Answer set programming; Deontic; Deontic Logic; Deontic operators; Equilibrium logic; Logical characterization; Normal form; Normative reasoning; Theoretical Computer Science; Computer Science (all)

Abstract :

[en] Equilibrium logic is a logical characterization of Answer Set Programming (ASP). We introduce Deontic Equilibrium Logic with eXplicit negation (DELX), its extension for normative reasoning. In contrast to modal approaches, DELX utilizes a normal form that restricts deontic operators solely to atoms. We establish that any theories in DELX can be reduced to ASP, and demonstrate the efficacy of this minimalist approach in addressing key challenges from the defeasible deontic logic literature.

Disciplines :

Computer science

Author, co-author :

Cabalar, Pedro ; University of A Coruña, A Coruña, Spain

Ciabattoni, Agata ; TU Wien, Vienna, Austria

VAN DER TORRE, Leon ; University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)

External co-authors :

yes

Language :

English

Title :

Deontic Equilibrium Logic with eXplicit Negation

Publication date :

2023

Event name :

18th European Conference on Logics in Artificial Intelligence (JELIA 2023)

Event place :

Dresden, Deu

Event date :

20-09-2023 => 22-09-2023

Main work title :

Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Proceedings

Editor :

Gaggl, Sarah

Publisher :

Springer Science and Business Media Deutschland GmbH

ISBN/EAN :

978-3-03-143618-5

Peer reviewed :

Peer reviewed

Additional URL :

https://link.springer.com/content/pdf/10.1007/978-3-031-43619-2_34

Available on ORBilu :

since 01 May 2024

Statistics

Number of views

83 (2 by Unilu)

Number of downloads

0 (0 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

OpenAlex citations

WoS citations^™

Bibliography

Aguado, F., et al.: Linear-time temporal answer set programming. Theory Pract. Logic Program. 23(1), 2–56 (2023). https://doi.org/10.1017/S1471068421000557
Aguado, F., Cabalar, P., Fandinno, J., Pearce, D., Pérez, G., Vidal, C.: Revisiting explicit negation in answer set programming. Theory Pract. Logic Program. 19(5– 6), 908–924 (2019). https://doi.org/10.1017/S1471068419000267
Alferes, J.J., Gonçalves, R., Leite, J.: Equivalence of defeasible normative systems. J. Appl. Non Class. Logics 23(1–2), 25–48 (2013)
Alshiekh, M., Bloem, R., Ehlers, R., Könighofer, B., Niekum, S., Topcu, U.: Safe reinforcement learning via shielding. In: Proceedings of the AAAI, pp. 2669–2678 (2018)
Benzmüller, C., Parent, X., van der Torre, L.: A deontic logic reasoning infrastructure. In: Manea, F., Miller, R.G., Nowotka, D. (eds.) CiE 2018. LNCS, vol. 10936, pp. 60–69. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-94418-0_6
Brewka, G., Eiter, T., Truszczyński, M.: Answer set programming at a glance. Commun. ACM 54(12), 92–103 (2011)
Broersen, J., van der Torre, L.: Ten problems of deontic logic and normative reasoning in computer science. In: Bezhanishvili, N., Goranko, V. (eds.) ESSLLI 2010-2011. LNCS, vol. 7388, pp. 55–88. Springer, Heidelberg (2012). https://doi.org/10. 1007/978-3-642-31485-8_2
Cabalar, P., Fandinno, J., Fariñas del Cerro, L.: Autoepistemic answer set programming. Artif. Intell. 289, 103382 (2020). https://doi.org/10.1016/j.artint.2020. 103382
Cabalar, P., Fandinno, J., Fariñas del Cerro, L., Pearce, D.: Functional ASP with intensional sets: application to Gelfond-Zhang aggregates. Theory Pract. Logic Program. 18(3–4), 390–405 (2018). https://doi.org/10.1017/S1471068418000169
Cabalar, P., Fandinno, J., Muñiz, B.: A system for explainable answer set programming. In: Ricca, F., et al. (eds.) Proceedings of the 36th International Conference on Logic Programming (Technical Communications). EPTCS, vol. 325, pp. 124– 136 (2020). https://doi.org/10.4204/EPTCS.325.19
Cabalar, P., Pearce, D., Valverde, A.: Reducing propositional theories in equilibrium logic to logic programs. In: Bento, C., Cardoso, A., Dias, G. (eds.) EPIA 2005. LNCS (LNAI), vol. 3808, pp. 4–17. Springer, Heidelberg (2005). https://doi. org/10.1007/11595014_2
Chisholm, R.M.: Contrary-to-duty imperatives and deontic logic. Analysis 24(2), 33–36 (1963)
Eiter, T., Gottlob, G.: Complexity results for disjunctive logic programming and application to nonmonotonic logics. In: Miller, D. (ed.) Logic Programming, Proceedings of the 1993 International Symposium, pp. 266–278. MIT Press (1993)
Erdem, E., Gelfond, M., Leone, N.: Applications of answer set programming. AI Mag. 37(3), 53–68 (2016). https://doi.org/10.1609/aimag.v37i3.2678
Gabbay, D., Horty, J., Parent, X., van der Mayden, R., van der Torre, L. (eds.): Handbook of Deontic Logic and Normative Systems, vol. 2. College Publications (2021)
Gabbay, D., Horty, J., Parent, X., van der Meyden, R., van der Torre, L. (eds.): Handbook of Deontic Logic and Normative Systems. College Publications (2013)
Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Wanko, P.: Theory solving made easy with clingo 5. In: Carro, M., King, A., Saeedloei, N., Vos, M.D. (eds.) Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016 TCs. OASIcs, vol. 52, pp. 2:1– 2:15. Schloss Dagstuhl-Leibniz-Zentrum für Informatik (2016). https://doi.org/10.4230/OASIcs.ICLP.2016.2
Gebser, M., Maratea, M., Ricca, F.: The seventh answer set programming competition: design and results. Theory Pract. Logic Program. 20(2), 176–204 (2020). https://doi.org/10.1017/S1471068419000061
Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. N. Gener. Comput. 9(3/4), 365–386 (1991). https://doi.org/10.1007/BF03037169
Gelfond, M., Lobo, J.: Authorization and obligation policies in dynamic systems. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 22–36. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-89982-2_7
Giordano, L., Martelli, A., Dupré, D.T.: Temporal deontic action logic for the verification of compliance to norms in ASP. In: Francesconi, E., Verheij, B. (eds.) International Conference on Artificial Intelligence and Law, ICAIL 2013, pp. 53–62. ACM (2013)
Gonçalves, R., Alferes, J.J.: An embedding of input-output logic in deontic logic programs. In: Ågotnes, T., Broersen, J., Elgesem, D. (eds.) DEON 2012. LNCS (LNAI), vol. 7393, pp. 61–75. Springer, Heidelberg (2012). https://doi.org/10. 1007/978-3-642-31570-1_5
Gonçalves, R., Alferes, J.J.: Deontic logic programs. In: Gini, M.L., Shehory, O., Ito, T., Jonker, C.M. (eds.) International Conference on Autonomous Agents and Multi-agent Systems, pp. 1333–1334. IFAAMAS (2013)
Governatori, G., Olivieri, F., Rotolo, A., Scannapieco, S.: Computing strong and weak permissions in defeasible logic. J. Philos. Log. 42(6), 799–829 (2013). https://doi.org/10.1007/s10992-013-9295-1
Governatori, G., Rotolo, A., Calardo, E.: Possible world semantics for defeasible deontic logic. In: Ågotnes, T., Broersen, J., Elgesem, D. (eds.) DEON 2012. LNCS (LNAI), vol. 7393, pp. 46–60. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-31570-1_4
Governatori, G., Rotolo, A., Riveret, R.: A deontic argumentation framework based on deontic defeasible logic. In: Miller, T., Oren, N., Sakurai, Y., Noda, I., Savarimuthu, B.T.R., Cao Son, T. (eds.) PRIMA 2018. LNCS (LNAI), vol. 11224, pp. 484–492. Springer, Cham (2018). https://doi.org/10.1007/978-3-03003098-8_33
Hansson, B.: An analysis of some deontic logics. Nôus 3, 373–398 (1969)
Heyting, A.: Die formalen Regeln der intuitionistischen Logik. Sitzungsberichte der Preussischen Akademie der Wissenschaften, Physikalisch-mathematische Klasse, pp. 42–56 (1930)
Horty, J.F.: Deontic logic as founded on nonmonotonic logic. Ann. Math. Artif. Intell. 9(1–2), 69–91 (1993). https://doi.org/10.1007/BF01531262
Kamp, H.: Free choice permission. In: Proceedings of the Aristotelian Society, vol. 74, pp. 57–74 (1973)
Lam, H.-P., Governatori, G.: The making of SPINdle. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol. 5858, pp. 315–322. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-04985-9_29
Leone, N., et al.: The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Log. 7(3), 499–562 (2006). https://doi.org/10.1145/1149114. 1149117
McCarthy, J.: Elaboration tolerance (1998). http://www-formal.stanford.edu/jmc/elaboration.html
Nute, D. (ed.): Defeasible Deontic Logic. Kluwer, Dordrecht (1997)
Nute, D.: Defeasible logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming. Oxford University Press (1993)
Odintsov, S., Pearce, D.: Routley semantics for answer sets. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol. 3662, pp. 343–355. Springer, Heidelberg (2005). https://doi.org/10.1007/11546207_27
Parent, X.: Preference-based semantics for Hansson-type dyadic deontic logics: a survey of results. In: Gabbay, D., Horty, J., Parent, X., van der Meyden, R., van der Torre, L. (eds.) Handbook of Deontic Logic and Normative Systems, vol. 2, pp. 7–70 (2021)
Parent, X., van der Torre, L.: I/O logics with a consistency check. In: Broersen, J.M., Condoravdi, C., Shyam, N., Pigozzi, G. (eds.) Deontic Logic and Normative Systems-14th International Conference, DEON 2018, pp. 285–299. College Publications (2018)
Pearce, D.: A new logical characterisation of stable models and answer sets. In: Dix, J., Pereira, L.M., Przymusinski, T.C. (eds.) NMELP 1996. LNCS, vol. 1216, pp. 57–70. Springer, Heidelberg (1997). https://doi.org/10.1007/BFb0023801
Pearce, D., Valverde, A.: Quantified equilibrium logic and foundations for answer set programs. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 546–560. Springer, Heidelberg (2008). https://doi.org/10.1007/9783-540-89982-2_46
Prakken, H., Sergot, M.: Dyadic deontic logic and contrary-to-duty obligations. In: Nute, D. (ed.) Defeasible Deontic Logic, pp. 223–262. Springer, Dordrecht (1997). https://doi.org/10.1007/978-94-015-8851-5_10
Reiter, R.: A logic for default reasoning. Artif. Intell. 13(1–2), 81–132 (1980)
Sergot, M.: Normative positions. In: Gabbay, D., Horty, J., Parent, X., van der Meyden, R., van der Torre, L. (eds.) Handbook of Deontic Logic and Normative Systems, vol. 1, pp. 353–406 (2013)
Vakarelov, D.: Notes on N-lattices and constructive logic with strong negation. Stud. Logica. 36(1–2), 109–125 (1977)
von Wright, G.H.: Deontic logic. Mind 60(237), 1–15 (1951)