Evolving Knowledge Bases

Conventional logic programming, which represents static knowledge, is not much help when dealing with dynamic knowledge bases in which not only the set of facts (the extensional part) but also the set of rules (the intensional part) changes dynamically says Leite (information, U. Nova de Lisboa, Portugal). Therefore, he introduces dynamic logic programing, which characterizes knowledge given by a sequence of logic programs, each representing a state of the world. Then he extends that to a multi-dimensional version to deal with modules that can be organized according to an acyclic digraph. Annotation 穢2004 Book News, Inc., Portland, OR (booknews.com)