Logic Program Based Updates
... Access(A, F2 ) ←,
¬Access(x, F1 ) ← M ember(x, G),
Access(x, F2 ) ← M ember(x, G),not ¬Access(x, F2 ),
which has a unique answer set S.
1.2 Contributions of This Paper
From the discussions in section 1.1, we can see that traditional minimal change
criterion is no longer a single issue in logic progr ...