Liveness and Fairness Properties in Multi-Agent Systems
Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. Distributed AI. Pages 325-330.
Abstract
Problems of liveness and fairness are considered in multi-agent systems by means of abstract languages. Different approaches to define such properties for the agents and for a multi-agent system as a whole are discussed. It turns out that the properties of a multi-agent system need not correspond to separately definable properties of the agents (e.g. a community of fair agents need not constitute a fair multi-agent system). In general, analysis and verification need the consideration of the whole system, and the agents have to be considered in the context of the system, too. The results are not unique, there are different results for deadlock freedom, liveness and fairness, respectively.
@inproceedings{ijcai1993p46,
title = {Liveness and Fairness Properties in Multi-Agent Systems},
author = {Burkhard, Hans-Dieter},
booktitle = {Proceedings of the Thirteenth International Joint Conference on
Artificial Intelligence, {IJCAI-93}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Ruzena Bajcsy},
pages = {325--330},
year = {1993},
note = {Distributed AI},
url = {https://ijcai.org/proceedings/1993/46},
}
TY - CPAPER TI - Liveness and Fairness Properties in Multi-Agent Systems AU - Burkhard, Hans-Dieter T2 - Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93 PB - International Joint Conferences on Artificial Intelligence PY - 1993 SP - 325 EP - 330 UR - https://ijcai.org/proceedings/1993/46 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
