Programming expert systems in OPS5: an introduction to rule-based programming
Programming expert systems in OPS5: an introduction to rule-based programming
Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
Real-time knowledge-based systems
AI Magazine
International Journal of Man-Machine Studies - Special Issue: Knowledge Acquisition for Knowledge-based Systems. Part 5
Prolog (3rd ed.): programming for artificial intelligence
Prolog (3rd ed.): programming for artificial intelligence
Mathematical logic for computer science
Mathematical logic for computer science
Business Rules and Information Systems: Aligning It with Business Goals
Business Rules and Information Systems: Aligning It with Business Goals
The Handbook of Applied Expert Systems
The Handbook of Applied Expert Systems
Rough Sets: Theoretical Aspects of Reasoning about Data
Rough Sets: Theoretical Aspects of Reasoning about Data
Database Systems: A Practical Approach to Design, Implementation and Management 2nd Ed.
Database Systems: A Practical Approach to Design, Implementation and Management 2nd Ed.
Expert Systems
Business Rules Applied: Building Better Systems Using the Business Rules Approach
Business Rules Applied: Building Better Systems Using the Business Rules Approach
Principles of the Business Rule Approach
Principles of the Business Rule Approach
EUROVAV '99 Collected papers from the 5th European Symposium on Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice
Tab-Trees: A CASE Tool for the Design of Extended Tabular Systems
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
Towards Logical Analysis of Tabular Rule-Based Systems
DEXA '98 Proceedings of the 9th International Workshop on Database and Expert Systems Applications
Real-Time Systems: Scheduling, Analysis, and Verification
Real-Time Systems: Scheduling, Analysis, and Verification
Validation and verification of knowledge-based systems: report on EUROVAV99
The Knowledge Engineering Review
Logical Foundations for Rule-Based Systems (Studies in Computational Intelligence) (Studies in Computational Intelligence)
Jess in action: rule-based systems in java
Jess in action: rule-based systems in java
Handbook of Knowledge Representation
Handbook of Knowledge Representation
JBoss Drools Business Rules
Handbook of Research on Emerging Rule-based Languages and Technologies: Open Solutions and Approaches
Architecture of the HeaRT hybrid rule engine
ICAISC'10 Proceedings of the 10th international conference on Artifical intelligence and soft computing: Part II
Pellet-HeaRT - proposal of an architecture for ontology systems with rules
KI'10 Proceedings of the 33rd annual German conference on Advances in artificial intelligence
Integration proposal for description logic and attributive logic: towards semantic web rules
Transactions on computational collective intelligence II
Loki: semantic wiki with logical knowledge representation
Transactions on computational collective intelligence III
Algorithms for rule inference in modularized rule bases
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Overview of knowledge formalization with XTT2 rules
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
HalVA - rule analysis framework for XTT2 rules
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Declarative design of control logic for mindstorms NXT with XTT2 method
ICCCI'11 Proceedings of the Third international conference on Computational collective intelligence: technologies and applications - Volume Part II
Defining the semantics of rule-based Web applications through model-driven development
International Journal of Applied Mathematics and Computer Science - Semantic Knowledge Engineering
Enriching business processes with rules using the oryx BPMN editor
ICAISC'12 Proceedings of the 11th international conference on Artificial Intelligence and Soft Computing - Volume Part II
Hi-index | 0.00 |
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 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.