{"type":"ScholarlyArticle","title":"Reconfigurability in Reactive Multiagent Systems","authors":[{"name":"Xiaowei Huang","slug":"xiaowei-huang","given":"Xiaowei","family":"Huang","affiliation":""},{"name":"Qingliang Chen","slug":"qingliang-chen","given":"Qingliang","family":"Chen","affiliation":""},{"name":"Jie Meng","slug":"jie-meng","given":"Jie","family":"Meng","affiliation":""},{"name":"Kaile Su","slug":"kaile-su","given":"Kaile","family":"Su","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/2016/52","pdf":"https://ijcai.org/proceedings/2016/0052.pdf","markdown":"https://ijcai.org/proceedings/2016/52.md","bibtex":"https://ijcai.org/proceedings/2016/bibtex/52","volume":{"slug":"2016","title":"Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2016","url":"https://ijcai.org/proceedings/2016/","year":2016,"location":"New York, NY, USA","dates":"9–15 July 2016","editors":"Subbarao Kambhampati","isbn":"978-1-57735-770-4; 978-1-57735-771-1","publisher":"AAAI Press / International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":52,"pages":{"first":315,"last":320},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}