Knowledge representation with granular attributive logic for XTT-based expert systems

Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2007

Volumn , Issue , 2007, Pages 530-535

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

^a AGH UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; EXPERT SYSTEMS; LOGIC DESIGN; SYSTEMS ANALYSIS;

ATOMIC FORMULAE; GRANULAR ATTRIBUTIVE LOGIC; RELATIONAL SYMBOLS;

KNOWLEDGE REPRESENTATION;

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

References (14)

1. Ben-Ari, M. 2001. Mathematical Logic for Computer Science. London: Springer-Verlag.
2. Genesereth, M. R., and Nilsson, N. J. 1987. Logical Foundations for Artificial Intelligence. Los Altos, California: Morgan Kaufmann Publishers, Inc.
3. Jackson, P. 1999. Introduction to Expert Systems. Addison-Wesley, 3rd edition. ISBN 0-201-87686-8.
4. Liebowitz, J., ed. 1998. The Handbook of Applied Expert Systems. Boca Raton: CRC Press. ISBN 0-8493-3106-4.
5. Ligȩza, A., and Parra, P. F. 1996. Towards logical analysis of tabular rule-based systems. In Trappl, R., ed., Proc. of the 13th European Meeting on Cybernetics and Systems Research (EMCSR'96), volume 2,1211-1216.
6. Ligȩza, A., and Parra, P. F. 2006. A granular attribute logic for rule-based systems management within extended tabular trees. In Trappl, R., ed., Cybernetic and Systems, volume 2,761-766. Austrian Society for Cybernetic Studies.
7. Ligȩza, A.; Wojnicki, I.; and Nalepa, G. 2001. Tab-trees: a case tool for design of extended tabular systems. In et al., H. M., ed., Database and Expert Systems Applications, volume 2113 of Lecture Notes in Computer Sciences. Berlin: Springer-Verlag. 422-431.
8. Ligȩza, A. 2002. Granular algebra: Towards a calculus of semipartitions for analysis, manipulation and verification of tabular systems. In Trappl, R., ed., Proc. of the 16th European Meeting on Cybernetics and Systems Research (EMCSR'02), 802-811.
9. Ligȩza, A. 2006. Logical Foundations for Rule-Based Systems. Berlin, Heidelberg: Springer-Verlag.
10. Nalepa, G. J., and Ligȩza, A. 2005. Conceptual modelling and automated implementation of rule-based systems. In Krzysztof Zieliński, T. S., ed., Software engineering : evolution and emerging technologies, volume 130 of Frontiers in Artificial Intelligence and Applications, 330-340. IOS Press.
11. Nalepa, G. J., and Ligȩza, A. 2006. Prolog-based analysis of tabular rule-based systems with the xtt approach. In Sutcliffe, G. C. J., and Goebel, R. G., eds., FLAIRS 2006 : proceedings of the nineteenth international Florida Artificial Intelligence Research Society conference : [Melbourne Beach, Florida, May 11-13, 2006], 426-431. FLAIRS. - Menlo Park: Florida Artificial Intelligence Research Society.
12. 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.
13. Negnevitsky, M. 2002. Artificial Intelligence. A Guide to Intelligent Systems. Harlow, England; London; New York: Addison-Wesley. ISBN 0-201-71159-1.
14. Torsun, I. S. 1995. Foundations of Intelligent KnowledgeBased Systems. London, San Diego, New York, Boston, Sydney, Tokyo, Toronto: Academic Press.