IRMA-International.org: Creator of Knowledge
Information Resources Management Association
Advancing the Concepts & Practices of Information Resources Management in Modern Organizations

Rules Verification and Validation

Rules Verification and Validation
View Sample PDF
Author(s): Antoni Ligeza (AGH University of Science and Technology, Poland)and Grzegorz Nalepa (AGH University of Science and Technology, Poland)
Copyright: 2009
Pages: 29
Source title: Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches
Source Author(s)/Editor(s): Adrian Giurca (Brandenburg Technology University at Cottbus, Germany), Dragan Gasevic (Athabasca University, Canada)and Kuldar Taveter (University of Melbourne, Australia)
DOI: 10.4018/978-1-60566-402-6.ch012

Purchase

View Rules Verification and Validation on the publisher's website for pricing and purchasing information.

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

Sreerakuvandana Sreerakuvandana, Princy Pappachan, Varsha Arya. © 2024. 24 pages.
Sandfreni, Ritika Bansal. © 2024. 57 pages.
Ankita Manohar Walawalkar, Massoud Moslehpour, Thanaporn Phattanaviroj, Suman Kumar. © 2024. 33 pages.
Akshat Gaurav, Brij B. Gupta, Arcangelo Castiglione. © 2024. 30 pages.
Gerry Firmansyah, Shavi Bansal, Ankita Manohar Walawalkar, Suman Kumar, Sourasis Chattopadhyay. © 2024. 33 pages.
Princy Pappachan, Massoud Moslehpour, Ritika Bansal, Mosiur Rahaman. © 2024. 34 pages.
Akshat Gaurav, Brij B. Gupta, Jinsong Wu, Priyanka Chaurasia. © 2024. 27 pages.
Body Bottom