Certain kinds of constraints that are really definitions in disguise should be omitted in computing state updates. If they are included problems may arise in the updates by the admission of unwarranted literal change that is directly attributable to these constraints. Because of their ersatz nature, we call them pseudo-constraints, and we demonstrate how they can introduce unnecessary uncertainty into the update problem by considering three update procedures Dalal’s update, the PMA and the PSA. An extra-logical solution to the problem is proposed. Content Area: Reasoning about Action, Knowledge Representation, Belief Revision.
[1]
F. Brown.
The frame problem in artificial intelligence
,
1987
.
[2]
Marianne Winslett,et al.
Reasoning about Action Using a Possible Models Approach
,
1988,
AAAI.
[3]
Mukesh Dalal,et al.
Investigations into a Theory of Knowledge Base Revision
,
1988,
AAAI.
[4]
Hirofumi Katsuno,et al.
On the Difference between Updating a Knowledge Base and Revising It
,
1991,
KR.
[5]
W. Salmon,et al.
Knowledge in Flux
,
1991
.
[6]
Joachim Hertzberg,et al.
How to do Things with Worlds: On Formalizing Actions and Plans
,
1993,
J. Log. Comput..