Please use this identifier to cite or link to this item:
https://hdl.handle.net/10216/74458
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.creator | Henrique Lopes Cardoso | |
dc.creator | Eugénio Oliveira | |
dc.date.accessioned | 2019-02-07T20:37:52Z | - |
dc.date.available | 2019-02-07T20:37:52Z | - |
dc.date.issued | 2009 | |
dc.identifier.other | sigarra:88693 | |
dc.identifier.uri | https://repositorio-aberto.up.pt/handle/10216/74458 | - |
dc.description.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. | |
dc.language.iso | eng | |
dc.relation.ispartof | Coordination, Organizations, Institutions, and Norms in Agent Systems IV | |
dc.rights | openAccess | |
dc.rights.uri | https://creativecommons.org/licenses/by-nc/4.0/ | |
dc.subject | Inteligência artificial | |
dc.subject | Artificial intelligence | |
dc.title | A context-based institutional normative environment | |
dc.type | Artigo em Livro de Atas de Conferência Internacional | |
dc.contributor.uporto | Faculdade de Engenharia | |
dc.identifier.doi | 10.1007/978-3-642-00443-8_10 | |
dc.identifier.authenticus | P-007-Q8M | |
Appears in Collections: | FEUP - Artigo em Livro de Atas de Conferência Internacional |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
88693.pdf | 188.35 kB | Adobe PDF | View/Open | |
88693.1.pdf | 184.48 kB | Adobe PDF | View/Open |
This item is licensed under a Creative Commons License