Communicating sequential processes
Communicating sequential processes
Specifying real-time properties with metric temporal logic
Real-Time Systems
Logics and Models of Real Time: A Survey
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Proceedings of the Real-Time: Theory in Practice, REX Workshop
An interleaving model for real time.
An interleaving model for real time.
Temporalised normative positions in defeasible logic
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
On the modeling and analysis of obligations
Proceedings of the 13th ACM conference on Computer and communications security
Specifying deadlines with continuous time using deontic and temporal logic
International Journal of Electronic Commerce - Special issue: Formal aspects of digital commerce
Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
Issues in Designing Logical Models for Norm Change
Organized Adaption in Multi-Agent Systems
Characterising deadlines in temporal modal defeasible logic
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Formalizing organizational constraints: a semantic approach
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Strategic executions of choreographed timed normative multi-agent systems
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
From organisation specification to normative programming in multi-agent organisations
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
A normative programming language for multi-agent organisations
Annals of Mathematics and Artificial Intelligence
A rule language for modelling and monitoring social expectations in multi-agent systems
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
| Hi-index | 0.00 |
Norms have been proposed as a way to regulate multi-agent systems. In order to operationalize norms, several computational frameworks have been proposed for programming norm-governed agent organizations. It has been argued that in such systems it is essential that norms, in particular those giving rise to achievement obligations, have deadlines. In this paper we propose a novel semantic framework that takes into account and formalizes real-time aspects of such norms with deadlines. The framework introduced provides a semantics for norms with real-time deadlines that is a conservative extension of more traditional transition systems semantics that has been used for specifying multi-agent systems. Our framework thus provides a natural extension for formalizing multi-agent systems with norms that have real-time deadlines. We address several important aspects of semantics of norms with deadlines such as deadline termination and, in particular, investigate the issue of deadline shifting that arises naturally in a real-time setting as a result of interactions between norms. A new normative model is presented for handling such interactions. We present several formal results showing that our semantics corresponds with basic intuitions that any operational semantics for norms with (real-time) deadlines should satisfy, and that it is well-defined.