The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Rules Verification and Validation
Abstract
In this chapter an introduction to verification of rules is presented. Logical models of rules, knowledge representation languages and inference rules are introduced in brief. Required characteristics of rulebased systems are analyzed and issues of formal verification techniques for rules are presented in details. The aim is to show how the quality of rules can be improved or kept at a relatively high level, even in environments with numerous active rules. This involves verification methods for rules discussing the expressive power issues of different rule representation logical languages. Moreover, verification checks for rules incorporating consistency, redundancy, completeness and minimal form are presented.
Related Content
|
Ruizhe Ma, Azim Ahmadzadeh, Soukaina Filali Boubrahimi, Rafal A Angryk.
© 2019.
19 pages.
|
|
Zhen Hua Liu.
© 2019.
25 pages.
|
|
Lubna Irshad, Zongmin Ma, Li Yan.
© 2019.
25 pages.
|
|
Hao Jiang, Ahmed Bouabdallah.
© 2019.
22 pages.
|
|
Gbéboumé Crédo Charles Adjallah-Kondo, Zongmin Ma.
© 2019.
22 pages.
|
|
Safa Brahmia, Zouhaier Brahmia, Fabio Grandi, Rafik Bouaziz.
© 2019.
20 pages.
|
|
Zhangbing Hu, Li Yan.
© 2019.
20 pages.
|
|
|