Reconfigurability in Reactive Multiagent Systems
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. Pages 315-320.
Abstract
Reactive agents are suitable for representing physical resources in manufacturing control systems. An important challenge of agent-based manufacturing control systems is to develop formal and structured approaches to support their specification and verification. This paper proposes a logic-based approach, by generalising that of model checking multiagent systems, for the reconfigurability of reactive multiagent systems. Two reconfigurability scenarios are studied, for the resulting system being a monolithic system or an individual module, and their computational complexity results are given.
@inproceedings{ijcai2016p52,
title = {Reconfigurability in Reactive Multiagent Systems},
author = {Huang, Xiaowei and Chen, Qingliang and Meng, Jie and Su, Kaile},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI-16}},
publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
editor = {Subbarao Kambhampati},
pages = {315--320},
year = {2016},
month = {7},
url = {https://ijcai.org/proceedings/2016/52},
}
TY - CPAPER TI - Reconfigurability in Reactive Multiagent Systems AU - Huang, Xiaowei AU - Chen, Qingliang AU - Meng, Jie AU - Su, Kaile T2 - Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16 PB - AAAI Press / International Joint Conferences on Artificial Intelligence PY - 2016 SP - 315 EP - 320 UR - https://ijcai.org/proceedings/2016/52 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
