Dischargeable Obligations in the SCIFF Framework

• Autorzy: Alberti Marco , Gavanelli Marco , Lamma Evelina , Riguzzi Fabrizio , Satoh Ken , Zese Riccardo

Identyfikatory

DOI

10.3233/FI-2020-1976

• Języki publikacji: EN

Abstrakty

EN

Abductive Logic Programming (ALP) has been proven very effective for formalizing societies of agents, commitments and norms, in particular by mapping the most common deontic operators (obligation, prohibition, permission) to abductive expectations. In our previous works, we have shown that ALP is a suitable framework for representing norms. Normative reasoning and query answering were accommodated by the same abductive proof procedure, named SCIFF. In this work, we introduce a defeasible flavour in this framework, in order to possibly discharge obligations in some scenarios. Abductive expectations can also be qualified as dischargeable, in the new, extended syntax. Both declarative and operational semantics are improved accordingly, and proof of soundness is given under syntax allowedness conditions. Moreover, the dischargement itself might be proved invalid, or incoherent with the rules, due to new knowledge provided later on. In such a case, a discharged expectation might be reinstated and hold again after some evidence is given. We extend the notion of dischargement to take into consideration also the reinstatement of expectations. The expressiveness and power of the extended framework, named SCIFF^D, is shown by modeling and reasoning upon a fragment of the Japanese Civil Code. In particular, we consider a case study concerning manifestations of intention and their rescission (Section II of the Japanese Civil Code).

Słowa kluczowe

EN

normative reasoning; abductive logic programming; constraint logic programming; dischargement of expectations

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2020
• Tom: Vol. 176, nr 3/4
• Strony: 321--348
• Opis fizyczny: Bibliogr. 63 poz., rys.

Twórcy

autor

Alberti Marco

• Dipartimento di Matematica e Informatica, University of Ferrara, Via Saragat 1, I-44122, Ferrara, Italy

autor

Gavanelli Marco

• Dipartimento di Ingegneria, University of Ferrara, Via Saragat 1, I-44122, Ferrara, Italy

autor

Lamma Evelina

• Dipartimento di Ingegneria, University of Ferrara, Via Saragat 1, I-44122, Ferrara, Italy

autor

Riguzzi Fabrizio

• Dipartimento di Matematica e Informatica, University of Ferrara, Via Saragat 1, I-44122, Ferrara, Italy

autor

Satoh Ken

• Principles of Informatics Research Division, National Institute of Informatics, Chiyoda-ku, 2-1-2, Hitotsubashi,Tokyo 101-8430, Japan

autor

Zese Riccardo

• Dipartimento di Ingegneria, University of Ferrara, Via Saragat 1, I-44122, Ferrara, Italy

Bibliografia

