Please use this identifier to cite or link to this item:
Author(s): Henrique Lopes Cardoso
Eugénio Oliveira
Title: A context-based institutional normative environment
Issue Date: 2009
Abstract: We explore the concept of an agent-based Electronic Institution including a normative environment that supports electronic contract formation by providing a contextual normative background. We formalize the normative state using first-order logic and define institutional rules and norms operating on that state. A suitable semantics regarding the use of norms within a hierarchical context structure is given, based on norm activation conflict and defeasibility. Norm activation relies on substitution as in first-order logic. Reasoning about the fulfillment and violation of deadline obligations is formalized using linear temporal logic; implementation with institutional rules is discussed. Examples exploiting the normative environment are given. © Springer-Verlag Berlin Heidelberg 2009.
Subject: Inteligência artificial
Artificial intelligence
Source: Coordination, Organizations, Institutions, and Norms in Agent Systems IV
Document Type: Artigo em Livro de Atas de Conferência Internacional
Rights: openAccess
Appears in Collections:FEUP - Artigo em Livro de Atas de Conferência Internacional

Files in This Item:
File Description SizeFormat 
88693.pdf188.35 kBAdobe PDFThumbnail
88693.1.pdf184.48 kBAdobe PDFThumbnail

This item is licensed under a Creative Commons License Creative Commons