Representations of Time within Normative MAS
نویسندگان
چکیده
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.
منابع مشابه
Normative Multi-Agent Organizations: Modeling, Support and Control, Draft Version
In the last years, social and organizational aspects of agency have become a major issue in multi-agent systems’ research. Recent applications of MAS enforce the need of using these aspects in order to ensure some social order within these systems. Tools to control and regulate the overall functioning of the system are needed in order to enforce global laws on the autonomous agents operating in...
متن کاملOffline Evolution of Normative Systems
An approach to the pre-runtime design of normative systems for problem-solving multi-agent systems (MAS) is suggested. A key element of this approach is to employ evolutionary mechanisms to evolve efficient normative systems. To illustrate, a genetic algoritm is used in the process of designing a normative system for an example MAS based on the Dalmas architecture for normregulated MAS. It is d...
متن کاملNormative positions in multi-agent systems
The Kanger-Lindahl theory of normative positions has great potential of serving as a logical foundation for normative systems for MAS, and its generality allows for great freedom when interpreting the theory. As a first step towards a typology of interpretations of the theory, the application of normative positions is studied in the context of a class of transition systems in which transitions ...
متن کاملAn Algorithm for Conflict Resolution in Regulated Compound Activities
The use of norms is a well-known technique of co-ordination in multi-agent systems (MAS) adopted from human societies. A normative position is the “social burden” associated with individual agents, that is, their obligations, permissions and prohibitions. Compound activities may be regulated by means of normative positions. However, conflicts may appear among normative positions of activities a...
متن کاملA distributed normative infrastructure for situated multi-agent organisations
In most of the existing approaches to the design of multi-agent systems, there is no clear way in which to relate organisational and normative structures to the model of the environment where they are to be situated and operate. Our work addresses this problem by putting together, in a practical approach to developing multi-agent systems (and social simulations in particular), a highlevel envir...
متن کامل