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 contribution

2 Citations (Scopus)
5 Downloads (Pure)

Abstract

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
Pages1-10
Number of pages10
Volume1904
DOIs
Publication statusPublished - 1 Jan 2000
EventArtificial Intelligence: Methodology, Systems, and Applications -
Duration: 1 Jan 2000 → …

Conference

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

Keywords

  • 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

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

Cite this