Temporal Reasoning and MAS

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 tempora...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Smith, Clara Patricia, Rotolo, Antonino, Sartor, Giovanni
Formato: Articulo Documento de trabajo
Lenguaje:Inglés
Publicado: 2011
Materias:
Informática
Ciencias Jurídicas
Hybrid modal logic
Deontic logic
Temporal reasoning
Deadlines
Multi agent systems
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/128481
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-128481
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Informática
Ciencias Jurídicas
Hybrid modal logic
Deontic logic
Temporal reasoning
Deadlines
Multi agent systems
spellingShingle Informática
Ciencias Jurídicas
Hybrid modal logic
Deontic logic
Temporal reasoning
Deadlines
Multi agent systems
Smith, Clara Patricia
Rotolo, Antonino
Sartor, Giovanni
Temporal Reasoning and MAS
topic_facet Informática
Ciencias Jurídicas
Hybrid modal logic
Deontic logic
Temporal reasoning
Deadlines
Multi agent systems
description 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.
format Articulo
Documento de trabajo
author Smith, Clara Patricia
Rotolo, Antonino
Sartor, Giovanni
author_facet Smith, Clara Patricia
Rotolo, Antonino
Sartor, Giovanni
author_sort Smith, Clara Patricia
title Temporal Reasoning and MAS
title_short Temporal Reasoning and MAS
title_full Temporal Reasoning and MAS
title_fullStr Temporal Reasoning and MAS
title_full_unstemmed Temporal Reasoning and MAS
title_sort temporal reasoning and mas
publishDate 2011
url http://sedici.unlp.edu.ar/handle/10915/128481
work_keys_str_mv AT smithclarapatricia temporalreasoningandmas
AT rotoloantonino temporalreasoningandmas
AT sartorgiovanni temporalreasoningandmas
bdutipo_str Repositorios
_version_ 1764820452469899264

Ejemplares similares