Construction of system of spheres-based transitively relational partial meet multiple contractions: An impossibility result
- Publication Type:
- Conference Proceeding
- IJCAI International Joint Conference on Artificial Intelligence, 2017, pp. 5045 - 5049
- Issue Date:
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 spheresbased constructions of multiple contractions which generate (only) transitively relational partial meet multiple contractions.
Please use this identifier to cite or link to this item: