Evolving knowledge bases: specification and semantics

Agentlink Clearinghouse is powered by GNU EPrints developed by the School of Electronics and Computer Science of the University of Southampton.
Type: Book

Leite, J. A. (2003) Evolving knowledge bases: specification and semantics. Frontiers in Artificial Intelligence and Applications, 81. IOS Press. ISBN 1 58603 278 X

Full text not available from this archive.


In this book, 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.

Deposited by João Leite on 01 March 2006

Archive Staff Only: edit this record


AgentLink is the European Commission's IST-funded Coordination Action for Agent-Based Computing
and is coordinated by the
University of Liverpool and University of Southampton
If you encounter any problems with these pages please contact web@agentlink.org.