Reference Hub

This research has been cited in:

Chapter
Combining Input/Output Logic and Reification for Representing Real-World ObligationsNew Frontiers in Artificial Intelligence10.1007/978-3-319-50953-2_16
Chapter
Modeling Obligations with Event-CalculusRules on the Web. From Theory to Applications10.1007/978-3-319-09870-8_22
Chapter
Specifying and Enforcing Norms in Artificial Institutions: A Retrospective ReviewDeclarative Agent Languages and Technologies IX10.1007/978-3-642-29113-5_12
Chapter
An Infrastructure for the Design and Development of Open Interaction SystemsEngineering Multi-Agent Systems10.1007/978-3-642-45343-4_12
Chapter
Specifying Open Agent Systems: A SurveyEngineering Societies in the Agents World IX10.1007/978-3-642-02562-4_2
Chapter
Using OWL 2 DL for Expressing ACL Content and SemanticsMulti-Agent Systems10.1007/978-3-642-34799-3_7
Chapter
Norm Representation and Reasoning: A Formalization in Event CalculusPRIMA 2013: Principles and Practice of Multi-Agent Systems10.1007/978-3-642-44927-7_2
Chapter
Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web TechnologyDeclarative Agent Languages and Technologies VII10.1007/978-3-642-11355-0_7
Chapter
Dealing with Incomplete Normative StatesCoordination, Organizations, Institutions and Norms in Agent Systems V10.1007/978-3-642-14962-7_20
Article
Semantic technologies for open interaction systemsArtificial Intelligence Review10.1007/s10462-012-9390-7
Chapter
Detection of Declarative Process Constraints in LTL FormulasEnterprise and Organizational Modeling and Simulation10.1007/978-3-030-35646-0_10
Article
The design of intelligent socio-technical systemsArtificial Intelligence Review10.1007/s10462-012-9387-2
Chapter
Utilizing Permission Norms in BDI Practical Normative ReasoningCoordination, Organizations, Institutions, and Norms in Agent Systems X10.1007/978-3-319-25420-3_1
Article
Representing and monitoring social commitments using the event calculusAutonomous Agents and Multi-Agent Systems10.1007/s10458-012-9202-0
Chapter
Specifying and Monitoring Obligations in Open Multiagent Systems Using Semantic Web TechnologySemantic Agent Systems10.1007/978-3-642-18308-9_2
Chapter
Initial Steps Towards Run-Time Support for Norm-Governed SystemsCoordination, Organizations, Institutions, and Norms in Agent Systems VI10.1007/978-3-642-21268-0_15
Chapter
Semantics in Multi-agent SystemsAgreement Technologies10.1007/978-94-007-5583-3_7
Chapter
Modelling Agent InstitutionsAgreement Technologies10.1007/978-94-007-5583-3_18
Chapter
MANET: A Model for First-Class Electronic InstitutionsCoordination, Organizations, Institutions, and Norms in Agent System VII10.1007/978-3-642-35545-5_5

Specifying Artificial Institutions in the Event Calculus

Nicoletta Fornara, Marco Colombetti

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

Cite Chapter Cite Chapter

MLA

Fornara, Nicoletta, and Marco Colombetti. "Specifying Artificial Institutions in the Event Calculus." Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models, edited by Virginia Dignum, IGI Global, 2009, pp. 335-366. https://doi.org/10.4018/978-1-60566-256-5.ch014

APA

Fornara, N. & Colombetti, M. (2009). Specifying Artificial Institutions in the Event Calculus. In V. Dignum (Ed.), Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models (pp. 335-366). IGI Global. https://doi.org/10.4018/978-1-60566-256-5.ch014

Chicago

Fornara, Nicoletta, and Marco Colombetti. "Specifying Artificial Institutions in the Event Calculus." In Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models, edited by Virginia Dignum, 335-366. Hershey, PA: IGI Global, 2009. https://doi.org/10.4018/978-1-60566-256-5.ch014

Export Reference

Favorite

View Full Text HTML

View Full Text PDF

Abstract

The specification of open interaction systems is widely recognized to be a crucial issue, which involves the problem of finding a standard way of specifying: a communication language for the interacting agents, the entities that constitute the context of the interaction, and rules that regulate interactions. An approach to solve these problems consists in modelling open interaction systems as a set of artificial institutions. In this chapter we address this issue by formally defining, in the Event Calculus, a repertoire of abstract concepts (like commitment, institutional power, role, and norm) that can be used to specify every artificial institution. We then show how, starting from the formal definition of these concepts and of application-dependent concepts, it is possible to obtain a formal specification of a system. By using a suitable tool, it is then possible to simulate and monitor the system’s evolution through automatic deduction.

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

Specifying Artificial Institutions in the Event Calculus

MLA

APA

Chicago

Export Reference

Abstract

Request Access