Abstracting soft constraints: An improvement

Sanjiang Li,Mingsheng Ying

2004-01-01

Abstract:Recently, Bistarelli, Codognet and Rossi (Artificial Intelligence 139(2002) 175-211) propose an abstraction scheme for soft constraint problems. They show that processing the abstracted version of a soft constraint problem can help us in finding good approximations of the optimal solutions, or also in obtaining information that can make the subsequent search for the best solution easier. They also show how the abstraction scheme can be used to import constraint propagation algorithms from the abstract scenario to the concrete one. Their ideas are very interesting and may be very useful. These claims, however, still need careful studies for the following reasons: (1) The important concept of order-preserving abstraction given there is equivalent to say the abstraction is an order isomorphism which preserves finite sums as well as finite products, thus it is too restrictive; (2) The proof of several main results (Theorems 27, 31, 34, 37) given there are inadequate because they only consider a special case; (3) Theorem 29 of that paper is only conditionally true. In this paper, we shall give a thorough check of the claims given there and some correction and improvements of these claims are obtained.