Evolving Knowledge Bases

Specifications and Semantics

Share
Author
Leite, J.A.
Pub. date
January 2003
Pages
328
Binding
hardcover
Volume
81 of Frontiers in Artificial Intelligence and Applications
ISBN print
978-1-58603-278-4
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science
€73 / US$106 Excl. VAT
Order Evolving Knowledge Bases ISBN @ €73.00

In this thesis, we incrementally specify, semantically characterize, and illustrate with examples, the concepts and tools necessary to the development of Evolving Knowledge Bases (EKB). An EKB is a knowledge base which can not only be externally updated, but is also capable of self evolution by means of its internally specified behaviour. To this purpose, we first define the notion of Dynamic Logic Programming, based on the concept of Logic Program Updates, which characterizes knowledge given by a sequence of logic programs, each representing a state of the world. Then, we set forth a language capable of uniformly specify the external updates as well as the knowledge base’s internal behaviour and its updates.