Sequence Semantics for Normative Agents
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.
KeywordsInference Rule Social Intention Prefer Outcome Classical Propositional Logic Underlying Logic
- 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
- 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
- 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
- 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