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 :
بازگشت