Knowledge Engineering: Unifying Knowlegde Base and Database Design
Knowledge Engineering: Unifying Knowlegde Base and Database Design
Postulates for Conditional Belief Revision
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Compiling Knowledge into Decomposable Negation Normal Form
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Applying Reliability Engineering to Expert Systems
Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference
Lattices of Knowledge in Intelligent Systems Validation
Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference
Generalizing Knowledge Representation Rules for Acquiring and Validating Uncertain Knowledge
Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference
Why Use a Unified Knowledge Representation?
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
Knowledge Maintenance of Case-Based Reasoning Systems: The Siam Methodology (Dissertations in Artificial Intelligence)
The ramification problem in temporal databases: a solution implemented in SQL
Applied Intelligence
Hi-index | 0.00 |
Knowledge base maintenance is managed by constructing a formal model. In this model the representation of each chunk of knowledge encapsulates the knowledge in a set of declarative rules, each of which in turn encapsulates the knowledge in a set of imperative programs. In this model an "item" is the unit of knowledge representation. Items are at a higher level of abstraction than rules. Understanding what has to be done to maintain the integrity of an item leads to a specification of the modifications to the set of programs that implement it. An analysis of the maintenance of the formal model is achieved by introducing maintenance links. Analysis of the maintenance links shows that they are of four different types. The density of the maintenance links is reduced by transforming that set into an equivalent set. In this way the knowledge base maintenance problem is analysed and simplified. A side benefit of knowledge items as a formalism is that they contain knowledge constraints that protect the knowledge from unforeseen modification.