Knowledge Base Decomposition to Facilitate Verification

Sumit Sarkar () and Mysore Ramaswamy ()
Additional contact information
Sumit Sarkar: PO Box 830688, MS JO44, School of Management, University of Texas at Dallas, Richardson, Texas 75083
Mysore Ramaswamy: Department of Management and Marketing, Southern University, Baton Rouge, Louisiana 70813

Information Systems Research, 2000, vol. 11, issue 3, 260-283

Abstract: We examine the verification of large knowledge-based systems. When knowledge bases are large, the verification process poses several problems that are usually not significant for small systems. We focus on decompositions that allow verification of such systems to be performed in a modular fashion. We identify a graphical framework, that we call an ordered polytree, for decomposing systems in a manner that enables modular verification. We also determine the nature of information that needs to be available for performing local checks to ensure accurate detection of anomalies. We illustrate the modular verification process using examples, and provide a formal proof of its accuracy. Next, we discuss a meta-verification procedure that enables us to check if decompositions under consideration do indeed satisfy the requirements for an ordered polytree structure. Finally, we show how the modular verification algorithm leads to considerable improvements in the computational effort required for verification as compared to the traditional approach.

Keywords: directed hypergraphs; knowledge base partitioning; knowledge base verification; polytree decomposition; rule-based systems (search for similar items in EconPapers)
Date: 2000
References: View references in EconPapers View complete reference list from CitEc
Citations:

Downloads: (external link)
http://dx.doi.org/10.1287/isre.11.3.260.12207 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:inm:orisre:v:11:y:2000:i:3:p:260-283

Access Statistics for this article

More articles in Information Systems Research from INFORMS Contact information at EDIRC.
Bibliographic data for series maintained by Chris Asher ().