𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A framework for validation of rule-based systems

✍ Scribed by Knauf, R.; Gonzalez, A.J.; Abel, T.

Book ID
117938032
Publisher
IEEE
Year
2002
Tongue
English
Weight
511 KB
Volume
32
Category
Article
ISSN
1083-4419

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Validating dynamic properties of rule-ba
Validating dynamic properties of rule-based systems
✍ Alun D. Preece; Cliff Grossner; T. Radhakrishnan πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 410 KB

Rule-based systems can be viewed as possessing two sets of properties : static and dynamic . Static properties are those that can be evaluated without executing the system , and dynamic properties can be evaluated only by examining how the system operates at run time . The dynamic properties of a ru

A refinement framework to support valida
A refinement framework to support validation and maintenance of knowledge-based systems
✍ Neli P. Zlatareva πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 86 KB

In this article, we argue that a refinement tool capable of assisting the maintainer of a Knowledge-Based System (KBS) with updating and upgrading of its knowledge base can substantially expand the scope of his activities and prolong the life of the system. We show that refinement tasks involved in