Reference Hub

This research has been cited in:

Chapter
Safe Autonomous Decision-Making with vGOALAdvances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection10.1007/978-3-031-37616-0_32
Chapter
When Can Cognitive Agents Be Modeled Analytically versus Computationally?Distributed Computing and Artificial Intelligence, 11th International Conference10.1007/978-3-319-07593-8_8
Chapter
Accountability and Responsibility in Agent OrganizationsPRIMA 2018: Principles and Practice of Multi-Agent Systems10.1007/978-3-030-03098-8_16
Chapter
Correctness of Multi-Agent Programs: A Hybrid ApproachSpecification and Verification of Multi-agent Systems10.1007/978-1-4419-6984-2_6
Conference
From Brute Facts to Institutional Facts in Multiagent-Systems2011 Workshop and School of Agent Systems, their Environment and Applications10.1109/WESAAC.2011.29
Chapter
Programming Institutional Facts in Multi-Agent SystemsCoordination, Organizations, Institutions, and Norms in Agent Systems VIII10.1007/978-3-642-37756-3_10
Chapter
Directions for Agent Model Checking*Specification and Verification of Multi-agent Systems10.1007/978-1-4419-6984-2_4
Chapter
SIMPLE: A Language for the Specification of Protocols, Similar to Natural LanguageCoordination, Organizations, Institutions, and Norms in Agent Systems XI10.1007/978-3-319-42691-4_6
Chapter
Debugging BDI-Based Multi-Agent ProgramsProgramming Multi-Agent Systems10.1007/978-3-642-14843-9_10
Chapter
Thinking Integral: How to Build Complex Systems That Live with People and Exhibit Collective IntelligenceEngineering Societies in the Agents World X10.1007/978-3-642-10203-5_2
Chapter
Model Checking Normative Agent OrganisationsComputational Logic in Multi-Agent Systems10.1007/978-3-642-16867-3_4
Chapter
Programming Multi-agent SystemsComputational Logic in Multi-Agent Systems10.1007/978-3-642-02734-5_2
Chapter
Towards Practical Normative Agents: A Framework and an Implementation for Norm-Aware PlanningCoordination, Organizations, Institutions, and Norms in Agent System VII10.1007/978-3-642-35545-5_6
Chapter
Accountability and Responsibility in Multiagent Organizations for Engineering Business ProcessesEngineering Multi-Agent Systems10.1007/978-3-030-51417-4_1
Article
Commitments and interaction norms in organisationsAutonomous Agents and Multi-Agent Systems10.1007/s10458-015-9321-5
Chapter
Normative Multi-Agent OrganizationsEngineering Societies in the Agents World X10.1007/978-3-642-10203-5_24
Conference
Organizational Replication Using Inheritance2015 20th International Conference on Control Systems and Computer Science10.1109/CSCS.2015.113
Chapter
N-Jason: Run-Time Norm Compliance in AgentSpeak(L)Engineering Multi-Agent Systems10.1007/978-3-319-14484-9_19
Article
A formal framework for organization- centered multi-agent system specification: A rewriting logic based approachMultiagent and Grid Systems10.3233/MGS-170277
Article
NorJADEInternational Journal of Open Source Software and Processes10.4018/IJOSSP.2019040101

A Programming Language for Normative Multi-Agent Systems

Mehdi Dastani, Nick A.M. Tinnemeier, John-Jules Ch. Meyer

Source Title: Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models

ISBN13: 9781605662565|ISBN10: 1605662569|EISBN13: 9781605662572

DOI: 10.4018/978-1-60566-256-5.ch016

Cite Chapter Cite Chapter

MLA

Dastani, Mehdi, et al. "A Programming Language for Normative Multi-Agent Systems." Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models, edited by Virginia Dignum, IGI Global, 2009, pp. 397-417. https://doi.org/10.4018/978-1-60566-256-5.ch016

APA

Dastani, M., Tinnemeier, N. A., & Meyer, J. C. (2009). A Programming Language for Normative Multi-Agent Systems. In V. Dignum (Ed.), Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models (pp. 397-417). IGI Global. https://doi.org/10.4018/978-1-60566-256-5.ch016

Chicago

Dastani, Mehdi, Nick A.M. Tinnemeier, and John-Jules Ch. Meyer. "A Programming Language for Normative Multi-Agent Systems." In Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models, edited by Virginia Dignum, 397-417. Hershey, PA: IGI Global, 2009. https://doi.org/10.4018/978-1-60566-256-5.ch016

Export Reference

Favorite

View Full Text HTML

View Full Text PDF

Abstract

Multi-agent systems are viewed as consisting of individual agents whose behaviors are regulated by an organizational artifact. This chapter presents a programming language that aims at facilitating the implementation of norm-based organizational artifacts. The programming language is presented in two steps. We first present a programming language that is designed to support the implementation of nonnormative organizational artifacts. These artifacts are specified in terms of non-normative concepts such as the identity of participating agents, the identity of the constituting environments in which individual agents can perform actions, and the agents’ access relation to the environments. The programming language is then modified and extended to support the implementation of norm-based artifacts. Such artifacts are specified in terms of norms being enforced by monitoring, regimenting, and sanctioning mechanisms. The syntax and operational semantics of the programming language are discussed and explained by means of a conference management system example.

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.

Username or email: *

Password: *

Forgot individual login password?

Create individual account

A Programming Language for Normative Multi-Agent Systems

MLA

APA

Chicago

Export Reference

Abstract

Request Access