Evolving knowledge bases : specification and semantics
Evolving knowledge bases : specification and semantics
复制标题
不断发展的知识库：规范和语义
DOI：
--
复制
发表时间：
2003
期刊：
影响因子：
--
通讯作者：
João Leite
中科院分区：
文献类型：
--
作者：
João Leite
在这本书中，我们逐步指定，语义特征，并举例说明，概念和工具的发展所需的不断演变的知识库（EKB）。EKB是一个知识库，它不仅可以外部更新，而且还能够通过其内部指定的行为进行自我进化。为了这个目的，我们首先定义了动态逻辑编程的概念，基于逻辑程序更新的概念，它表征了由一系列逻辑程序给出的知识，每个程序代表一个世界的状态。然后，我们提出了一种语言，能够统一指定的外部更新以及知识库的内部行为和更新。
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.