A study of methodological issues in design and development of rule-based systems: Proposal of a new approach

Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery

Volumn 1, Issue 2, 2011, Pages 117-137

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

^a AGH UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE BASED SYSTEMS;

AUTOMATED PROCESSING; DESIGN AND DEVELOPMENT; DESIGN AND DEVELOPMENT PROCESS; DESIGN AND IMPLEMENTATIONS; PHYSICAL DESIGN; PRODUCTION RULES; REASONING PROCESS; THREE-PHASE METHODOLOGY;

DESIGN;

EID: 84855813490     PISSN: 19424787     EISSN: 19424795     Source Type: Journal    
DOI: 10.1002/widm.11     Document Type: Article

References (49)

1. Jay Liebowitz, editor. The Handbook of Applied Expert Systems. Boca Raton: CRC Press; 1998.
2. Peter Jackson. Introduction to Expert Systems. 3rd ed. Harlow: Addison-Wesley; 1999. ISBN 0-201-87686-8.
3. Michael Negnevitsky. Artificial Intelligence. A Guide to Intelligent Systems. Addison-Wesley, Harlow, England, London, Addison-Wesley: 2002. ISBN 0-201-71159-1.
4. Adrain A Hopgood. Intelligent Systems for Engineers and Scientists. 2nd ed. Boca Raton, London, New York, Washington, DC: CRC Press; 2001.
5. Torsun IS. Foundations of Intelligent Knowledge-Based Systems. London, San Diego, New York, Boston, Sydney, Tokyo, Toronto: Academic Press; 1995.
6. Thomas J Laffey, Preston A Cox, James L Schmiolt, SimonMKao, Jochson Y Read. Real-time knowledgebased systems. AI Magazine, Spring: 27-45, 1988.
7. Mordechai Ben-Ari. Mathematical Logic for Computer Science. London: Springer-Verlag, 2001.
8. Antoni Ligȩza. Logical Foundations for Rule-Based Systems. Berlin, Heidelberg: Springer-Verlag; 2006.
9. Ulf Nilsson, Jan Maluszyński. Logic, Programming and Prolog. 2nd ed. John Wiley & Sons; 2000. Available at: http://www.ida.liu.se/ulfni/lpp.
10. Michael A. Covington, Donald Nute, André Vellino. Prolog Programming in Depth. Prentice-Hall; 1996.
11. Brownston L, Farrell R, Kant E, Martin N. Programming Expert Systems in OPS5. Addison-Wesley; 1985.
12. Joseph Giarratano, Gary Riley. Expert Systems. Principles and Programming. 4th ed. Boston, MA: Thomson Course Technology; 2005. ISBN 0-534-38447-1.
13. Tzafestas SG, Ata-Doss SAE, Papakonstantinou G. Expert system methodology in process supervision and control. In: Tzafestas SG, eds. Knowledge-Base SystemDiagnosis, Supervision and Control, London, New York: Plenum Press; 1989, 181-215.
14. Friedman-Hill E. Jess in Action, Rule-Based Systems in Java. Manning Publishing; 2003.
15. Adrian Giurca, Dragan Gasevic, Kuldar Taveter, eds. Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches Hershey, NY: Information Science Reference; 2009.
16. Grzegorz J Nalepa, Antoni Ligȩza. A graphical tabular model for rule-based logic programming and verification. Systems Science 2005, 31:89-95.
17. Grzegorz J Nalepa, Antoni Ligȩza. HeKatE methodology, hybrid engineering of intelligent systems. International J Appl Math Comput Sci 2010, 20:35-53.
18. Antoni Ligȩza, Grzegorz J. Nalepa. Rules verification and validation. In: Kuldar Taveter Adrian Giurca, Dragan Gasevic, eds, Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches.Hershey, NY: IGI Global; 2009, 273-301.
19. Grzegorz J Nalepa. Languages and tools for rule modeling. In: Kuldar Taveter Adrian Giurca, Dragan Gasevic, eds, Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches.Hershey, NY: IGIGlobal, 2009, 526-624.
20. Stuart Russell, Peter Norvig. Artificial Intelligence: A Modern Approach. Prentice-Hall, 2nd ed. Prentice-Hall; 2003.
21. Frank van Harmelen, Vladimir Lifschitz, Bruce Porter, eds. Handbook of Knowledge Representation. Elsevier Science; 2007.
22. Ronald Brachman, Hector Levesque. Knowledge Representation and Reasoning. 1st eds. Morgan Kaufmann; 2004.
23. Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider, eds. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2003.
24. Paul Browne. JBoss Drools Business Rules. Packt Publishing; 2009.
25. Antoni Ligȩza. Dynamic backward reasoning systems. Artif Intell 1990; 43:127-152.
26. Charles Forgy. Rete: A fast algorithm for the many patterns/ many objects match problem. Artif Intell Atom 1982, 19:17-37.
27. Ivan Bratko. Prolog Programming for Artificial Intelligence. 3rd ed. Addison Wesley; 2000.
28. Alun D Preece. A new approach to detecting missing knowledge in expert system rule bases. Int J of Man-Machine Studies 1993, 38:161-181.
29. Vermesan A. The Handbook of Applied Expert Systems, chapter Foundation and Application of Expert System Verification and Validation. CRC Press; 1998.
30. Vermesan A, Coenen F, eds. Validation and Verification of Knowledge Based Systems. Theory, Tools and Practice. Boston: Kluwer Academic Publisher; 1999.
31. OMG. Business process modeling notation (bpmn) specification. Technical Report dtc/06-02-01, Object Management Group, 2006.
32. Owen M, Raj J. BPMN and business process management. Introduction to the new business process modeling standard. Technical report, Object-Management Group; 2006.
33. Kapil Pant, Matjaz Juric. Business ProcessDriven SOA Using BPMN and BPEL: From Business Process Modeling to Orchestration and Service Oriented Architecture. Packt Publishing; 2008.
34. Tony Morgan. Business Rules and Information Systems. Aligning IT with Business Goals. Boston, MA: Addison-Wesley; 2002.
35. Graham I. Business Rules Management and Service Oriented Architecture. John Wiley and Sons; 2006.
36. Buchanan BG, Shortliffe EH. eds. Rule-Based Expert Systems. Addison-Wesley, Reading, Massachusetts, 1985.
37. Joseph C. Giarratano, Gary D. Riley. Expert Systems. Thomson; 2005.
38. Tim Berners-Lee, James Hendler, Ora Lassila. The Semantic Web: Scientific American. Scientific American; May 2001.
39. Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Zhe Wu, Achille Fokoue, Carsten Lutz. OWL 2 web ontology language:profiles. W3C recommendation, W3C, October 2009.
40. Ian Horrocks, Peter F Patel-Schneider, Harold Boley, Said Tabet, Benjamin Grosof, Mike Dean. SWRL: A semantic web rule language combining OWL and RuleML, w3c member submission 21 may 2004. Technical report W3C 2004.
41. Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph. Foundations of Semantic Web Technologies. Chapman & Hall/CRC; 2nd ed. 2009.
42. Grzegorz J Nalepa, Antoni Ligȩza. Software engineering: Evolution And Emerging Technologies, volume 130 of Frontiers in Artificial Intelligence and Applications, chapter Conceptual modelling and automated implementation of rule-based systems. Amsterdam: IOS Press; 2005, 330-340.
43. Grzegorz J Nalepa, Igor Wojnicki. Towards formalization of ARD+ conceptual design and refinement method. In: David C Wilson, H Chad Lane, eds. FLAIRS-21: Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference: 15-17 May 2008, Coconut Grove, Florida, USA. Menlo Park, California: AAAI Press; 2008, 353-358.
44. Tim Denvir, Jose Oliveira, Nico Plat. The cash-point (atm) 'problem.' Formal Aspects of Computing 2000, 12:211-215.
45. Krzysztof Kaczor, Grzegorz J Nalepa. Design and implementation of hqed, the visual editor for the XTT+ rule design method. Technical Report CSLTR 02/2008, AGH University of Science and Technology; 2008.
46. Krzysztof Kaczor, Grzegorz J. Nalepa. HaDEs - presentation of the HeKatE design environment. In: Joachim Baumeister, Grzegorz J. Nalepa, eds. 5th Workshop on Knowledge Engineering and Software Engineering (KESE2009) at the 32nd German conference on Artificial Intelligence: September 15, 2009, Paderborn, Germany Paderborn, Germany; 2009, 57-62.
47. Grzegorz J. Nalepa. Architecture of the HeaRT hybrid rule engine. In: Rutkowski L. et al, eds. Proceedings of ICAISC2010, volume 6114 of LNAI. Springer; 2010; 598-605.
48. Grzegorz J. Nalepa, Antoni Ligȩza. XTT+ rule design using the ALSV(FD). In. Adrian Giurca, Anastasia Analyti, Gerd Wagner, eds., ECAI 2008: 18th European Conference on Artificial Intelligence: 2nd East European Workshop on Rule-Based Applications. Patras: Rule Apps 2008; 2008, 11-15.
49. Grzegorz J. Nalepa, Antoni Ligȩza, Krzysztof Kaczor, Weronika T Furmańska. HeKatE rule runtime and design framework. In: Gerd Wagner Adrian Giurca, Grzegorz J. Nalepa, eds. Proceedings of the 3rd East European Workshop on Rule-Based Applications. Cottobus, Germany: Rule Apps 2009; 2009, 21-30.