XTT+ rule design using the ALSV(FD)

CEUR Workshop Proceedings

Volumn 428, Issue , 2008, Pages 11-15

  Nalepa, Grzegorz J ^a   Ligeza, Antoni ^a  

^a AGH UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS RULES; COMPLEX APPLICATIONS; EXPRESSIVE POWER; FINITE DOMAINS; FORMAL FRAMEWORK; INFERENCE RULES; ITS APPLICATIONS; RULE-BASED SYSTEM;

ARTIFICIAL INTELLIGENCE;

FINITE DIFFERENCE METHOD;

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

References (15)

1. Mordechai Ben-Ari, Mathematical Logic for Computer Science, Springer-Verlag, London, 2001.
2. Ivan Bratko, Prolog Programming for Artificial Intelligence, Addison Wesley, 3rd edn., 2000.
3. Michael A. Covington, Donald Nute, and André Vellino, Prolog programming in depth, Prentice-Hall, 1996.
4. Michael R. Genesereth and Nils J. Nilsson, Logical Foundations for Artificial Intelligence, Morgan Kaufmann Publishers, Inc., Los Altos, California, 1987.
5. Adrain A. Hopgood, Intelligent Systems for Engineers and Scientists, CRC Press, Boca Raton London New YorkWashington, D.C., 2nd edn., 2001.
6. Peter Jackson, Introduction to Expert Systems, Addison-Wesley, 3rd edn., 1999. ISBN 0-201-87686-8.
7. Handbook of Data Mining and Knowledge Discovery, eds., Willi Klösgen and Jan M. Żytkow, Oxford University Press, New York, 2002.
8. The Handbook of Applied Expert Systems, ed., Jay Liebowitz, CRC Press, Boca Raton, 1998.
9. Antoni Ligȩza, Logical Foundations for Rule-Based Systems, Springer-Verlag, Berlin, Heidelberg, 2006.
10. Antoni Ligȩza and Grzegorz J. Nalepa, 'Knowledge representation with granular attributive logic for XTT-based expert systems', in FLAIRS-20 : Proceedings of the 20th International Florida Artificial Intelligence Research Society Conference : Key West, Florida, May 7-9, 2007, eds., David C. Wilson, Geoffrey C. J. Sutcliffe, and FLAIRS, pp. 530-535, Menlo Park, California, (may 2007). Florida Artificial Intelligence Research Society, AAAI Press.
11. Grzegorz J. Nalepa and Antoni Ligȩza, 'A graphical tabular model for rule-based logic programming and verification', Systems Science, 31(2), 89-95, (2005).
12. Grzegorz J. Nalepa and Igor Wojnicki, 'Proposal of visual generalized rule programming model for Prolog', in 17th International conference on Applications of declarative programming and knowledge management (INAP 2007) and 21st Workshop on (Constraint) Logic Programming (WLP 2007) : Wurzburg, Germany, October 4-6, 2007 : proceedings : Technical Report 434, eds., Dietmar Seipel and et al., pp. 195-204, Wurzburg : Bayerische Julius-Maximilians-Universitat. Institut für Informatik, (september 2007). Bayerische Julius-Maximilians- Universitat Wurzburg. Institut für Informatik.
13. Grzegorz J. Nalepa and IgorWojnicki, 'Visual software modelling with extended rule-based model : a knowledge-based programming solution for general software design', in ENASE 2007 : proceedings of the second international conference on Evaluation of Novel Approaches to Software Engineering : Barcelona, Spain, July 23-25, 2007, eds., Cesar Gonzalez-Perez and Leszek A. Maciaszek, pp. 41-47. INSTICC Press, (july 2007).
14. Stuart Russell and Peter Norvig, Artificial Intelligence: A Modern Approach, Prentice-Hall, 2nd edn., 2003.
15. I. S. Torsun, Foundations of Intelligent Knowledge-Based Systems, Academic Press, London, San Diego, New York, Boston, Sydney, Tokyo, Toronto, 1995.