Abstract
Tabular Systems constitute a particular form of rule-based systems. They follow the pattern of Relational Databases and Attributive Decision Tables. In Extended Tabular Systems non-atomic values of attributes are allowed. In order to assure safe, reliable and efficient performance of such systems, analysis and verification of selected qualitative properties such as completeness, consistency and determinism should be carried out. However, verification of them after the design of a system is both costly and late. In this paper another solution is proposed. A graphical CASE-like tool supporting the design of Extended Tabular Systems and providing verification possibilities is presented. The tool uses a new rule specification paradigm: the so-called tab-trees, covering the advantages of Attributive Decision Tables and Decision Trees. In the system the verification stage is moved into the design process. The background theory and the idea of tab-trees are outlined and presentation of a practical tool, the Osiris System, is carried out.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Andert, E.P.: Integrated knowledge-based system design and validation for solving problems in uncertain environments. Int. J. of Man-Machine Studies, 36, 1992, 357–373.
Coenen, F.: Verification and validation in expert and database systems: The expert systems perspective. A Keynote presentation in [17], 1998, 16–21.
Coenen, F.: Rulebase checking using a spatial representation. In [13], 1998, 166–175.
Coenen, F., B. Eaglestone and M. Ridley: Validation, verification and integrity in knowledge and data base systems: future directions. In [15], 1999, 297–311.
Gouyon, Jean-Paul: Kheops Users’s Guide, Report of Laboratoire d’Automatique et d’Analyse des Systemes, No.: 92503, 1994, Toulouse.
Ligęza, A.: A note on backward dual resolution and its application to proving completeness of rule-based systems. Proceedings of the 13th Int. Joint Conference on Artificial Intelligence (IJCAI). Chambery, France 1, 1993, 132–137.
Ligęza, A.: Towards design of complete rule-based control systems, IFAC/IMACS International Workshop on Artificial Intelligence in Real-Time Control, IFAC, Bled, Slovenia, 1995, 189–194.
Ligęza, A.: Logical support for design of rule-based systems. Reliability and quality issues, ECAI-96_Workshop on Validation, Verification and Refinement of Knowledge-based Systems, ECAI’96, Budapest, 1996, 28–34.
Ligęza, A.: Towards logical analysis of tabular rule-based systems. In [17], 1998, 30–35.
Ligęza, A.: Intelligent data and knowledge analysis and verification; towards a taxonomy of specific problems. In [15], 1999, 313–325.
Ligęeza, A.: Towards logical analysis of tabular rule-based systems. International Journal of Intelligent Systems, b16, 2001, 333–360.
Milne, R., C. Nicol, L. Travé-Massuyèz and J. Quevedo, TIGER: Knowledge based gas turbine condition monitoring, Applications and Innovations in Expert Systems III, SGES Publications, 1995, III, Cambridge, Oxford, 23–43.
Quirchmayr, G., Schweighofer, E. and T.J.M. Bench-Capon (Eds.): Database and Expert Systems Applications. Proceedings of the 9th Int. Conf., DEXA’98, Vienna, Springer-Verlag Lecture Notes in Computer Sciences. Berlin, 1460, 1998.
Preece, A.D.: A new approach to detecting missing knowledge in expert system rule bases. Int. J. Man-Machine Studies. 38, 1993, 661–668.
Vermesan, A. and F. Coenen (Eds.): Validation and Verification of Knowledge Based Systems-Theory, Tools and Practice. Kluwer Academic Publishers, Boston, 1999.
Vermesan, A. et al.: Verification and validation in support for software certification methods. In [15], 1999, 277–295.
Wagner, R.R. (ed.): Database and Expert Systems Applications. Proceedings of the Ninth International Workshop, Vienna; IEEE Computer Society, Los Alamitos, CA., 1998.
Attar Software, XpertRule 3.0 http://www.attar.com/pages/info xr.htm.
AITECH Katowice, Sphinx 2.3, http://www.aitech.gliwice.pl/.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ligęza, A., Wojnicki, I., Nalepa, G.J. (2001). Tab-Trees: A CASE Tool for the Design of Extended Tabular Systems⋆. In: Mayr, H.C., Lazansky, J., Quirchmayr, G., Vogel, P. (eds) Database and Expert Systems Applications. DEXA 2001. Lecture Notes in Computer Science, vol 2113. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44759-8_42
Download citation
DOI: https://doi.org/10.1007/3-540-44759-8_42
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42527-4
Online ISBN: 978-3-540-44759-7
eBook Packages: Springer Book Archive