Artificial Intelligence Research Institute (IIIA-CSIC) Overview Problem Definition Aspired Goals CHARMS Implementation Plan Electronic Institutions Electronic Institutions Automated UIs E.G. Interdisciplines Conclusion CHARMS: A Charter Management System Automating the Integration of Electronic Institutions and Humans Ismel Brito, Nardine Osman, Jordi Sabater-Mir, Carles Sierra Artificial Intelligence Research Institute (IIIA-CSIC) 8 th European Workshop on Multi-Agent Systems, Paris, 16–17 December 2010
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Artificial IntelligenceResearch Institute
(IIIA-CSIC)
Overview
Problem Definition
Aspired Goals
CHARMS
Implementation Plan
Electronic Institutions
Electronic Institutions
Automated UIs
E.G. Interdisciplines
Conclusion
CHARMS: A Charter Management System
Automating the Integration of ElectronicInstitutions and Humans
Ismel Brito, Nardine Osman, Jordi Sabater-Mir,Carles Sierra
Artificial Intelligence Research Institute (IIIA-CSIC)
8th European Workshop on Multi-Agent Systems,Paris, 16–17 December 2010
Artificial IntelligenceResearch Institute
(IIIA-CSIC)
Overview
Problem Definition
Aspired Goals
CHARMS
Implementation Plan
Electronic Institutions
Electronic Institutions
Automated UIs
E.G. Interdisciplines
Conclusion
Problem Definition
What is a charter?A charter is essentially a convention, or a contract,agreed upon by a set of participants, that sets therules of the interaction.
What is a charter management system?A system than allows the specification, execution,and maintenance of charters.
CHARMS: A Charter Management System 2 / 19
Artificial IntelligenceResearch Institute
(IIIA-CSIC)
Overview
Problem Definition
Aspired Goals
CHARMS
Implementation Plan
Electronic Institutions
Electronic Institutions
Automated UIs
E.G. Interdisciplines
Conclusion
Problem Definition
What is a charter?A charter is essentially a convention, or a contract,agreed upon by a set of participants, that sets therules of the interaction.
What is a charter management system?A system than allows the specification, execution,and maintenance of charters.
CHARMS: A Charter Management System 2 / 19
Artificial IntelligenceResearch Institute
(IIIA-CSIC)
Overview
Problem Definition
Aspired Goals
CHARMS
Implementation Plan
Electronic Institutions
Electronic Institutions
Automated UIs
E.G. Interdisciplines
Conclusion
Problem Definition
Current management systems:e.g. conference management systems (ConfMaster/EasyChair)
HARDCODED
ManagementSystem
CharterSpecification User
Interface
CharterExecution
CHARMS: A Charter Management System 3 / 19
Artificial IntelligenceResearch Institute
(IIIA-CSIC)
Overview
Problem Definition
Aspired Goals
CHARMS
Implementation Plan
Electronic Institutions
Electronic Institutions
Automated UIs
E.G. Interdisciplines
Conclusion
Problem Definition
Current management systems:e.g. conference management systems (ConfMaster/EasyChair)
HARDCODED
ManagementSystem
CharterSpecification User
Interface
CharterExecution
CHARMS: A Charter Management System 3 / 19
Artificial IntelligenceResearch Institute
(IIIA-CSIC)
Overview
Problem Definition
Aspired Goals
CHARMS
Implementation Plan
Electronic Institutions
Electronic Institutions
Automated UIs
E.G. Interdisciplines
Conclusion
Problem Definition
Current management systems:e.g. conference management systems (ConfMaster/EasyChair)
ManagementSystem
CharterSpecification User
Interface
HARDCODED
CharterExecution
CHARMS: A Charter Management System 3 / 19
Artificial IntelligenceResearch Institute
(IIIA-CSIC)
Overview
Problem Definition
Aspired Goals
CHARMS
Implementation Plan
Electronic Institutions
Electronic Institutions
Automated UIs
E.G. Interdisciplines
Conclusion
Problem Definition
Stages of charter management:
¶ Charter Specification
· User Interface
¸ Charter Evolution
CHARMS: A Charter Management System 4 / 19
Artificial IntelligenceResearch Institute
(IIIA-CSIC)
Overview
Problem Definition
Aspired Goals
CHARMS
Implementation Plan
Electronic Institutions
Electronic Institutions
Automated UIs
E.G. Interdisciplines
Conclusion
Problem Definition
Stages of charter management:
¶ Charter Specification
· User Interface
¸ Charter Evolution — repeating ¶ and ·
CHARMS: A Charter Management System 4 / 19
Artificial IntelligenceResearch Institute
(IIIA-CSIC)
Overview
Problem Definition
Aspired Goals
CHARMS
Implementation Plan
Electronic Institutions
Electronic Institutions
Automated UIs
E.G. Interdisciplines
Conclusion
Problem Definition
Goal of CHARMS:
¶ Charter Specification
G user friendly specificationG automated execution
· User Interface
G automated generation
¸ Charter Evolution
CHARMS: A Charter Management System 5 / 19
Artificial IntelligenceResearch Institute
(IIIA-CSIC)
Overview
Problem Definition
Aspired Goals
CHARMS
Implementation Plan
Electronic Institutions
Electronic Institutions
Automated UIs
E.G. Interdisciplines
Conclusion
CHARMS: a Charter Management System
Implementation choices:
¶ Charter Specification
G user friendly specificationG automated execution
· User Interface
G automated generation
¸ Charter Evolution
CHARMS: A Charter Management System 6 / 19
Artificial IntelligenceResearch Institute
(IIIA-CSIC)
Overview
Problem Definition
Aspired Goals
CHARMS
Implementation Plan
Electronic Institutions
Electronic Institutions
Automated UIs
E.G. Interdisciplines
Conclusion
CHARMS: a Charter Management System
Implementation choices:
¶ Charter Specification: Electronic Institutions (EI)
G user friendly specificationG automated execution
· User Interface
G automated generation
¸ Charter Evolution
CHARMS: A Charter Management System 6 / 19
Artificial IntelligenceResearch Institute
(IIIA-CSIC)
Overview
Problem Definition
Aspired Goals
CHARMS
Implementation Plan
Electronic Institutions
Electronic Institutions
Automated UIs
E.G. Interdisciplines
Conclusion
CHARMS: a Charter Management System
Implementation choices:
¶ Charter Specification: Electronic Institutions (EI)
G user friendly specificationG automated execution
· User Interface: enrich EI specification with UI info
G automated generation
¸ Charter Evolution
CHARMS: A Charter Management System 6 / 19
Artificial IntelligenceResearch Institute
(IIIA-CSIC)
Overview
Problem Definition
Aspired Goals
CHARMS
Implementation Plan
Electronic Institutions
Electronic Institutions
Automated UIs
E.G. Interdisciplines
Conclusion
Why choose Electronic Institutions?
Motivation for Electronic Institutions
There are situations where individuals interact inways that involve: commitment, delegation,repetition, liability and risk.
These situations involve participants that are:autonomous, heterogeneous, independent,not-benevolent, not-reliable, liable.
These situations are not uncommon: e.g. Markets,medical services, armies and many more.
CHARMS: A Charter Management System 7 / 19
Artificial IntelligenceResearch Institute
(IIIA-CSIC)
Overview
Problem Definition
Aspired Goals
CHARMS
Implementation Plan
Electronic Institutions
Electronic Institutions
Automated UIs
E.G. Interdisciplines
Conclusion
Why choose Electronic Institutions?
Motivation for Electronic Institutions
It is usual to resort to trusted third parties whose aimis to make those interactions effective by establishingand enforcing conventions that standardizeinteractions, allocate risks, establish safeguards andguarantee that certain intended actions actually takeplace and unwanted situations are prevented.
These functions have been the basis for thedevelopment of many traditional institutions.
Electronic Institutions are designed for agentinteractions in distributed open systems.
CHARMS: A Charter Management System 8 / 19
Artificial IntelligenceResearch Institute
(IIIA-CSIC)
Overview
Problem Definition
Aspired Goals
CHARMS
Implementation Plan
Electronic Institutions
Electronic Institutions
Automated UIs
E.G. Interdisciplines
Conclusion
Why choose Electronic Institutions?
Electronic institutions development can be dividedinto two basic steps:
F Formal specification of institutional rules.
F Execution via an infrastructure that mediatesagents’ interactions while enforcing theinstitutional rules.
The formal specification focuses on macro-level(rules) aspects of agents, not in their micro-level(players) aspects.
The infrastructure is required to be of generalpurpose (can interpret any formal specification).
CHARMS: A Charter Management System 9 / 19
Artificial IntelligenceResearch Institute
(IIIA-CSIC)
Overview
Problem Definition
Aspired Goals
CHARMS
Implementation Plan
Electronic Institutions
Electronic Institutions
Automated UIs
E.G. Interdisciplines
Conclusion
Electronic Institutions
CHARMS: A Charter Management System 10 / 19
Artificial IntelligenceResearch Institute
(IIIA-CSIC)
Overview
Problem Definition
Aspired Goals
CHARMS
Implementation Plan
Electronic Institutions
Electronic Institutions
Automated UIs
E.G. Interdisciplines
Conclusion
Electronic Institutions
The EIDE Suite
CHARMS: A Charter Management System 11 / 19
Artificial IntelligenceResearch Institute
(IIIA-CSIC)
Overview
Problem Definition
Aspired Goals
CHARMS
Implementation Plan
Electronic Institutions
Electronic Institutions
Automated UIs
E.G. Interdisciplines
Conclusion
CHARMS: a Charter Management System
Electronic Institutions in CHARMS:
CHARMS: A Charter Management System 12 / 19
Artificial IntelligenceResearch Institute
(IIIA-CSIC)
Overview
Problem Definition
Aspired Goals
CHARMS
Implementation Plan
Electronic Institutions
Electronic Institutions
Automated UIs
E.G. Interdisciplines
Conclusion
CHARMS: a Charter Management System
Enriching EI specification with UI info:
CharterSpecification
VisualComponentsMapping
Widgets DBXML
mappingsEISpecification
CHARMS: A Charter Management System 13 / 19
Artificial IntelligenceResearch Institute
(IIIA-CSIC)
Overview
Problem Definition
Aspired Goals
CHARMS
Implementation Plan
Electronic Institutions
Electronic Institutions
Automated UIs
E.G. Interdisciplines
Conclusion
CHARMS: an Example
Interdisciplines’ specification:
CHARMS: A Charter Management System 14 / 19
Artificial IntelligenceResearch Institute
(IIIA-CSIC)
Overview
Problem Definition
Aspired Goals
CHARMS
Implementation Plan
Electronic Institutions
Electronic Institutions
Automated UIs
E.G. Interdisciplines
Conclusion
CHARMS: an Example
Interdisciplines’ specification:
CHARMS: A Charter Management System 15 / 19
Artificial IntelligenceResearch Institute
(IIIA-CSIC)
Overview
Problem Definition
Aspired Goals
CHARMS
Implementation Plan
Electronic Institutions
Electronic Institutions
Automated UIs
E.G. Interdisciplines
Conclusion
CHARMS: an Example
The basic GUI:
CHARMS: A Charter Management System 16 / 19
Artificial IntelligenceResearch Institute
(IIIA-CSIC)
Overview
Problem Definition
Aspired Goals
CHARMS
Implementation Plan
Electronic Institutions
Electronic Institutions
Automated UIs
E.G. Interdisciplines
Conclusion
CHARMS: an Example
Automated generation/modification of the GUI:
CHARMS: A Charter Management System 17 / 19
Artificial IntelligenceResearch Institute
(IIIA-CSIC)
Overview
Problem Definition
Aspired Goals
CHARMS
Implementation Plan
Electronic Institutions
Electronic Institutions
Automated UIs
E.G. Interdisciplines
Conclusion
CHARMS: an Example
Automated generation/modification of the GUI:
CHARMS: A Charter Management System 17 / 19
Artificial IntelligenceResearch Institute
(IIIA-CSIC)
Overview
Problem Definition
Aspired Goals
CHARMS
Implementation Plan
Electronic Institutions
Electronic Institutions
Automated UIs
E.G. Interdisciplines
Conclusion
CHARMS: an Example
Automated generation/modification of the GUI:
CHARMS: A Charter Management System 17 / 19
Artificial IntelligenceResearch Institute
(IIIA-CSIC)
Overview
Problem Definition
Aspired Goals
CHARMS
Implementation Plan
Electronic Institutions
Electronic Institutions
Automated UIs
E.G. Interdisciplines
Conclusion
Conclusion
CHARMS is a management system than allows thespecification, execution, and maintenance ofcharters.
It is based on Electronic Institutions and the EIDEsuite for the ease of specification and theautomated execution.
It allows the automated generation andmaintenance of the user interface.