First-order logic and automated theorem proving
First-order logic and automated theorem proving
A computational theory of normative positions
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Ensuring the Success of Contract Formation in Agent-Mediated Electronic Commerce
Electronic Commerce Research - Special issue on agents in electronic commerce
Autonomous Agents and Multi-Agent Systems
Artificial Intelligence: A Modern Approach
Artificial Intelligence: A Modern Approach
Implementing norms in electronic institutions
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Modeling conversation policies using permissions and obligations
Autonomous Agents and Multi-Agent Systems
Electronic contracting in aircraft aftercare: a case study
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track
Constraint rule-based programming of norms for electronic institutions
Autonomous Agents and Multi-Agent Systems
Normative conflict resolution in multi-agent systems
Autonomous Agents and Multi-Agent Systems
A game theoretic approach to contracts in multiagent systems
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Temporal accommodation of legal argumentation
Proceedings of the 13th International Conference on Artificial Intelligence and Law
Hi-index | 0.00 |
Autonomous and heterogeneous software agents must agree on how they will operate together, with a view to achieving individual and global goals. Explicit, machine-processable representations of the terms for joint work among agents --aptly named contracts --are thus required. We explore a rule-based formalisation for contracts: rules capture conditional norms describing situations arising during the enactment of a multi-agent system, and norms resulting 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 present 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.