Towards an institutional environment using norms for contract performance

• Autor(es): Henrique Daniel de Avelar Lopes Cardoso ; Eugénio da Costa Oliveira
• Data: 2005
• Identificador Persistente: http://hdl.handle.net/10216/16102
• Origem: Repositório Aberto da Universidade do Porto
• Assunto(s): Ciências tecnológicas; Engenharia; Engenharia de computadores
• Tipo de Documento: Documento de conferência
• Idioma: Inglês

Descrição

A strong research emphasis is being given towards regulating interoperable multi-agent environments through norms and institutions. We are concerned with environments in which agents form together virtual organizations leading to cooperation agreements that can be enforced. An electronic institution provides a coordination framework facilitating automatic contract establishment and providing an enforceable normative environment. We introduce the notion of contextualized norms within our institutional framework, and develop on a model of institutional reality, taking into account institutional roles and agents’ statements, with the aim of providing a contract monitoring service. Our proposal describes how to use norms to formalize cooperation agreements and operational contracts, and how to monitor and detect contract violations. A strong research emphasis is being given towards regulating interoperable multi-agent environments through norms and institutions. We are concerned with environments in which agents form together virtual organizations leading to cooperation agreements that can be enforced. An electronic institution provides a coordination framework facilitating automatic contract establishment and providing an enforceable normative environment. We introduce the notion of contextualized norms within our institutional framework, and develop on a model of institutional reality, taking into account institutional roles and agents’ statements, with the aim of providing a contract monitoring service. Our proposal describes how to use norms to formalize cooperation agreements and operational contracts, and how to monitor and detect contract violations.