Belief updating from integrity constraints and queries

✍ Scribed by Luc De Raedt; Maurice Bruynooghe

• Publisher: Elsevier Science
• Year: 1992
• Tongue: English
• Weight: 962 KB
• Volume: 53
• Category: Article
• ISSN: 0004-3702
• DOI: 10.1016/0004-3702(92)90075-9

✦ Synopsis

It is argued that the problems of intensional knowledge base updating and incremental concept-learning--when formulated in a logical framework--can be understood as instances of the more general problem of belief updating. This insight allows interesting crossfertilization between both areas. To support this claim, we sketch a simple extension of Shapiro's Model Inference System that solves the belief updating problem within a restricted subset of first order logic. This extension uses integrity constraints and allows for the assertion of non-unit clauses. The former generalizes the use of examples in conceptlearning whereas the latter generalizes the set of revisions considered in knowledge base updating.