Please use this identifier to cite or link to this item: http://hdl.handle.net/10216/74458
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
Call Number: 88693
URI: http://hdl.handle.net/10216/74458
Source: Coordination, Organizations, Institutions, and Norms in Agent Systems IV
Document Type: Artigo em Livro de Atas de Conferência Internacional
Rights: openAccess
License: https://creativecommons.org/licenses/by-nc/4.0/
Appears in Collections:FEUP - Artigo em Livro de Atas de Conferência Internacional

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


This item is licensed under a Creative Commons License Creative Commons