A graphical tabular model for rule-based logic programming and verification

Systems Science

Volumn 31, Issue 2, 2005, Pages 89-95

  Nalepa, Grzegorz J ^a   Ligȩza, Antoni ^a  

^a AGH UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

DATABASE TABLE; KNOWLEDGE SPECIFICATION; OBJECT-ATTRIBUTE-VALUE TABLES (OAV TABLE); VISUAL INFORMATION MODELING;

ARTIFICIAL INTELLIGENCE; DATABASE SYSTEMS; KNOWLEDGE ACQUISITION; MATHEMATICAL MODELS; TREES (MATHEMATICS);

LOGIC PROGRAMMING;

EID: 33645074140     PISSN: 01371223     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Review

References (11)

1. LIGȨZA A., Intelligent data and knowledge analysis and verification; towards a taxonomy of specific problems, Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice, 1999, 313-325.
2. 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.
3. VAN HARMELEN F., Applying rule-based anomalies to kads inference structures, ECAI'96 Workshop on Validation, Verification and Refinement of Knowledge-Based Systems, 1996, 41-46.
4. LIGȨZA A., WOJNICKI I., NALEPA G., Tab-trees: a case tool for design of extended tabular systems, [in:] Database and Expert Systems Applications, Volume LNCS 2113 of Lecture Notes in Computer Sciences, Springer-Verlag, Berlin 2001, 422-431.
5. LIGȨZA A., Towards design of complete rule-based control systems, [in:] J. Kocijan (ed.), IFAC/IMACS International Workshop on Artificial Intelligence in Real-Time Control, IFAC, Bled, Slovenia, 1995, 189-194.
6. LIGȨZA A., Logical support for design of rule-based systems. Reliability and quality issues, [in:] M. Rousset (ed.), ECAI-96 Workshop on Validation, Verification and Refinment of Knowledge-based Systems, Vol. W2, ECAI'96, Budapest 1996, 28-34.
7. LIGȨZA A., Toward logical analysis of tabular rule-based systems, International Journal of Intelligent Systems, 16, 2001, 333-360.
8. NALEPA G. J., LIGȨZA A., Graphical case tools for integrated design and verification of rule-based systems, [in:] T. Burczynski, W. Cholewa, (ed.), AI-METH 2002: Methods of Artificial Intelligence, 13-15 November, Gliwice, Poland, Silesian University of Technology, SUT DSMCM DFMD, Polish Association for Computational Mechanics, 2002, 307-313.
9. NALEPA G. J., LIGȨZA A., Designing reliable web security systems using rule-based systems approach, [in:] E. Menasalvas, J. Segovia, P. S. Szczepaniak (eds.), Advances in Web Intelligence. First International Atlantic Web Intelligence Conference AWIC 2003, Madrid, Spain, May 5-6, 2003. Vol. LNAI 2663 of Lecture Notes in Artificial Intelligence., Berlin, Heidelberg, New York, Springer-Verlag, 2003, 124-133.
10. SZPYRKA M., NALEPA G. J., On Two Formal Approaches to Design and Verification of Embedded Rule-based Systems, accepted to 28th IFAC/IFIP Workshop on Real-Time Programming, WRTP2004.
11. SZPYRKA M., SZMUC T., RTCP-nets as a Tool for Real-Time Systems Modelling and Analysis, [in:] M. Colnaric, M. Adamski, M. Wȩgrzyn, (eds.), Real-Time Programming 2003, Elsevier Science Ltd., 21-26.