A new approach to verify rule-based systems using petri nets

2003 ◽  
Vol 45 (10) ◽  
pp. 663-669 ◽  
Author(s):  
Xudong He ◽  
William C Chu ◽  
Hongji Yang
Author(s):  
Nicole Vincent ◽  
Christiane Dujet

In this paper, in view of some paradoxical situations encountered in applying the Modus Ponens to Inference procedures in rule-based systems, we propose a new approach to perform the generalized Modus Ponens of Zadeh. Specifically, truth evaluations of conditional fuzzy information will be defined and used in Modus Ponens, opening the way to a unified framework for the aggregation of rules.


Author(s):  
Grzegorz Nalepa ◽  
Antoni Ligęza

The HeKatE methodology. Hybrid engineering of intelligent systemsThis paper describes a new approach, the HeKatE methodology, to the design and development of complex rule-based systems for control and decision support. The main paradigm for rule representation, namely, eXtended Tabular Trees (XTT), ensures high density and transparency of visual knowledge representation. Contrary to traditional, flat rule-based systems, the XTT approach is focused on groups of similar rules rather than on single rules. Such groups form decision tables which are connected into a network for inference. Efficient inference is assured as only the rules necessary for achieving the goal, identified by the context of inference and partial order among tables, are fired. In the paper a new version of the language—XTT22—is presented. It is based on ALSV(FD) logic, also described in the paper. Another distinctive feature of the presented approach is a top-down design methodology based on successive refinement of the project. It starts with Attribute Relationship Diagram (ARD) development. Such a diagram represents relationships between system variables. Based on the ARD scheme, XTT tables and links between them are generated. The tables are filled with expert-provided constraints on values of the attributes. The code for rule representation is generated in a humanreadable representation called HMR and interpreted with a provided inference engine called HeaRT. A set of software tools supporting the visual design and development stages is described in brief.


Sign in / Sign up

Export Citation Format

Share Document