Location of Repository

An Exercise with Dynamic Knowledge Representation

By José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski and Paulo Quaresma

Abstract

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 ..

Year: 2007
OAI identifier: oai:CiteSeerX.psu:10.1.1.32.6289
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://centria.di.fct.unl.pt/~... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.