On the qualification problem and elaboration tolerance
Antonis C. Kakas, Loizos Michael · 2003
In this paper we study the qualification problem in theories of reasoning about actions and change and the link of this prob-lem to properties of representation for expressing such theo-ries. We examine the interaction of the qualification problem with the frame and ramification problems and show how an integrated solution to these problems can be developed where the frame persistence and constraint satisfaction qualify im-plicitly the action effect laws of the theory. We compare the two approaches of implicit and explicit qualification of the ef-fects laws and argue that from the point of view of knowledge representation the former has better properties pertaining to elaboration tolerance.