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.

en_US

dc.relation.ispartof

IJCAI International Joint Conference on Artificial Intelligence

en_US

dc.title

Construction of system of spheres-based transitively relational partial meet multiple contractions: An impossibility result

en_US

dc.type

Conference Proceeding

utslib.description.version

Published

en_US

utslib.for

0801 Artificial Intelligence and Image Processing

en_US

pubs.embargo.period

Not known

en_US

pubs.organisational-group

/University of Technology Sydney

pubs.organisational-group

/University of Technology Sydney/Faculty of Engineering and Information Technology

pubs.organisational-group

/University of Technology Sydney/Faculty of Engineering and Information Technology/School of Software

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.