Construction of System of Spheres-based Transitively Relational Partial Meet Multiple Contractions: An Impossibility Result (Extended Abstract)

Construction of System of Spheres-based Transitively Relational Partial Meet Multiple Contractions: An Impossibility Result (Extended Abstract)

Maurício D. L. Reis, Eduardo Fermé, Pavlos Peppas

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence

In this paper we show that, contrary to what is the case in what concerns contractions by a single sentence, there is not a system of spheres-based construction of multiple contractions which generates each and every transitively relational partial meet multiple contraction. Furthermore, we propose two system of spheres-based constructions of multiple contractions which generate (only) transitively relational partial meet multiple contractions.
Keywords:
Knowledge Representation, Reasoning, and Logic: Belief Change
Knowledge Representation, Reasoning, and Logic: Reasoning about Knowlege and Belief