• [1] Sergot MJ, Sadri F, Kowalski RA, Kriwaczek F, Hammond P, Cory HT. The British Nationality Act as a logic program. Commun. ACM, 1986. 29:370-386. doi:http://doi.acm.org/10.1145/5689.5920.
• [2] Boella G, van der Torre L, Verhagen H. Introduction to normative multiagent systems. Comput. Math. Organ. Th., 2006. 12:71-79. doi:https://doi.org/10.1007/s10588-006-9537-7.
• [3] von Wright G. Deontic logic. Mind, 1951. 60:1-15. https://www.jstor.org/stable/2251395.
• [4] Prakken H, Sartor G. Argument-Based Extended Logic Programming with Defeasible Priorities. J. Appl. Non-Classical Logics, 1997. 7(1):25-75. doi:10.1080/11663081.1997.10510900.
• [5] Governatori G, Rotolo A. BIO logical agents: Norms, beliefs, intentions in defeasible logic. Auton. Agent Multi-Ag., 2008. 17(1):36-69. doi:10.1007/s10458-008-9030-4.
• [6] Satoh K, Asai K, Kogawa T, Kubota M, Nakamura M, Nishigai Y, Shirakawa K, Takano C. PROLEG: An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG Technology. In: Onoda et al. [61], 2010 pp. 153-164. doi:10.1007/978-3-642-25655-4_14.
• [7] De Vos M, Padget J, Satoh K. Legal Modelling and Reasoning Using Institutions. In: Onada et al. [61], 2011 pp. 129-140. doi:10.1007/978-3-642-25655-4_12.
• [8] Dignum V, Meyer JJ, Weigand H, Dignum F. An Organizational-Oriented Model for Agent Societies. In: 1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002). ACM Press, 2002. ID:14301121.
• [9] Dignum V, Meyer JJ, Weigand H. Towards an Organizational Model for Agent Societies Using Contracts. In: Castelfranchi C, Lewis Johnson W (eds.), 1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002), Part II. ACM Press, Bologna, Italy. 2002 pp. 694-695. ISBN:1-58113-480-0.
• [10] ALFEBIITE: A Logical Framework for Ethical Behaviour between Infohabitants in the Information Trading Economy of the Universal Information Ecosystem. 1999. IST-1999-10298.
• [11] Arisha KA, Ozcan F, Ross R, Subrahmanian VS, Eiter T, Kraus S. IMPACT: a Platform for Collaborating Agents. IEEE Intell. Syst., 1999. 14(2).
• [12] Eiter T, Subrahmanian V, Pick G. Heterogeneous active agents, I: Semantics. Artif. Intell., 1999. 108(1-2):179-255.
• [13] Bracciali A, Demetriou N, Endriss U, Kakas AC, Lu W, Mancarella P, Sadri F, Stathis K, Terreni G, Toni F. The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation. In: Priami C, Quaglia P (eds.), Global Computing, volume 3267 of LNCS. Springer. 2004 pp. 340-367. ISBN:3-540-24101-9.
• [14] Alberti M, Chesani F, Gavanelli M, Lamma E, Mello P, Torroni P. Verifiable Agent Interaction in Abductive Logic Programming: the SCIFF Framework. ACM T. Comput. Log., 2008. 9(4):29:1-29:43.
• [15] Alberti M, Gavanelli M, Lamma E, Mello P, Sartor G, Torroni P. Mapping Deontic Operators to Abductive Expectations. Comput. Math. Organ. Th., 2006. 12(2-3):205-225. doi:10.1007/s10588-006-9544-8.
• [16] Sadri F, Stathis K, Toni F. Normative KGP agents. Comput. Math. Organ. Th., 2006. 12(2-3):101-126.
• [17] Broersen J, Cranefield S, Elrakaiby Y, Gabbay D, Grossi D, Lorini E, Parent X, van der Torre LWN, Tummolini L, Turrini P, Schwarzentruber F. Normative Reasoning and Consequence. In: Andrighetto G, Governatori G, Noriega P, van der Torre LWN (eds.), Normative Multi-Agent Systems, volume 4 of Dagstuhl Follow-Ups, pp. 33-70. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany. ISBN:978-3-939897-51-4, 2013. doi:10.4230/DFU.Vol4.12111.33.
• [18] Kakas AC, Kowalski RA, Toni F. Abductive Logic Programming. J. Logic Comput., 1993. 2(6):719-770.
• [19] Gavanelli M, Lamma E, Riguzzi F, Bellodi E, Zese R, Cota G. An abductive Framework for Datalog± Ontologies. In: De Vos M, Eiter T, Lierler Y, Toni F (eds.), Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), number 1433 in CEUR-WS. Sun SITE Central Europe, Aachen, Germany, 2015. ID:17382958.
• [20] Gavanelli M, Lamma E, Riguzzi F, Bellodi E, Zese R, Cota G. Abductive Logic Programming for Datalog± Ontologies. In: Ancona D, Maratea M, Mascardi V (eds.), Proceedings of the 30th Italian Conference on Computational Logic (CILC2015), Genova, Italy, 1-3 July 2015, number 1459 in CEUR Workshop Proceedings. Sun SITE Central Europe, Aachen, Germany, 2015 pp. 128-143. URL http://ceur-ws.org/Vol-1459/paper21.pdf.
• [21] Fung TH, Kowalski RA. The IFF proof procedure for abductive logic programming. J. Logic Program., 1997. 33(2):151-165.
• [22] Jaffar J, Maher MJ. Constraint Logic Programming: A Survey. J. Logic Program., 1994. 19/20:503-581.
• [23] Gavanelli M, Alberti M, Lamma E. Integration of Abductive Reasoning and Constraint Optimization in SCIFF. In: Hill PM, Warren DS (eds.), Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings, volume 5649 of Lecture Notes in Computer Science. Springer. ISBN 978-3-642-02845-8, 2009 pp. 387-401. doi:10.1007/978-3-642-02846-5_32.
• [24] Alberti M, Gavanelli M, Lamma E. Deon+ : Abduction and Constraints for Normative Reasoning. In: Artikis A, Craven R, Cicekli NK, Sadighi B, Stathis K (eds.), Logic Programs, Norms and Action – Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday, volume 7360 of LNCS. Springer. ISBN 978-3-642-29413-6, 2012 pp. 308-328. doi:10.1007/978-3-642-29414-3_17.
• [25] Gavanelli M, Alberti M, Lamma E. Accountable Protocols in Abductive Logic Programming. ACM Transactions on Internet Technology, 2018. 18(4):46:1-46:20. doi:10.1145/3107936.
• [26] Alberti M, Chesani F, Gavanelli M, Lamma E, Mello P, Montali M. An Abductive Framework for A-Priori Verification of Web Services. In: Maher M(ed.), 8th Symposium on Principles and Practice of Declarative Programming. ACM Press, New York, USA. 2006 pp. 39-50. ISBN 1-59593-388-3.
• [27] Gavanelli M, Lamma E, Riguzzi F, Bellodi E, Zese R, Cota G. Abductive Logic Programming for Normative Reasoning and Ontologies. In: Otake M, Kurahashi S, Ohta Y, Satoh K, Bekki D (eds.), New Frontiers in Artificial Intelligence (JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers), volume 10091 of Lecture Notes in Artificial Intelligence. Springer, 2017 pp. 187-203.
• [28] Gavanelli M, Lamma E, Riguzzi F, Bellodi E, Zese R, Cota G. Reasoning on Datalog± Ontologies with Abductive Logic Programming. Fundamenta Informaticae, 2018. 159(1-2):65-93. doi:10.3233/FI-2018-1658.
• [29] Alberti M, Gavanelli M, Lamma E, Riguzzi F, Zese R. Dischargeable Obligations in Abductive Logic Programming. In: Costantini S, Franconi E, Von Woensel W, Kontchakov R, Sadri F, Roman D (eds.), Rules and Reasoning - International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings, volume 10364 of Lecture Notes in Computer Science. Springer, 2017 pp. 7-21.
• [30] Alchourrón CE, Gärdenfors P, Makinson D. On the Logic of Theory Change: Partial Meet Contraction and Revision Functions. J. Symbolic Logic, 1985. 50(2):510-530.
• [31] Japanese Civil Code, part I. https://en.wikisource.org/wiki/Civil_Code_of_Japan/Part_I. Retrieved on July 19, 2016.
• [32] Kunen K. Negation in logic programming. The Journal of Logic Programming, 1987. 4(4):289-308. doi:https://doi.org/10.1016/0743-1066(87)90007-0.
• [33] Clark KL. Negation as failure. In: Logic and data bases. Springer, 1978 pp. 293-322.
• [34] Eiter T, Gottlob G. The Complexity of Logic-based Abduction. J. ACM, 1995. 42(1):3-42. doi:10.1145/200836.200838.
• [35] Ryu YU, Lee RM. Defeasible Deontic Reasoning: A Logic Programming Model. In: Meyer JJ, Wieringa R (eds.), Deontic Logic in Computer Science: Normative System Specification, pp. 225-241. John Wiley & Sons Ltd, 1993.
• [36] Kowalski RA, Sergot MJ. A Logic-based Calculus of Events. New Generat. Comput., 1986. 4(1):67-95. doi:10.1007/BF03037383.
• [37] Gebser M, Kaufmann B, Kaminski R, Ostrowski M, Schaub T, Schneider MT. Potassco: The Potsdam Answer Set Solving Collection. AI Commun., 2011. 24(2):107-124. doi:10.3233/AIC-2011-0491.
• [38] Kowalski R, Satoh K. Obligation as Optimal Goal Satisfaction. Journal of Philosophical Logic, 2018. 47(4):579-609. doi:10.1007/s10992-017-9440-3.
• [39] Makinson D, van der Torre LWN. Input/Output Logics. J. Philosophical Logic, 2000. 29(4):383-408. doi:10.1023/A:1004748624537.
• [40] Parent X, van der Torre L. Handbook of Deontic Logic and Normative Systems, chapter Input/output Logic. In: Gabbay et al. [62], 2013.
• [41] Grossi D, Jones AJ. Handbook of Deontic Logic and Normative Systems, chapter Constitutive Norms and Counts-as Conditionals. In: Gabbay et al. [62], 2013.
• [42] Boella G, van der Torre LWN. Permissions and Obligations in Hierarchical Normative Systems. In: Zeleznikow J, Sartor G (eds.), 9th International Conference on Artificial Intelligence and Law, ICAIL 2003, Edinburgh, Scotland, UK, Proceedings. ACM Press, 2003 pp. 109-118. URL https://doi.org/10.1145/1047788.1047818.
• [43] Governatori G, Rotolo A, Sartor G. Temporalised Normative Positions in Defeasible Logic. In: Proceedings of the 10th International Conference on Artificial Intelligence and Law, ICAIL ’05. ACM, New York, NY, USA. ISBN 1-59593-081-7, 2005 pp. 25-34. doi:10.1145/1165485.1165490.
• [44] Governatori G, Milosevic Z, Sadiq SW. Compliance checking between business processes and business contracts. In: 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC), 2006, Hong Kong, China. IEEE Computer Society, 2006 pp. 221-232.
• [45] Governatori G. Representing business contracts in RuleML. Int. J. Coop. Inf. Syst., 2005. 14(2-3):181-216.
• [46] Alchourrón CE. Detachment and defeasibility in deontic logic. Studia Logica, 1996. 57(1):5-18. doi:10.1007/BF00370667.
• [47] Brown MA. Doing As We Ought: Towards A Logic of Simply Dischargeable Obligations. In: Brown MA, Carmo J (eds.), Deontic Logic, Agency and Normative Systems. Springer London, London. 1996 pp.47-65. ISBN 978-1-4471-1488-8.
• [48] Ågotnes T, van der Hoek W, Rodríguez-Aguilar JA, Sierra C, Wooldridge M. On the Logic of Normative Systems. In: Veloso MM (ed.), IJCAI 2007, volume 7. AAAI Press/IJCAI, 2007 pp. 1175-1180.
• [49] Emerson EA. Temporal and Modal Logic. In: Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics (B), pp. 995-1072. Elsevier, 1990.
• [50] Ågotnes T, van der Hoek W, Wooldridge M. Robust normative systems and a logic of norm compliance. Log. J. IGPL, 2010. 18(1):4-30.
• [51] Kazmierczak P, Pedersen T, Ågotnes T. NORMC: a Norm Compliance Temporal Logic Model Checker. In: Kersting K, Toussaint M (eds.), 6th Starting AI Researchers’ Symposium, STAIR 2012, Montpellier, France, volume 241 of FRONTIERS. IOS Press, 2012 pp. 168-179. doi:10.3233/978-1-61499-096-3-168.
• [52] Hansen J. Prioritized conditional imperatives: problems and a new proposal. Auton. Agent Multi-Ag., 2008. 17(1):11-35. doi:10.1007/s10458-007-9016-7.
• [53] Horty JF. Defaults with Priorities. J. Philos. Logic, 2007. 36(4):367-413. doi:10.1007/s10992-006-9040-0.
• [54] Nair S. Consequences of reasoning with conflicting obligations. Mind, 2014. 123(491):753-790.
• [55] Bex F, Prakken H, Reed C, Walton D. Towards a Formal Account of Reasoning about Evidence: Argumentation Schemes and Generalisations. Artif. Intell. Law, 2003. 11(2-3):125-165.
• [56] Bex FJ, van Koppen PJ, Prakken H, Verheij B. A hybrid formal theory of arguments, stories and criminal evidence. Artif. Intell. Law, 2010. 18(2):123-152.
• [57] Searle JR. Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press, 1969. ISBN 9781139173438. doi:10.1017/CBO9781139173438.
• [58] Van De Putte F, Straßer C. A Logic for Prioritized Normative Reasoning. J. Log. and Comput., 2013. 23(3):563-583. doi:10.1093/logcom/exs008.
• [59] van Benthem J, Grossi D, Liu F. Priority Structures in Deontic Logic. Theoria, 2014. 80(2):116-152. doi:10.1111/theo.12028.
• [60] Fraassen BCV. Values and the Heart’s Command. Journal of Philosophy, 1973. 70(1):5-19. doi:10.2307/2024762.
• [61] Onada T, Bekki D, McCready E (eds.). New Frontiers in Artificial Intelligence - JSAI-isAI 2010 Workshops, volume 6797 of LNCS. Springer, 2011. doi:10.1007/978-3-642-25655-4.
• [62] 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. ISBN:978-1-84890-132-2.
• [63] Alberti M, Cota G, Riguzzi F, and Zese R. Probabilistic Logical Inference on the Web, AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 - December 1, 2016, Proceedings, volume 10037 of LNCS, Springer, 2016 pp. 351-363. doi:10.1007/978-3-319-49130-1_26.

Uwagi

Opracowanie rekordu ze środków MNiSW, umowa Nr 461252 w ramach programu "Społeczna odpowiedzialność nauki" - moduł: Popularyzacja nauki i promocja sportu (2021).