{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T04:13:35Z","timestamp":1783656815121,"version":"3.55.0"},"reference-count":40,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2016,3,31]],"date-time":"2016-03-31T00:00:00Z","timestamp":1459382400000},"content-version":"unspecified","delay-in-days":0,"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":[[2016,5]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The paper proposes a fresh look at the concept of goal and advances that motivational attitudes like desire, goal and intention are just facets of the broader notion of (acceptable) outcome. We propose to encode the preferences of an agent as sequences of \u201calternative acceptable outcomes\u201d. We then study how the agent's beliefs and norms can be used to filter the mental attitudes out of the sequences of alternative acceptable outcomes. Finally, we formalise such intuitions in a novel Modal Defeasible Logic and we prove that the resulting formalisation is computationally feasible.<\/jats:p>","DOI":"10.1017\/s1471068416000053","type":"journal-article","created":{"date-parts":[[2016,3,31]],"date-time":"2016-03-31T05:48:18Z","timestamp":1459403298000},"page":"296-324","source":"Crossref","is-referenced-by-count":25,"title":["The rationale behind the concept of goal"],"prefix":"10.1017","volume":"16","author":[{"given":"GUIDO","family":"GOVERNATORI","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"FRANCESCO","family":"OLIVIERI","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"SIMONE","family":"SCANNAPIECO","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"ANTONINO","family":"ROTOLO","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"MATTEO","family":"CRISTANI","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2016,3,31]]},"reference":[{"key":"S1471068416000053_ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-013-9295-1"},{"key":"S1471068416000053_ref38","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-008-9070-9"},{"key":"S1471068416000053_ref1","volume-title":"Normative Multi-Agent Systems","author":"Andrighetto","year":"2013"},{"key":"S1471068416000053_ref11","first-page":"405","volume-title":"AAMAS","author":"Dastani","year":"2011"},{"key":"S1471068416000053_ref16","doi-asserted-by":"crossref","first-page":"193","DOI":"10.26686\/ajl.v4i0.1780","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":"S1471068416000053_ref2","doi-asserted-by":"publisher","DOI":"10.1145\/371316.371517"},{"key":"S1471068416000053_ref9","first-page":"621","volume-title":"Proc. LPAR","author":"Dastani","year":"2005"},{"key":"S1471068416000053_ref36","first-page":"713","volume-title":"AAMAS (2)","author":"van Riemsdijk","year":"2008"},{"key":"S1471068416000053_ref3","first-page":"459","volume-title":"Proc. of ECAI 2000","author":"Antoniou","year":"2000"},{"key":"S1471068416000053_ref35","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-006-9145-6"},{"key":"S1471068416000053_ref30","first-page":"2625","volume-title":"IJCAI 2007","author":"Shapiro","year":"2007"},{"key":"S1471068416000053_ref28","first-page":"311","volume-title":"COMMA","author":"Prakken","year":"2006"},{"key":"S1471068416000053_ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(90)90055-5"},{"key":"S1471068416000053_ref22","doi-asserted-by":"publisher","DOI":"10.4018\/jswis.2011010102"},{"key":"S1471068416000053_ref37","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-008-9067-4"},{"key":"S1471068416000053_ref40","first-page":"1","volume-title":"ECAI Workshop on Agent Theories, Architectures, and Languages","author":"Wooldridge","year":"1995"},{"key":"S1471068416000053_ref34","first-page":"702","volume-title":"Proc. of KR2000","author":"Thomason","year":"2000"},{"key":"S1471068416000053_ref4","doi-asserted-by":"publisher","DOI":"10.4018\/jswis.2006010101"},{"key":"S1471068416000053_ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1160633.1160867"},{"key":"S1471068416000053_ref19","first-page":"426","volume-title":"Handbook of Research on BPM","author":"Governatori","year":"2008"},{"key":"S1471068416000053_ref31","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exm050"},{"key":"S1471068416000053_ref21","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45594-9_2"},{"key":"S1471068416000053_ref27","doi-asserted-by":"crossref","unstructured":"Olivieri F. , Governatori G. , Scannapieco S. and Cristani M. 2013. Compliant business process design by declarative specifications. In Proc. of PRIMA 2013: Principles and Practice of Multi-Agent Systems \u2013 16th International Conference, Dunedin, New Zealand, December 1\u20136, 2013, G. Boella , E. Elkind , B. T. R. Savarimuthu , F. Dignum and M. K. Purvis , Ed. Lecture Notes in Computer Science, Vol. 8291. Springer, Berlin, Heidelberg, 213\u2013228. ISBN 978-3-642-44926-0. doi: 10.1007\/978-3-642-44927-7 URL http:\/\/dx.doi.org\/10.1007\/978-3-642-44927-7.","DOI":"10.1007\/978-3-642-44927-7"},{"key":"S1471068416000053_ref24","first-page":"315","volume-title":"Rule Representation, Interchange and Reasoning on the Web","author":"Lam","year":"2009"},{"key":"S1471068416000053_ref29","first-page":"473","volume-title":"Proc. of KR","author":"Rao","year":"1991"},{"key":"S1471068416000053_ref5","volume-title":"Intentions, Plans and Practical Reason","author":"Bratman","year":"1987"},{"key":"S1471068416000053_ref14","volume-title":"RuleML","author":"Governatori","year":"2013"},{"key":"S1471068416000053_ref23","first-page":"2662","volume-title":"IJCAI\/AAAI","author":"Kravari","year":"2011"},{"key":"S1471068416000053_ref25","first-page":"187","volume-title":"LPNMR-11","author":"Lam","year":"2011"},{"key":"S1471068416000053_ref18","first-page":"46","volume-title":"DEON","author":"Governatori","year":"2012"},{"key":"S1471068416000053_ref12","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843005001092"},{"key":"S1471068416000053_ref32","unstructured":"Shapiro S. , Sardina S. , Thangarajah J. , Cavedon L. and Padgham L. 2012. Revising conflicting intention sets in bdi agents. In Proc. of the 11th International Conference on AAMAS - Volume 2, AAMAS '12, IFAAMS, 1081\u20131088."},{"key":"S1471068416000053_ref20","first-page":"228","volume-title":"ATAL","author":"Hindriks","year":"2000"},{"key":"S1471068416000053_ref33","first-page":"738","volume-title":"ECAI","author":"Tachmazidis","year":"2012"},{"key":"S1471068416000053_ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-008-9030-4"},{"key":"S1471068416000053_ref15","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzp006"},{"key":"S1471068416000053_ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2004.04.006"},{"key":"S1471068416000053_ref39","first-page":"470","volume-title":"Proc. of KR","author":"Winikoff","year":"2002"},{"key":"S1471068416000053_ref7","first-page":"428","article-title":"Goal generation in the BOID architecture","volume":"2","author":"Broersen","year":"2002","journal-title":"Cognitive Science Quarterly"},{"key":"S1471068416000053_ref26","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068401001168"}],"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\/S1471068416000053","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T15:19:54Z","timestamp":1555687194000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068416000053\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3,31]]},"references-count":40,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,5]]}},"alternative-id":["S1471068416000053"],"URL":"https:\/\/doi.org\/10.1017\/s1471068416000053","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,3,31]]}}}