Dynamic knowledge representation and its applications

José Júlio Alves Alferes, L.M. Pereira, H Przymusinska, Teodor C. Przymusinski, Paulo Quaresma

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

3 Citations (Scopus)
15 Downloads (Pure)


This paper has two main objectives. One 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 paradigm and the language LUPS to several broad knowledge representation domains, for each of which we provide an illustrative example. Our second objective is to extend our approach to allow proper handling of conflicting updates. So far, our research on knowledge updates was restricted to a two-valued semantics, which, in the presence of conflicting updates, leads to an inconsistent update, even though the updated knowledge base does not necessarily contain any truly contradictory information. By extending our approach to the three-valued semantics we gain the added expressiveness allowing us to express undefined or noncommittal updates.
Original languageEnglish
Title of host publicationLecture Notes in Computer Science
Number of pages10
Publication statusPublished - 1 Jan 2000
EventArtificial Intelligence: Methodology, Systems, and Applications -
Duration: 1 Jan 2000 → …


ConferenceArtificial Intelligence: Methodology, Systems, and Applications
Period1/01/00 → …


  • Dynamic knowledge representation
  • Theory of actions
  • Updates of knowledge bases
  • Generalized logic programs
  • Computational linguistics
  • Semantics
  • Artificial intelligence
  • Logic programming
  • Knowledge based systems
  • ITS applications
  • Knowledge basis
  • Three-valued


Dive into the research topics of 'Dynamic knowledge representation and its applications'. Together they form a unique fingerprint.

Cite this