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.
445-454
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.
Lecture Notes in Computer Science, 3180 (Jan 2004), .
(doi:10.1007/b99664).
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
Identifiers
Local EPrints ID: 36158
URI: http://eprints.soton.ac.uk/id/eprint/36158
ISSN: 0302-9743
PURE UUID: 4fa3692f-9b67-4f3e-bb37-88d971f8a0a6
Catalogue record
Date deposited: 23 May 2006
Last modified: 16 Mar 2024 03:40
Export record
Altmetrics
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
