How to Complete Regulations in Multi-agent Systems

Authors:
Christophe Garion;Stéphanie Roussel;Laurence Cholvy
Affiliations:
-;-;-
Venue:
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Year:
2009

Citing 3
Cited 0

First-order modal logic

First-order modal logic
Checking regulation consistency by using SOL-resolution

ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
A Modal Logical Framework for Security Policies

ISMIS '97 Proceedings of the 10th International Symposium on Foundations of Intelligent Systems

Quantified Score

Hi-index	0.00

Visualization

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.