Can I read Stratification and Knowledge Base Management on EtoBox?
Stratification and Knowledge Base Management by Catherine Lassez; Ken McAloon; Graeme Port is a Computer Science article available to read on EtoBox.
What is Stratification and Knowledge Base Management about?
We address the problem of interactively constructing models of a knowledge base expressed in logic. User inputs in the form of assertions are added to the initial knowledge base and some specific logical consequences of the assertions are used to provide guidance for further interaction. We show that the concept of stratification applied to disjunctive knowledge bases provides a framework for maintaining the computational complexity of the interaction to a manageable level. We discuss the dynamics of the stratification and the related complexity issues. Several algorithms that form the core of an interactive knowledge base maintainance system are presented including a linear time stratification algorithm based on a graph theoretic characterization of the concept of stratifiability.
Who reads Stratification and Knowledge Base Management?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Catherine Lassez; Ken McAloon; Graeme Port
- Publisher
- Elsevier Science; Elsevier ; Elsevier Inc.; Elsevier BV (ISSN 0747-7171)
- Published
- 1989
- Language
- EN
- Field
- Computer Science (Physical Sciences)