Norman, Timothy J

Vasconcelos, Wamberto

English

We explore a rule-based formalisation for contracts: the rules capture conditional norms, that is, they describe situations arising during the enactment of a multi-agent system, and norms that arise from these
situations. However, such rules may establish conflicting norms, that is,
norms which simultaneously prohibit and oblige (or prohibit and permit)
agents to perform particular actions. We propose to use a mechanism to
detect and resolve normative conflicts in a preemptive fashion: these
mechanisms are used to analyse a contract and suggest "amendments"
to the clauses of the contract. These amendments narrow down the scope
of influence of norms and avoid normative conflicts. Agents propose rules
and their amendments, leading to a contract in which no conflicts may
arise

Norman, Timothy J.

Dagstuhl Research Online Publication Server

Contract Formation through Preemptive Normative Conflict Resolution

Research Archive

A Computational Theory of Normative Positions.

A Distributed Architecture for Norm-Aware Agent Societies.

A Game Theoretic Approach to Contracts in Multiagent Systems.

A Role Based Model for the Normative Speci of Organized Collective Agency and Agents Interaction. Autonomous Agents and Multi-Agent Systems,

A Role Based Model for the Normative Specification of Organized Collective Agency and Agents Interaction. Autonomous Agents and Multi-Agent Systems,

A Rule-based Approach to Norm-Oriented Programming of Electronic Institutions.

Constraint Logic Programming: A Survey.

Constraint Rule-Based Programming of Norms for Electronic Institutions.

Electronic Contracting in Aircraft Aftercare: A Case Study.

Electronic Institutions: from Speci to Development.

Electronic Institutions: from Specification to Development.

Ensuring the Success of Contract Formation

First-Order Logic and Automated Theorem Proving.

From Logic Programming to Prolog.

Knowledge Representation. In

Mathematical Theory of Computation.

Modeling Communicative Behavior Using Permissions and Obligations.

Modeling Conversation Policies using Permissions and Obligations.

Normative Con ict Resolution in Multi-Agent Systems.

Normative Conflict Resolution in Multi-Agent Systems.

On Law and Justice.

On the Formal Analysis of Normative Con icts.

On the Formal Analysis of Normative Conflicts.

Resolving Con ict and Inconsistency in Norm-Regulated Virtual Organizations.

Resolving Conflict and Inconsistency in Norm-Regulated Virtual Organizations.

The Art of Prolog: Advanced Programming Techniques.

The Semantics of Constraint Logic Programs.

https://aura.abdn.ac.uk/bitstream/2164/719/1/Norman_Contract_formation_through_preemptive_normative_conflict_resolution.pdf

Contract Formation through Preemptive Normative Conflict Resolution

Abstract

Similar works

Full text

Available Versions

Dagstuhl Research Online Publication Server

Research Archive