Temporal Reasoning and MAS

EUI Working Papers LAW No. 2010/16

22 Pages Posted: 16 Mar 2011

See all articles by Clara Smith

Clara Smith

Universidad Nacional de La Plata

Antonino Rotolo

affiliation not provided to SSRN

Giovanni Sartor

European University Institute Law Department

Date Written: January 1, 2011

Abstract

In this paper we investigate if it is possible and useful to reason about time within social/normative multi-agent systems (MAS) by taking into account the general guidelines of tense logic. We focus on the combination of special-purpose logics: we provide a formal account in which a minimal temporalization helps in reasoning about time in an abstract way. We also explore a new variant of deontic tense logic by using a hybrid tense logic. The accounts provided allow to model temporal provisions within both particular norms and general legal principles, and also help in the detection of breaches of good faith and confidence.

Keywords: hybrid modal logic, deontic logic, temporal reasoning, multi agent systems

Suggested Citation

Smith, Clara and Rotolo, Antonino and Sartor, Giovanni, Temporal Reasoning and MAS (January 1, 2011). EUI Working Papers LAW No. 2010/16. Available at SSRN: https://ssrn.com/abstract=1785412 or http://dx.doi.org/10.2139/ssrn.1785412

Clara Smith (Contact Author)

Universidad Nacional de La Plata ( email )

7 NÂș 776
Buenos Aires, BA 1900
Argentina

HOME PAGE: http://https://www.researchgate.net/profile/Clara_Smith

Antonino Rotolo

affiliation not provided to SSRN ( email )

Giovanni Sartor

European University Institute Law Department ( email )

Via Bolognese 156 (Villa Salviati)
50-139 Firenze
ITALY

Here is the Coronavirus
related research on SSRN

Paper statistics

Downloads
37
Abstract Views
791
PlumX Metrics