Software architecture for knowledge-based systems

Knowledge Engineering Review

Volumn 14, Issue 2, 1999, Pages 153-173

  Fensel, Dieter ^a   Groenboom, Rix ^b  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b UNIVERSITY OF GRONINGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SYSTEMS PROGRAMMING; KNOWLEDGE BASED SYSTEMS; PROBLEM SOLVING;

COMPONENT-BASED SPECIFICATION;

SOFTWARE ENGINEERING;

EID: 0032673441     PISSN: 02698889     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0269888999142097     Document Type: Article

References (75)

1. Akkermans, JM, Wielinga, B and Schreiber, ATh, 1993. "Steps in constructing problem-solving methods" in N Aussenac et al. (eds) Knowledge-Acquisition for Knowledge-Based Systems: Lecture Notes in AI723 Springer-Verlag.
2. Angele, J, Fensel, D and Studer, R, 1998. "Developing knowledge-based systems with MIKE" J Automated Software Engineering 5(4) 389-418.
3. Bylander, T, Allemang, D, Tanner, MC and Josephson, JR, 1991. "The computational complexity of abduction" Artificial Intelligence 49 25-60.
4. Benjamins, R, 1995. "Problem solving methods for diagnosis and their role in knowledge acquisition" International J Expert Systems: Research and Application 8(2) 93-120.
5. Benjamins, R, Fensel, D and Straatman, R, 1996. "Assumptions of problem-solving methods and their role in knowledge engineering" Proc 12th European Conference on Artificial Intelligence (ECAI-96) Budapest, Hungary, pp. 408-412.
6. Benjamins, VR, Plaza, E, Motta, E, Fensel, D, Studer, R, Wielinga, B, Schreiber, G and Zdrahal, Z, 1998. "An intelligent brokering service for knowledge-component reuse on the world-wide-web" Proc 11th Workshop on Knowledge Acquisition, Modeling and Management (KAW '98) Banff, Canada.
7. Bidoit, M, Kreowski, H-J, Lescane, P, Orejas, F and Sannella, D (eds), 1991. Algebraic System Specification and Development: Lecture Notes in Computer Science (LNCS) 501 Springer-Verlag.
8. Breuker, J and Van de Velde, W (eds), 1994. The CommonKADS Library for Expertise Modelling IOS Press.
9. Chandrasekaran, B, 1986. "Generic tasks in knowledge-based reasoning: high-level building blocks for expert system design" IEEE Expert 1(3) 23-30.
10. Chandrasekaran, B, Johnson, TR and Smith, JW, 1992. "Task structure analysis for knowledge modeling" Communications of the ACM 35(9) 124-137.
11. Davis, R, 1984. "Diagnostic reasoning based on structure and behaviour" Artificial Intelligence 24 347-410.
12. van Eck, P, Engelfriet, J, Fensel, D, van Harmelen, F, Venema, Y and Willems, M, 1998. "Specification of dynamics for knowledge-based systems" in B Freitag et al. (eds), Transactions and Change in Logic Databases: Lecture Notes in Computer Science (LNCS), 1472 Springer-Verlag, pp. 37-68.
13. Eriksson, H, Shahar, Y, Tu, SW, Puerta, AR and Musen, MA, 1995. "Task modeling with reusable problem-solving methods" Artificial Intelligence 79(2) 293-326.
14. Fensel, D, 1995a. "Assumptions and limitations of a problem-solving method: a case study" Proc 9th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW '95) Banff, Canada.
15. Fensel, D, 1995b. The Knowledge Acquisition and Representation Language KARL Kluwer Academic.
16. Fensel, D, 1995c. "Formal specification languages in knowledge and software engineering" The Knowledge Engineering Review 10(4) 361-404.
17. Fensel, D, 1997a. "The tower-of-adapter method for developing and reusing problem-solving methods" in E Plaza et al. (eds) Knowledge Acquisition, Modeling and Management: Lecture Notes in Artificial Intelligence (LNAI), 1319 Springer-Verlag.
18. Fensel, D, 1997b. "An ontology-based broker: making problem-solving method reuse work" Proc Workshop on Problem-Solving Methods for Knowledge-based Systems at the 15th International Joint Conference on AI (IJCAI-97) Nagoya, Japan.
19. Fensel, D, Angele, J and Studer, R, 1998a. "The knowledge acquisition and representation language KARL" IEEE Trans Knowledge and Data Engineering 10(4) 527-550.
20. Fensel, D and Benjamins, VR, 1998a. "Key issues for automated problem-solving methods reuse" Proc 13th European Conference on Artificial Intelligence (ECAI-98) Brighton, UK.
21. Fensel, D and Benjamins, VR, 1998b. "The role of assumptions in knowledge engineering" International J Intelligent Systems 13(8) 715-748.
22. Fensel, D, Benjamins, VR, Decker, S, Gaspari, M, Groenboom, R, Grosso, W, Musen, M, Motta, E, Plaza, E, Schreiber, G, Studer, R and Wielinga, B, 1999a. "The Component Model of UPML in a nutshell" WWW Proc 1st Working IFIP Conference on Software Architectures (WICSAI) San Antonio, TX.
23. Fensel, D, Eriksson, H, Musen, MA and Studer, R, 1996. "Conceptual and formal specifications of problem-solving methods" International J Expert Systems 9(4) 507-532.
24. Fensel, D and Groenboom, R, 1996. "MLPM: Defining a semantics and axiomatization for specifying the reasoning process of knowledge-based systems" Proc 12th European Conference on Artificial Intelligence (ECAI-96) Budapest, Hungary.
25. Fensel, D, Groenboom, R and Renardel de Lavalette, GR, 1998b. "MCL: Specifying the reasoning of knowledge-based systems" Data and Knowledge Engineering (DKE) 26(3) 243-269.
26. Fensel, D and van Harmelen, F, 1994. "A comparison of languages which operationalize and formalize KADS models of expertise" The Knowledge Engineering Review 9(2) 105-146.
27. Fensel, D, van Harmelen, F, Reif, W and ten Teije, A, 1998c. "Formal support for development of knowledge-based systems" Information Technology Management: An International Journal 2(4).
28. Fensel, D and Motta, E, 1998. "Structured development of problem-solving methods" Proc 11th Workshop on Knowledge Acquisition, Modeling and Management (KAW '98) Banff, Canada.
29. Fensel, D, Motta, E, Benjamins, VR, Decker, S, Gaspari, M, Groenboom, R, Grosso, W, van Harmelen, F, Musen, M, Plaza, E, Schreiber, G, Studer, R, ten Teije, A and Wielinga, B, 1999b. "The Unified Problem-solving Method development Language UPML". ESPRIT project number 27169, IBROW3, Deliverable 1.1, Chapter 1.
30. Fensel, D, Motta, E, Decker, S and Zdrahal, Z, 1997. "Using ontologies for defining tasks, problem-solving methods and their mappings" in E Plaza et al. (eds), Knowledge Acquisition, Modeling and Management: Lecture Notes in Artificial Intelligence (LNAI), 1319 Springer-Verlag, pp. 113-128.
31. Fensel, D and Schönegge, A, 1997. "Using KIV to specify and verify architectures of knowledge-based systems" Proc 12th IEEE International Conference on Automated Software Engineering (ASEC-97) Incline Village, NV.
32. Fensel, D and Schönegge, A, 1998. "Inverse verification of problem-solving methods" International J Human-Computer Studies 49(4) 339-362.
33. Fensel, D, Schönegge, A, Groenboom, R and Wielinga, B, 1996. "Specification and verification of knowledge-based systems" Proc 10th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW '96) Banff, Canada.
34. Fensel, D and Straatman, R, 1996. "The essence of problem-solving methods: Making assumptions for efficiency reasons" in N Shadbolt et al. (eds), Advances in Knowledge Acquisition: Lecture Note in Artificial Intelligence, LNAI 1076 Springer-Verlag, pp. 17-32.
35. Fensel, D and Straatman, R, 1998. "The essence of problem-solving methods: Making assumptions to gain efficiency" International J Human-Computer Studies 48(2) 181-215.
36. Gamma, E, Helm, R, Johnson, R and Vlissides, J, 1995. Design Patterns Addison-Wesley.
37. Garlan, D and Perry, D (eds), 1995. Special Issue on "Software Architecture" IEEE Trans Software Engineering 21(4).
38. de Geus, F and Rotterdam, E, 1992. "Decision Support in Anaesthesia" PhD thesis, University of Groningen, The Netherlands.
39. Groenboom, R, 1997. "Formalizing Knowledge Domains - Static and Dynamic Aspects" PhD thesis, University of Groningen.
40. Groenboom, R and Renardel de Lavalette, GR, 1993. "Reasoning about dynamic features in specification languages" in DJ Andrews et al. (eds) Proc Workshop in Semantics of Specification Languages Utrecht. Springer-Verlag.
41. Gruber, TR, 1993. "A translation approach to portable ontology specifications" Knowledge Acquisition 5 199-220.
42. Gurevich, Y, 1993. "Evolving Algebras 1993: Lipari Guide" in EB Börger (ed) Specification and Valid Methods Oxford University Press.
43. Harel, D, 1984. "Dynamic logic" in D Gabby et al. (eds) Handbook of Philosophical Logic: vol. II, Extensions of Classical Logic Kluwer.
44. van Harmelen, F and Aben, M, 1996. "Structure-preserving specification languages for knowledge-based systems" J Human Computer Studies 44 187-212.
45. 2, a formal language for KADS conceptual models" Knowledge Acquisition 4(1).
46. van Harmelen, F and Fensel, D, 1995. "Formal methods in knowledge engineering" The Knowledge Engineering Review 10(4).
47. van Harmelen, F and ten Teije, A, 1998. "Characterising approximate problem-solving by partial pre- and postcondition" Proc 13th European Conference on Artificial Intelligence (ECAI-98) Brighton, UK.
48. van Heijst, G, Schreiber, AT and Wielinga, BJ, 1997. "Using explicit ontologies in knowledge-based systems development" International J HumanComputer Interaction 46(6).
49. Kripke, SA, 1959. "A completeness theorem in modal logic" J Symbolic Logic 24 1-14.
50. Marcus, S (ed), 1988. Automating Knowledge Acquisition for Experts Systems Kluwer Academic.
51. Menzies, T, 1999. "Knowledge maintenance: The state of the art" The Knowledge Engineering Review 14(1) 1-46.
52. Motta, E, Gaspari, M and Fensel, D, 1999. "UPML Specification of a Parametric Design Library" Deliverable D4.1., Esprit Project 27169, IBROW3, 1999.
53. Motta, E and Zdrahal, Z, 1996. "Parametric design problem solving" Proc 10th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW '96) Banff, Canada.
54. Newell, A, 1982. "The knowledge level" Artificial Intelligence 18 87-127.
55. Penix, J and Alexander, P, 1997. "Toward automated component adaptation" Proc 9th International Conference on Software Engineering & Knowledge Engineering (SEKE-97) Madrid, Spain.
56. Penix, J, Alexander, P and Havelund, K, 1997. "Declarative specifications of software architectures" Proc 12th IEEE International Conference on Automated Software Engineering (ASEC-97) Incline Village, NV.
57. Pierret-Golbreich, C and Talon, X, 1996. "An algebraic specification of the dynamic behaviour of knowledge-based systems" The Knowledge Engineering Review 11(2).
58. Poeck, K, Fensel, D, Landes, D and Angele, J, 1996. "Combining KARL and CRLM for designing vertical transportation systems" International J Human-Computer Studies 44(3-4) 435-467.
59. Puppe, F, Systematic Introduction to Exper Systems: Knowledge Representation and Problem-Solving Methods Springer-Verlag.
60. Reif, W, 1992. "Correctness of generic modules" in Nerode and Taitslin (eds) Symposium on Logical Foundations of Computer Science: LNCS 620 Springer-Verlag.
61. Reif, W, 1995. "The KIV approach to software engineering" in M Broy and S Jähnichen (eds) Methods, Languages, and Tools for the Construction of Correct Software: LNCS 1009 Springer-Verlag.
62. Renardel de Lavalette, GR, Groenboom, R, Rotterdam, EP, van Harmelen, F, ten Teije, A and de Geus, F, 1997. "Formalisation of anaethesiology for decision support" Artificial Intelligence in Medicine 11(3) 189-214.
63. Schreiber, ATh, Wielinga, B, Akkermans, JM, Van De Velde, W and de Hoog, R, 1994. "CommonKADS. A comprehensive methodology for KBS development" IEEE Expert 9(6) 28-37.
64. Shaw, A, 1989. "Reasoning about time in higher level language software" IEEE Trans Software Engineering 15(7) 875-889.
65. Shaw, M and Garlan, D, Software Architecture: Perspectives on an Emerging Discipline Prentice Hall.
66. BSSF: A language for KBS design" Knowledge Acquisition 6.
67. Spivey, JM, 1992. The Z Notation. A Reference Manual, 2nd ed Prentice Hall.
68. Steels, L, 1990. "Components of expertise" AI Magazine 11(2).
69. Studer, R, Benjamins, VR and Fensel, D, 1998. "Knowledge engineering: methods and principles" Data and Knowledge Engineering 25(1-2).
70. ten Teije, A, 1997. "Automated configuration of problem solving methods in diagnosis" PhD Thesis, University of Amsterdam, The Netherlands.
71. Terpstra, P, van Heijst, G, Wielinga, B and Shadbolt, N, 1993. "Knowledge acquisition support through generalised directive models" in M David et al (eds) Second Generation Expert Systems Springer-Verlag.
72. Top, J and Akkermans, H, 1994. "Tasks and ontologies in engineering modeling" International J HumanComputer Studies 41 585-617.
73. Van de Velde, W, 1988. "Inference structure as a basis for problem solving" Proc 8th European Conference on Artificial Intelligence (ECAI-88) Munich, Germany.
74. Wirsing, M, 1990. "Algebraic specification" in J van Leeuwen (ed) Handbook of Theoretical Computer Science Elsevier.
75. Yellin, DM and Strom, RE, 1997. "Protocol specifications and component adapters" ACM Trans Programming Languages and Systems 19(2) 292-333.