{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T15:36:35Z","timestamp":1772120195887,"version":"3.50.1"},"reference-count":36,"publisher":"Cambridge University Press (CUP)","issue":"4-5","license":[{"start":{"date-parts":[[2011,7,6]],"date-time":"2011-07-06T00:00:00Z","timestamp":1309910400000},"content-version":"unspecified","delay-in-days":5,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2011,7]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In this paper we propose a use-case-driven iterative design methodology for normative frameworks, also called virtual institutions, which are used to govern open systems. Our computational model represents the normative framework as a logic program under answer set semantics (ASP). By means of an inductive logic programming approach, implemented using ASP, it is possible to synthesise new rules and revise the existing ones. The learning mechanism is guided by the designer who describes the desired properties of the framework through use cases, comprising (i) event traces that capture possible scenarios, and (ii) a state that describes the desired outcome. The learning process then proposes additional rules, or changes to current rules, to satisfy the constraints expressed in the use cases. Thus, the contribution of this paper is a process for the elaboration and revision of a normative framework by means of a semi-automatic and iterative process driven from specifications of (un)desirable behaviour. The process integrates a novel and general methodology for theory revision based on ASP.<\/jats:p>","DOI":"10.1017\/s1471068411000305","type":"journal-article","created":{"date-parts":[[2011,7,6]],"date-time":"2011-07-06T09:15:37Z","timestamp":1309943737000},"page":"783-799","source":"Crossref","is-referenced-by-count":15,"title":["Normative design using inductive learning"],"prefix":"10.1017","volume":"11","author":[{"given":"DOMENICO","family":"CORAPI","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ALESSANDRA","family":"RUSSO","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MARINA","family":"DE VOS","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"JULIAN","family":"PADGET","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"KEN","family":"SATOH","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2011,7,6]]},"reference":[{"key":"S1471068411000305_ref29","first-page":"62","volume-title":"Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning","author":"Sakama","year":"2001"},{"key":"S1471068411000305_ref30","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1991.tb00331.x"},{"key":"S1471068411000305_ref10","first-page":"459","volume-title":"Artificial Intelligence Applications and Innovations","author":"Corapi","year":"2009"},{"key":"S1471068411000305_ref17","unstructured":"Garion C. , Roussel S. and Cholvy L. 2009. A modal logic for reasoning on consistency and completeness of regulations. See Boella et al. (2009)."},{"key":"S1471068411000305_ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-008-9059-4"},{"key":"S1471068411000305_ref25","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037383"},{"key":"S1471068411000305_ref11","volume-title":"Aspal. Proof of Soundness and Completeness","author":"Corapi","year":"2011"},{"key":"S1471068411000305_ref4","unstructured":"Boella G. , Pigozzi G. and van der Torre L. 2009b. Normative framework for normative system change. See Sierra et al., 169\u2013176."},{"key":"S1471068411000305_ref33","volume-title":"AAMAS 2009","author":"Sierra","year":"2009"},{"key":"S1471068411000305_ref34","first-page":"91","volume-title":"AAMAS","author":"Vasconcelos","year":"2007"},{"key":"S1471068411000305_ref21","doi-asserted-by":"publisher","DOI":"10.1504\/IJAOSE.2007.016266"},{"key":"S1471068411000305_ref23","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/2.6.719"},{"key":"S1471068411000305_ref8","doi-asserted-by":"crossref","unstructured":"Cliffe O. 2007. Specifying and Analysing Institutions in Multi-Agent Systems Using Answer Set Programming. Ph.D. thesis, University of Bath, North East Somerset, UK.","DOI":"10.1007\/11775331_7"},{"key":"S1471068411000305_ref16","first-page":"1","volume-title":"AOSE","author":"Garc\u00eda-Ojeda","year":"2007"},{"key":"S1471068411000305_ref27","first-page":"1677","volume-title":"AAMAS (Demos)","author":"Okouya","year":"2008"},{"key":"S1471068411000305_ref19","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037169"},{"key":"S1471068411000305_ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s10506-007-9055-z"},{"key":"S1471068411000305_ref22","doi-asserted-by":"publisher","DOI":"10.1145\/242224.242380"},{"key":"S1471068411000305_ref7","unstructured":"Christelis G. and Rovatsos M. 2009. Automated norm synthesis in an agent-based planning environment. See Sierra et al., 161\u2013168."},{"key":"S1471068411000305_ref32","first-page":"304","volume-title":"Proceedings of COIN 2009","author":"Serrano","year":"2009"},{"key":"S1471068411000305_ref20","first-page":"193","article-title":"Action languages.","volume":"2","author":"Gelfond","year":"1998","journal-title":"Electronic Transactions Artificial Intelligence"},{"key":"S1471068411000305_ref26","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037227"},{"key":"S1471068411000305_ref13","unstructured":"Esteva M. , de la Cruz D. and Sierra C. 2002. Islander: An electronic institutions editor. In AAMAS. ACM, 1045\u20131052."},{"key":"S1471068411000305_ref12","first-page":"54","volume-title":"Technical Communications of the 26th International Conference on Logic Programming","author":"Corapi","year":"2010"},{"key":"S1471068411000305_ref1","first-page":"63","volume-title":"Lecture Notes in Artificial Intelligence","author":"Alrajeh","year":"2007"},{"key":"S1471068411000305_ref6","first-page":"468","volume-title":"European Conference on Artificial Intelligence","author":"Cardoso","year":"2008"},{"key":"S1471068411000305_ref3","volume-title":"Dagstuhl Seminar Proceedings","author":"Boella","year":"2009"},{"key":"S1471068411000305_ref35","unstructured":"Wogulis J. and Pazzani M. J. 1993. A methodology for evaluating theory revision systems: Results with audrey ii. In International Joint Conference on Artificial Intelligence (IJCAI), 1128\u20131134."},{"key":"S1471068411000305_ref9","first-page":"60","volume-title":"Seventh International Workshop on Computational Logic in Multi-Agent Systems","author":"Cliffe","year":"2006"},{"key":"S1471068411000305_ref2","first-page":"97","volume-title":"Proceedings of International Conference on Agents and Multi-Agent Systems","author":"Artikis","year":"2009"},{"key":"S1471068411000305_ref18","first-page":"260","volume-title":"LPNMR'07","author":"Gebser","year":"2007"},{"key":"S1471068411000305_ref31","unstructured":"Savarimuthu B. T. R. and Cranefield S. 2009. A categorization of simulation works on norms. See Boella et al. (2009a)."},{"key":"S1471068411000305_ref5","unstructured":"Boella G. , Pigozzi G. and van der Torre L. 2009c. Normative systems in computer science \u2013 ten guidelines for normative multiagent systems. See Boella et al. (2009a)."},{"key":"S1471068411000305_ref28","first-page":"181","volume-title":"Proceedings of the AAAI Spring Symposium on Answer Set Programming","author":"Sakama","year":"2001"},{"key":"S1471068411000305_ref24","unstructured":"Kollingbaum M. , Norman T. , Preece A. and Sleeman D. 2006. Norm conflicts and inconsistencies in virtual organisations. In Proceedings of COIN 2006, 245\u2013258."},{"key":"S1471068411000305_ref36","first-page":"27","volume-title":"20th International Conference on Inductive Logic Programming","author":"Yamamoto","year":"2010"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068411000305","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,27]],"date-time":"2021-11-27T17:32:49Z","timestamp":1638034369000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068411000305\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7]]},"references-count":36,"journal-issue":{"issue":"4-5","published-print":{"date-parts":[[2011,7]]}},"alternative-id":["S1471068411000305"],"URL":"https:\/\/doi.org\/10.1017\/s1471068411000305","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,7]]}}}