•Let k ¸ 0. The k’th
active domain of A
adomk(A) = adom(A)[{some k constants in A -adom(A)}
adomk(A) = A if |A - adom(A)| · k
•Aadomk = (adomk(A), RA1, …, RAm)
•Say that f is weak domain
independent if
9k. 8A. A ² f iff Aadomk ² f
•
•PROBLEM. IS WEAK DOMAIN INDEPENDENCE DECIDIABLE ? CAN ONE COMPUTE K (OR AN UPPER BOUND) ?