Efficient rule base verification using binary decision diagrams
Mues, Christophe and Vanthienen, Jan (2004) Efficient rule base verification using binary decision diagrams. In, DEXA 2004: 15h International Conference on Database and Expert Systems Applications, Zaragoza, Spain, 30 Aug - 03 Sep 2004.
Download
Full text not available from this repository.
Description/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.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| 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 |
| Related URLs: | |
| Subjects: | H Social Sciences > HD Industries. Land use. Labor > HD28 Management. Industrial Management |
| Divisions: | University Structure - Pre August 2011 > School of Management |
| Item ID: | 36165 |
| Date Deposited: | 24 May 2006 |
| Last Modified: | 02 Mar 2012 12:06 |
| Contributors: | Mues, Christophe (Author) Vanthienen, Jan (Author) |
| 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 |
| Status: | Published |
| URI: | http://eprints.soton.ac.uk/id/eprint/36165 |
Actions (login required)
 |
View Item |
