Temporal Reasoning and MAS

dc.contributor.author	SMITH, Clara
dc.contributor.author	ROTOLO, Antonino
dc.contributor.author	SARTOR, Giovanni
dc.date.accessioned	2011-01-24T14:49:54Z
dc.date.available	2011-01-24T14:49:54Z
dc.date.issued	2010-01-01
dc.identifier.issn	1725-6739
dc.identifier.uri	https://hdl.handle.net/1814/15435
dc.description.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.	en
dc.format.mimetype	application/pdf
dc.language.iso	en	en
dc.relation.ispartofseries	EUI LAW	en
dc.relation.ispartofseries	2010/16	en
dc.rights	info:eu-repo/semantics/openAccess
dc.subject	hybrid modal logic	en
dc.subject	deontic logic	en
dc.subject	temporal reasoning	en
dc.subject	deadlines	en
dc.subject	multi agent systems	en
dc.title	Temporal Reasoning and MAS	en
dc.type	Working Paper	en
eui.subscribe.skip	true