In [ALP + 00] we proposed a comprehensive solution to the problem of knowledge base updates. Given the original knowledge base KB and a set of update rules represented by the updating knowledge base KB 0 , we dened a new updated knowledge base KB = KBKB 0 that constitutes the update of the knowledge base KB by the knowledge base KB 0 : In [APPP99] we introduced a fully declarative, high-level language for knowledge updates called LUPS that describes transitions between consecutive knowledge states and can therefore be viewed as a language for dynamic knowledge representation. The main objective of the present paper is to show that the dynamic knowledge representation paradigm introduced in [ALP + 00] and the associated language LUPS, dened in [APPP99], constitute natural, powerful and expressive tools for representing dynamically changing knowledge. We do so by demonstrating the applicability of the dynamic knowledge representation This work was partially ..
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.