Skip to main content
Article thumbnail
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.