We address some forms of temporal reasoning within normative MAS, focusing on the combination of temporal logics with multi-modal multi-agent logics. We suggest perspectives on how these combinations can be used for modelling aspects of time within lawful provisions, obligations, and legal principles. The main contributions are the new variant of deontic tense logic using hybrid logic, and the combination of time and obligations.

Representations of Time within Normative MAS

ROTOLO, ANTONINO;SARTOR, GIOVANNI
2010

Abstract

We address some forms of temporal reasoning within normative MAS, focusing on the combination of temporal logics with multi-modal multi-agent logics. We suggest perspectives on how these combinations can be used for modelling aspects of time within lawful provisions, obligations, and legal principles. The main contributions are the new variant of deontic tense logic using hybrid logic, and the combination of time and obligations.
Proceeding of JURIX 2010: THe Twenty-Third Annual Conference on Legal Knowledge and Information Systems
107
116
C. Smith; A. Rotolo; G. Sartor
File in questo prodotto:
Eventuali allegati, non sono esposti

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: http://hdl.handle.net/11585/101160
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 0
social impact