Prolog-based analysis of tabular rule-based systems with the XTT approach

FLAIRS 2006 - Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference

Volumn 2006, Issue , 2006, Pages 426-431

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

^a AGH UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; DATA HANDLING; FORMAL LANGUAGES; ONLINE SYSTEMS;

KNOWLEDGE BASE ANOMALIES; PROLOG-BASED ANALYSIS; VISUAL EDITORS; XTT APPROACH;

KNOWLEDGE BASED SYSTEMS;

EID: 33746099312     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. Barr, V., and Markov, Z., eds. 2004. Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, Miami Beach, Florida, USA. AAAI Press.
2. Chang, C. L.; Combs, J. B.; and Stachowitz, R. A. 1990. A report on the expert systems validation associate (eva). Expert Systems with Applications 1(3):217-230.
3. Gerrits, R., and Spreeuwenberg.S. 2000. Valens: A knowledge based tool to validate and verify an aion knowledge base. In ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20-25, 2000, 731 -738.
4. Knauf, R. 2005. The engineering of system refinement or: What ai learnt from software engineering. Fachberichte Informatik Universität Koblenz-Landau (28th German Conference on Artificial Intelligence (KI-2005), Workshop on Knowledge Engineering and Software Engineering, Koblenz, Germany, ISSN 1860-4471 ):59-70.
5. Liebowitz, J., ed. 1998. The Handbook of Applied Expert Systems. Boca Raton: CRC Press.
6. Ligçza, A.; Wojnicki, I.; and Nalepa, G. J. 2001. Tab-trees: a case tool for design of extended tabular systems. In et al., H. M., ed., Database and Expert Systems Applications, volume LNCS 2113 of Lecture Notes in Computer Sciences. Berlin: Springer-Verlag.
7. Ligçza, A. 1996. Logical support for design of rule-based systems, reliability and quality issues. In Rousset, M., ed., ECAI-96 Workshop on Validation, Verification and Refinment of Knowledge-based Systems, volume W2. Budapest: ECAF96.
8. Ligçza, A. 2006. Logical Foundations for Rule-Based Systems. Berlin, Heidelberg: Springer-Verlag.
9. Nalepa, G. J. 2004. Meta-Level Approach to Integrated Process of Design and Implementation of Rule-Based Systems. Ph.D. Dissertation, AGH - University of Science and Technology, Institute of Automatics, Cracow, Poland.
10. Negnevitsky, M. 2002. Artificial Intelligence. A Guide to Intelligent Systems. Addison-Wesley. Preece, A. D.; Bell, R. D.;
11. and Suen, C. Y. 1992. Verifying knowledge-based systems using the cover tool. In IFIP Congress (3), 231-237.
12. Preece, A. D.; Grossner, C.; Chander, P. G.; and Radhakrishnan, T. 1998. Structure-based validation of rule-based systems. Data Knowl. Eng. 26(2): 161-189.
13. Spreeuwenberg, S., and Gerrits, R. 2002. Requirements for successful verification in practice. In Proceedings of 15th International Florida Artificial Intelligence Research Society Conference 2002 Society (FLAIRS-2002), Pensacola, FL,USA, May 14-16, 2002/221-225. Menlo Park, CA: AAAI Press.
14. Vanthienen, J.; Mues, C.; and G.Wets. 1997. Inter-tabular verification in an interactive environment. In J. Vanthienen, F. H., ed., EUROVAV-97, 4th European Symposium on the Validation and Verification of Knowledge. Based Systems, volume II. Leuven, Belgium: Katholieke Universiteit Leuven. 155-165.
15. Vermesan, A., and Coenen, F., eds. 1999. Validation and Verification of Knowledge Based Systems. Theory, Tools and Practice. Kluwer Academic Publisher.