Sequence Semantics for Normative Agents

Loading...
Thumbnail Image
File version

Accepted Manuscript (AM)

Author(s)
Governatori, Guido
Olivieri, Francesco
Calardo, Erica
Rotolo, Antonino
Cristani, Matteo
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)

Baldoni, M

Chopra, AK

Son, TC

Hirayama, K

Torroni, P

Date
2016
Size
File type(s)
Location

Phuket, Thailand

License
Abstract

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.

Journal Title
Conference Title

Lecture Notes in Computer Science

Book Title
Edition
Volume

9862

Issue
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement

© Springer International Publishing Switzerland 2016. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher.The original publication is available at www.springerlink.com

Item Access Status
Note
Access the data
Related item(s)
Subject

Artificial intelligence

Science & Technology

Computer Science, Information Systems

Computer Science, Theory & Methods

Persistent link to this record
Citation

Governatori, G; Olivieri, F; Calardo, E; Rotolo, A; Cristani, M, Sequence Semantics for Normative Agents, Lecture Notes in Computer Science, 2016, 9862, pp. 230-246