Reasoning with an Incomplete Information Exchange Policy

Authors:
Laurence Cholvy;Stéphanie Roussel
Affiliations:
ONERA Centre de Toulouse 2 avenue Edouard Belin, Toulouse, France 31055;ONERA Centre de Toulouse 2 avenue Edouard Belin, Toulouse, France 31055 and SUPAERO 10 avenue Edouard Belin, Toulouse, France 31055
Venue:
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Year:
2007

Citing 5
Cited 1

What should a database know?

Journal of Logic Programming
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
Analyzing consistency of security policies

SP '97 Proceedings of the 1997 IEEE Symposium on Security and Privacy
Reasoning about Airport Security Regulations Using the Focal Environment

ISOLA '06 Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

Policy-based inconsistency management in relational databases

International Journal of Approximate Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we deal with information exchange policies that may exist in multi-agent systems in order to regulate exchanges of information between agents. More precisely, we discuss two properties of information exchange policies, that is the consistency and the completeness. After having defined what consistency and completeness mean for such policies, we propose two methods to deal with incomplete policies.