๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Updating knowledge bases

โœ Scribed by A. Guessoum; J. W. Lloyd


Book ID
112976874
Publisher
Springer
Year
1990
Tongue
English
Weight
847 KB
Volume
8
Category
Article
ISSN
0288-3635

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Updating hypothetical data bases
โœ Rakesh Agrawal; David J. Dewitt ๐Ÿ“‚ Article ๐Ÿ“… 1983 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 151 KB
Dynamic updates of non-monotonic knowled
โœ J.J. Alferes; J.A. Leite; L.M. Pereira; H. Przymusinska; T.C. Przymusinski ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 215 KB

In this paper we investigate updates of knowledge bases represented by logic programs. In order to represent negative information, we use generalized logic programs which allow default negation not only in rule bodies but also in their heads. We start by introducing the notion of an update P รˆ U of