Skip to main content

A distributed treatment of exceptions in multiagent contracts: Preliminary Report

Kafalı, Özgur, Yolum, Pinar (2011) A distributed treatment of exceptions in multiagent contracts: Preliminary Report. In: Proceedings of the 9th International Workshop on Declarative Agent Languages and Technologies (DALT). . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided. (Contact us about this Publication)

Abstract

Commitments are key to contract-based multiagent systems. When

agents enter a contract, they project the outcome of the contract based on its

content as well as their past experiences and the current world state. We model

an agent’s projections as individual world states, e.g., a satisfactory state. If the

contract is indeed executed to satisfy these projections, then the agent is said

to complete the contract successfully. If not, we expect the agent to take proper

action. This paper formalizes the notion of projection and its relations, to contract

execution. Accordingly, we propose a satisfiability relation to check if an agent’s

state complies with its projections. We then relate satisfiability to the occurrence

of exceptions.

Item Type: Conference or workshop item (Proceeding)
Subjects: Q Science > Q Science (General) > Q335 Artificial intelligence
Divisions: Faculties > Sciences > School of Computing
Depositing User: Ozgur Kafali
Date Deposited: 04 Feb 2018 22:04 UTC
Last Modified: 24 Jul 2019 10:32 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/65900 (The current URI for this page, for reference purposes)
  • Depositors only (login required):