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.

Sequence Semantics for Normative Agents

OLIVIERI, FRANCESCO;CRISTANI, Matteo
2016

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.
978-3-319-44831-2
Logic
Automated reasoning
Defeasible logic
File in questo prodotto:
File Dimensione Formato  
sequence.pdf

solo utenti autorizzati

Tipologia: Versione dell'editore
Licenza: Accesso ristretto
Dimensione 301.52 kB
Formato Adobe PDF
301.52 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11562/954899
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? 4
social impact