The Community for Technology Leaders
Web Intelligence and Intelligent Agent Technology, IEEE/WIC/ACM International Conference on (2009)
Milan, Italy
Sept. 15, 2009 to Sept. 18, 2009
ISBN: 978-0-7695-3801-3
pp: 285-288
ABSTRACT
In this paper, we deal with regulations that may exist in multiagent systems in order to regulate agent behaviour. More precisely, we discuss two properties of regulations, consistency and completeness. After defining what consistency and completeness mean, we propose a way to consistently complete incomplete regulations. This contribution considers that regulations are expressed in a first order deontic logic. We will focus on particular regulations: information exchange policies.
INDEX TERMS
modal logic, regulations, completeness, consistency
CITATION
Laurence Cholvy, Stéphanie Roussel, Christophe Garion, "How to Complete Regulations in Multi-agent Systems", Web Intelligence and Intelligent Agent Technology, IEEE/WIC/ACM International Conference on, vol. 02, no. , pp. 285-288, 2009, doi:10.1109/WI-IAT.2009.165
103 ms
(Ver 3.3 (11022016))