Evolving Knowledge Bases: Specification and Semantics: v. 81 - Rilegato

Leite, Joao Alexandre

9781586032784: Evolving Knowledge Bases: Specification and Semantics: v. 81

Rilegato

ISBN 10: 158603278X ISBN 13: 9781586032784

Casa editrice: Ios Pr Inc, 2006

Vedi tutte le copie di questa edizione con ISBN

1 Usato

Da: EUR 41,96

0 Nuovo

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)

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Dalla quarta di copertina

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.