Efficient rule base verification using binary decision diagrams
Efficient rule base verification using binary decision diagrams
As their field of application has evolved and matured, the importance of verifying knowledge-based systems is now widely recognized. Nevertheless, some problems have remained. In this paper, we address the poor scalability to larger systems of the computation methods commonly applied to rule-chain anomaly checking. To tackle this problem, we introduce a novel anomaly checking method based on binary decision diagrams (BDDs), a technique emanating mainly from the hardware design community. In addition, we present empirical evidence of its computational efficiency, especially on rule bases with a deeper inference space.
Mues, Christophe
07438e46-bad6-48ba-8f56-f945bc2ff934
Vanthienen, Jan
6f3d818f-0fce-46fa-966b-160e645caf6d
2004
Mues, Christophe
07438e46-bad6-48ba-8f56-f945bc2ff934
Vanthienen, Jan
6f3d818f-0fce-46fa-966b-160e645caf6d
Mues, Christophe and Vanthienen, Jan
(2004)
Efficient rule base verification using binary decision diagrams.
DEXA 2004: 15h International Conference on Database and Expert Systems Applications, Zaragoza, Spain.
29 Aug - 02 Sep 2004.
Record type:
Conference or Workshop Item
(Paper)
Abstract
As their field of application has evolved and matured, the importance of verifying knowledge-based systems is now widely recognized. Nevertheless, some problems have remained. In this paper, we address the poor scalability to larger systems of the computation methods commonly applied to rule-chain anomaly checking. To tackle this problem, we introduce a novel anomaly checking method based on binary decision diagrams (BDDs), a technique emanating mainly from the hardware design community. In addition, we present empirical evidence of its computational efficiency, especially on rule bases with a deeper inference space.
This record has no associated files available for download.
More information
Published date: 2004
Additional Information:
Knowledge Processing I
Lecture Notes in Computer Science
Publisher: Springer Berlin / Heidelberg
ISSN: 0302-9743
Title: Database and Expert Systems Applications: 15th International Conference, DEXA 2004, Zaragoza, Spain, August 30-September 3, 2004. Proceedings
Editors: Fernando Galindo, Makoto Takizawa, Roland Traunmüller
ISBN: 3-540-22936-1
DOI: 10.1007/b99664
page 445
Venue - Dates:
DEXA 2004: 15h International Conference on Database and Expert Systems Applications, Zaragoza, Spain, 2004-08-29 - 2004-09-02
Identifiers
Local EPrints ID: 36165
URI: http://eprints.soton.ac.uk/id/eprint/36165
PURE UUID: 245ed919-910a-4eb6-96d9-3b1c0698300b
Catalogue record
Date deposited: 24 May 2006
Last modified: 08 Apr 2022 01:38
Export record
Contributors
Author:
Jan Vanthienen
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics
