An Exercise with Dynamic Knowledge Representation

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′, we defined a new updated knowledge base KB∗ = KB⊕KB′ that constitutes the update of the knowledge base KB by the knowledge base KB′. 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, defined 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 supported by PRAXIS XXI project MENTAL, and a NATO scholarship while L. M. Pereira was on leave at the Department of Computer Science, University of California, Riverside. We thank João Leite for helpful discussions. 2 APPIA-GULP-PRODE 2000 paradigm and the language LUPS to several broad knowledge representation domains, for each of which we provide an illustrative example. In [APP+99], we presented a preliminary exploration in the application of this paradigm to examples in the domain of action. Here we show the application to other domains, and also add some more insights in its application to the actions domain. All of the examples have been run and tested under our implementation of the LUPS language.