Sequence Semantics for Normative Agents

  • Guido GovernatoriEmail author
  • Francesco Olivieri
  • Erica Calardo
  • Antonino Rotolo
  • Matteo Cristani
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9862)


We proposed a novel framework for the representation of goals and other mental-like attitudes in terms of degree of expected outcomes, where an outcome is an order of possible alternatives. The sequences of alternatives is modelled by a non-classical (substructural) operator. In this paper we provide a modal logic based axiomatisation of the intuition they propose, and we discuss some variants (in particular for the notion of social intention, intentions that are compliant with norms). Given that the outcome operator is substructural, we first propose a novel sequence semantics (a generalisation of possible world semantics) to model the outcome operator, and we prove that the axiomatisation is sound and complete with respect to the new semantics.


Inference Rule Social Intention Prefer Outcome Classical Propositional Logic Underlying Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Andrighetto, G., Governatori, G., Noriega, P., van der Torre, L.W.N. (eds.) Normative Multi-agent Systems. Dagstuhl Follow-Ups, vol. 4. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2013)Google Scholar
  2. 2.
    Brewka, G., Benferhat, S., Le Berre, D.: Qualitative choice logic. Artif. Intell. 157(1–2), 203–237 (2004)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Broersen, J., Dastani, M., Hulstijn, J., van der Torre, L.: Goal generation in the BOID architecture. Cogn. Sci. Q. 2(3–4), 428–447 (2002)Google Scholar
  4. 4.
    Chellas, B.F.: Modal Logic, An Introduction. Cambridge University Press, Cambridge (1980)CrossRefzbMATHGoogle Scholar
  5. 5.
    Governatori, G., Rotolo, A.: Logic of violations: a Gentzen system for reasoning with contrary-to-duty obligations. Australas. J. Logic 4, 193–215 (2006)MathSciNetzbMATHGoogle Scholar
  6. 6.
    Governatori, G., Rotolo, A.: BIO logical agents: norms, beliefs, intentions in defeasible logic. Auton. Agent. Multi-agent Syst. 17(1), 36–69 (2008)CrossRefGoogle Scholar
  7. 7.
    Governatori, G.: Thou shalt is not you will. In: Atkinson, K. (ed.) Proceedings of the Fifteenth International Conference on Artificial Intelligence and Law, pp. 63–68. ACM, New York (2015)CrossRefGoogle Scholar
  8. 8.
    Governatori, G., Olivieri, F., Calardo, E., Rotolo, A.: Sequence semantics for norms and obligations. In: Proceedings Deontic Logic and Normative Systems, pp. 93–108. College Publications (2016)Google Scholar
  9. 9.
    Governatori, G., Olivieri, F., Scannapieco, S., Rotolo, A., Cristani, M.: The rational behind the concept of goal. Theory Pract. Logic Program. 16(3), 296–324 (2016)MathSciNetCrossRefGoogle Scholar
  10. 10.
    Thomason, R.H.: Desires, defaults: a framework for planning with inferred goals. In: Cohn, A.G., Giunchiglia, F., Selman, B. (eds.) KR2000. Morgan Kaufmann, San Francisco (2000)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  • Guido Governatori
    • 1
    Email author
  • Francesco Olivieri
    • 2
  • Erica Calardo
    • 3
  • Antonino Rotolo
    • 3
  • Matteo Cristani
    • 2
  1. 1.Data61, CSIROSpring HillAustralia
  2. 2.University of VeronaVeronaItaly
  3. 3.University of BolognaBolognaItaly

Personalised recommendations