XTT+ Rule Design Using the ALSV(FD)
نویسندگان
چکیده
This paper presents advances in Set Attributive Logic and its application to develop tabular rule-based systems within the XTT framework. The primary goal is to extend the expressive power of simple attributive languages so that it becomes satisfactory for complex applications, including the business rules support. A formal framework of extended Attributive Logic with Set Values over Finite Domains (ALSV(FD)) is presented and specific inference rules are provided with their corresponding prototype in PROLOG.
منابع مشابه
The HeKatE methodology. Hybrid engineering of intelligent systems
This 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...
متن کاملOn ALSV Rules Formulation and Inference
In this paper knowledge representation and inference issues for rule-based systems are discussed. The paper deals with improving the logical calculus of Set Attributive Logic founding an expressive rule language XTT. Representation extensions are introduced, and practical inference rules provided. The original includes an extended state specification, as well as interpreter design. Examples of ...
متن کاملBusiness Rules Design and Refinement Using the XTT Approach
This paper discusses practical development of business rules (BR) systems. The main conceptual foundations of BR are discussed, and selected tools for BR design and implementation are described. An application of a rule-based systems design tool (Mirella Designer) for BR design is proposed. Business rules visual representation using XTT in Mirella Designer is both transparent and compact. The u...
متن کاملHalVA - Rule Analysis Framework for XTT2 Rules
Quality and reliability issues are important in development and exploration of rule-based systems. In the paper a formalized knowledge representation for rules called XTT2 is considered. It is a rule language based on an expressive attribute logic called ALSV(FD). A custom runtime and veri cation framework for XTT2 called HalVA is proposed. It allows for veri cation of certain formal properties...
متن کاملUML Representation Proposal for XTT Rule Design Method
In the paper practical issues concerning the use of UML as a knowledge representation method for rules are discussed. A proposal of an UML-based representation for the XTT structured representation for rules is presented. Since some deep semantical di erences between UML and rule-based representation exist, several possible UML representations are evaluated. A practical algorithm for building a...
متن کامل