DocumentCode
3567504
Title
How to Complete Regulations in Multi-agent Systems
Author
Garion, Christophe ; Roussel, St?©phanie ; Cholvy, Laurence
Volume
2
fYear
2009
Firstpage
285
Lastpage
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.
Keywords
Conferences; Formal languages; Intelligent agent; Logic; Multiagent systems; Multilevel systems; Permission; completeness; consistency; modal logic; regulations;
fLanguage
English
Publisher
iet
Conference_Titel
Web Intelligence and Intelligent Agent Technologies, 2009. WI-IAT '09. IEEE/WIC/ACM International Joint Conferences on
Print_ISBN
978-0-7695-3801-3
Electronic_ISBN
978-1-4244-5331-3
Type
conf
DOI
10.1109/WI-IAT.2009.165
Filename
5284827
Link To Document