Evolving Knowledge Bases: Specification and Semantics: v. 81 (Frontiers in Artificial Intelligence and Applications) - Hardcover

Hardcover

ISBN 10: 158603278X ISBN 13: 9781586032784

Publisher: IOS Press,US, 2006

Synopsis

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 behavior. 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 both the external updates as well as the knowledge base's internal behaviour and its updates.

About this title

From the Inside Flap

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.

Edition details

• Publisher: IOS Press,US
• Publication date: 2006
• Language: English
• ISBN 10: 158603278X
• ISBN 13: 9781586032784
• Binding: Hardcover
• Number of pages: 328
• Editor: Leite Joćo Alexandre