The role of assumptions in knowledge engineering

International Journal of Intelligent Systems

Volumn 13, Issue 8, 1998, Pages 715-747

  Fensel, Dieter ^a   Benjamins, V Richard ^b,c  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b CSIC   (Spain)

^c UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE BASED SYSTEMS; LEARNING SYSTEMS; PROBLEM SOLVING;

KNOWLEDGE DISCOVERY TECHNIQUES;

KNOWLEDGE ENGINEERING;

EID: 0032142338     PISSN: 08848173     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1098-111X(199808)13:8<715::AID-INT2>3.0.CO;2-M     Document Type: Article

References (92)

1. A. Abu-Hanna, "Multiple domain models in diagnostic reasoning," Ph.D. Thesis, University of Amsterdam, 1994.
2. A. Abu-Hanna, V.R. Benjamins, and W.N.H. Jansweijer, "Device understanding and modeling for diagnosis," IEEE Expert. 6, 26-32 (1991).
3. J.M. Akkermans, B. Wielinga, and A.Th. Schreiber, "Steps in constructing problem-solving methods," in Knowledge-Acquisition for Knowledge-Based Systems, LNAI 723, N. Aussenac et al., Eds., Springer-Verlag, Berlin, 1993.
4. J. Angele, D. Fensel, and R. Studer, "Domain and task modelling in MIKE," in Domain Knowledge for Interactive System Design, A. Sutcliffe et al., Eds., Chapman and Hall, London, 1996.
5. L. Nunes de Barros, J. Hendler, and V.R. Benjamins, "Par-KAP: A knowledge acquisition tool for building practical planning systems," Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI '97). Nagoya, Japan, August 1997.
6. R. Benjamins, "Problem-solving methods for diagnosis," Ph.D. Thesis, University of Amsterdam, Amsterdam, the Netherlands, 1993.
7. V.R. Benjamins, "Problem solving methods for diagnosis and their role in knowledge acquisition," International Journal of Expert Systems: Research and Application, 8, 93-120, 1995.
8. R. Benjamins, "Problem-solving methods in cyberspace," Proceedings of the Workshop on Problem-Solving Methods for Knowledge-based Systems (W26) of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97). Nagoya, Japan, August 23-29, 1997.
9. R. Benjamins and M. Aben, "Structure-preserving knowledge-based system development through reusable libraries: A case study in diagnosis," International Journal on Human Computer Studies, 47, 223-258, 1997.
10. R. Benjamins, D. Fensel, and R. Straatman, "Assumptions of problem-solving methods and their role in knowledge engineering," Proceedings of the 12th European Conference on Artificial Intelligence (ECAI-96), Budapest, August 12-16, 1996.
11. R. Benjamins and C. Pierret-Golbreich, "Assumptions of problem-solving methods," in Advances in Knowledge Acquisition, Lecture Notes in Artificial Intelligence (LNAI), no. 1076, N. Shadbolt et al., Eds., Springer-Verlag, Berlin, 1996.
12. C. Böttcher, No Faults in Structure? How to Diagnose Hidden Interactions, Proceedings of the 14th Joint International Conference on Artificial Intelligence (IJCAI-95), Montreal, Canada, pp. 1728-1734, 1995.
13. C. Böttcher and O. Dressler, "A framework for controlling model-based diagnosis systems with multiple actions," Annals of Mathematics and Artificial Intelligence, 11, 241-261, 1994.
14. J. Breuker, "Problems in indexing problem solving methods," Proceedings of the Workshop on Problem-Solving Methods for Knowledge-based Systems (W26) of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97), Nagoya, Japan, August 23-29, 1997.
15. J. Breuker and W. Van de Velde, Eds., The CommonKADS Library for Expertise Modelling, IOS Press, Amsterdam, the Netherlands, 1994.
16. T. Bylander, "Complexity results for planning," Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI-91), Sydney, Australia, August 1991.
17. T. Bylander and B. Chandrasekaran, "Generic tasks in knowledge-based reasoning: The right level of abstraction for knowledge acquisition, in Knowledge Acquisition for Knowledge-Based Systems, Vol. 1, B. Gaines et al., Eds., Academic Press, London, 1988, pp. 65-77.
18. T. Bylander, D. Allemang, M.C. Tanner, and J.R. Josephson, "The computational complexity of abduction," Artificial Intelligence, 49, 25-60 (1991).
19. B. Chandrasekaran, "Generic tasks in knowledge-based reasoning: High-level building blocks for expert system design," IEEE Expert, 1, 23-30 (1986).
20. B. Chandrasekaran, "Models versus rules, deep versus compiled, content versus form," IEEE Expert, 6, 75-79, (1991).
21. B. Chandrasekaran, T.R. Johnson, and J.W. Smith, "Task structure analysis for knowledge modeling," Communications of the ACM , 35, 124-137 (1992).
22. W.J. Chancey, "Heuristic classification," Artificial Intelligence, 27, 289-350 (1985).
23. L. Console and P. Torasso, "A spectrum of logical definitions of model-based diagnosis," in Readings in Model-Based Diagnosis, W. Hamscher et al., Eds., Morgan Kaufmann, San Mateo, CA, 1992.
24. P.T. Cox and T. Pietrzykowski, "Causes of events: Their computation and application," Proceedings of the 8th International Conference on Automated Deduction, LNCS 230, Oxford, England, July 27-August 1, Springer-Verlag, Berlin, 1986.
25. R. Davis, "Diagnostic reasoning based on structure and behavior," Artificial Intelligence, 24, 347-410 (1984).
26. R. Davis and W. Hamscher, "Model-based reasoning: Troubleshooting," in Exploring AI: Survey Talks from the National Conference on AI, H.E. Shrobe, Ed., Morgan Kaufmann, San Mateo, CA, 1988.
27. E.W. Dijkstra, "Guarded commands, nondeterminacy, and formal derivation of programs," Communication of the ACM, 18, 453-457 (1975).
28. R. Engels, "Planning tasks for Knowledge Discovery in Databases; Performing Task-Oriented User-Guidance," Proceedings of the 2nd International Conference on Knowledge Discovery in Databases (KDD-96), Portland, Oregon, August 2-4, 1996.
29. R. Engels, G. Lindner, and R. Studer, "A Guided Tour through the Data Mining Jungle," Proceedings of the 3rd International Conference on Knowledge Discovery in Databases (KDD-97), Newport Beach, CA, August 14-17, 1997.
30. H. Eriksson, Y. Shahar, S.W. Tu, A.R. Puerta, and M.A. Musen, "Task modeling with reusable problem-solving methods," Artificial Intelligence, 79, 293-326 (1995).
31. D. Fensel, "Assumptions and limitations of a problem-solving method: A case study," Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW'95), Banff, Canada, January 26-February 3, 1995.
32. D. Fensel, "Formal specification languages in knowledge and software engineering," The Knowledge Engineenng Review, 10, 361-404 (1995).
33. D. Fensel, "An ontology-based broker: Making problem-solving method reuse work," Proceedings of the Workshop on Problem-Solving Methods for Knowledge-based Systems (W26) of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97), Nagoya, Japan, August 23-29, 1997.
34. D. Fensel, "The tower-of-adapter method for developing and reusing problem-solving methods," in Knowledge Acquisition, Modeling and Management, Lecture Notes in Artificial Intelligence (LNAI), 1319, E. Plaza et al., Eds., Springer-Verlag, Berlin, 1997.
35. D. Fensel and R. Benjamins, "Assumptions in model-based diagnosis," Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW'95), Banff, Canada, November 9-14, 1996.
36. D. Fensel, A. Schönegge. R. Groenboom, and B. Wielinga, "Specification and verification of knowledge-based systems," Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW'96), Banff, Canada, November 9-14, 1996.
37. D. Fensel, E. Motta, S. Decker, and Z. Zdrahal, "Using ontologies for defining tasks, problem-solving methods and their mappings, in Knowledge Acquisition, Modeling and Management, Lecture Notes in Artificial Intelligence (LNAI), 1319, E. Plaza et al., Eds., Springer-Verlag, Berlin, 1997.
38. D. Fensel and R. Groenboom, "Specifying knowledge-based systems with reusable components," Proceedings of the 9th International Conference on Software Engineering & Knowledge Engineering (SEKE-97), Madrid, Spain, June 18-20, 1997.
39. D. Fensel and A. Schönegge, "Assumption hunting as development method for knowledge-based systems" Proceedings of the Workshop on Problem-Solving Methods for Knowledge-based Systems at the 15th International Joint Conference on AI (IJCAI-97), Nagoya, Japan, August 23, 1997.
40. D. Fensel and A. Schönegge, "Specifying and verifying knowledge-based systems with KIV," Proceedings of the 12th IEEE International Conference on Automated Software Engineering (ASEC-97), Incline Village, Nevada, November 1997.
41. D. Fensel and A. Schönegge, "Inverse Verification of Problem-Solving Methods, International Journal of Human Computer Studies (to appear).
42. D. Fensel and R. Straatman, "The essence of problem-solving methods: Making assumptions to gain efficiency,"' The International Journal of Human Computer Studies, 48, 181-215 (1998).
43. D. Fensel, R. Groenboom, and G.R. Renardel de Lavalette, "MCL: Specifying the reasoning of knowledge-based systems," Data and Knowledge Engineering, 25, 1998.
44. D. Garlan and D. Perry, Eds., Special issue on software architecture, IEEE Transactions on Software Engineering, 21 (1995).
45. M.R. Genesereth, "The use of design descriptions in automated diagnosis," Artificial Intelligence, 24, 411-436, 1984.
46. A. Goel, N. Soundarajan, and B. Chandrasekaran, "Complexity in classifactory reasoning," Proceedings of the 6th National Conference on Artificial Intelligence (AAAI-87), Seattle, Washington, July 13-17, 1987.
47. K. O'Hara and N. Shadbolt, "The thin end of the wedge: Efficiency and the generalized directive model methodology," in Advances in Knowledge Acquisition, LNAI 1706, N. Shadbolt, Ed., Springer-Verlag, Berlin, 1996.
48. D. Harel, "Dynamic logic," in Handbook of Philosophical Logic, Vol. II, Extensions of Classical Logic, D. Gabby et al., Eds., Reidel, Dordrecht, the Netherlands, 1984.
49. J. de Kleer, "An assumption-based TMS," Artificial Intelligence, 28, 127-162 (1986).
50. J. de Kleer and J.S. Brown, "A qualitative physics based on confluences," Artificial Intelligence, 24, 7-83 (1984).
51. J. de Kleer, A.K. Mackworth, and R. Reiter, "Characterizing diagnoses and systems," Artificial Intelligence, 56, 197-222 (1992).
52. J. de Kleer and B.C. Williams, "Diagnosing multiple faults," Artificial Intelligence, 32, 97-130 (1987).
53. J. de Kleer and B.C. Williams, "Diagnosis with behavioral models," Proceedings of the 11th International Joint Conference on AI (IJCAI-89), Detroit, MI, 1989.
54. J.W. Lloyd, "Declarative error diagnosis," New Generation Computing, 5, 133-154 (1987).
55. T.J. Lydiard, "Overview of current practice and research initiatives for the verification and validation of KBS," The Knowledge Engineering Review, 7, 101-113 (1992).
56. S. Marcus, Ed., Automating Knowledge Acquisition for Experts Systems, Kluwer, Boston, 1988.
57. S. Marcus, J. Stout, and J. McDermott, "VT: An expert elevator designer that uses knowledge-based backtracking," AI Magazine, 9, 95-111 (1988).
58. B. Mark, "Special issue on data-mining," IEEE Expert, 11(5) (1996).
59. E.J. McCluskey, "Minimizing of Boolean functions," Bell Systems Techhnology Journal, 35, 1417-1444 (1956).
60. S. McIlraith, "Further contribution to characterizing diagnosis." Annals of Mathematics and AI, 11(1-4) (1994).
61. S. Minton, "Quantitative results concerning the utility of explanation-based learning," in Goal-Driven Learning, A. Ram and D.B. Leake, Eds., MIT Press, Cambridge, MA, 55-22, 1995.
62. S. Minton, S. Carbonell, C. Knoblock, D.R. Kuokka, O. Etzioni, and Y. Gil, Explanation-based learning: A problem solving perspective. Artificial Intelligence, 40, 63-118 (1989).
63. E. Motta and Z. Zdrahal, "Parametric design problem solving," Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW'96), Banff, Canada, November 9-15, 1996.
64. S. Muggleton and W. Buntine, "Machine invention of first-order predicates by inverting resolution," Proceedings of the 5th International Conference on Machine Learning (ICML-88), Michigan, 1988.
65. S. Muggleton and L. De Raedt, "Inductive logic programming: Theory and methods," Journal of Logic Programming, 19/20, 629-679 (1994).
66. B. Nebel, "Artificial intelligence: A computational perspective," in Principles of Knowledge Representation, G. Brewka, Ed., Stanford, CSL1 Publ., 1996.
67. W. Nejdl, P. Froehlich, and M. Schroeder, "A formal framework for representing diagnosis strategies in model-based diagnosis systems," Proceedings of the 14th International Joint Conference on AI (IJCAI-95), Montreal, Canada, August 20-25, 1995.
68. A. Newell, "The knowledge level," Artificial Intelligence, 18, 87-127 (1982).
69. R. Plant and A.D. Preece, Eds., "Special issue on verification and validation," International Journal on Human-Computer Studies, 44 (1996).
70. C. Preist and B. Welham, "Modelling bridge faults of diagnosis in electronic circuits," Proceedings of the 1st International Workshop on Principles of Diagnosis, Stanford, CA, 1990.
71. F. Puppe, Systematic Introduction to Expert Systems: Knowledge Representation and Problem-Solving Methods, Springer-Verlag, Berlin, 1993.
72. O. Raiman, "Diagnosis as a trial," Proceedings of the Model Based Diagnosis International Workshop, Paris, 1989.
73. O. Raiman, "The alibi principle," in Readings in Model-Based Diagnosis, W. Hamscher et al., Eds., Morgan Kaufmann, San Mateo, CA, pp. 66-70, 1992.
74. O. Raiman, J. de Kleer, V. Saraswat, and M. Shirley, "Characterizing non-intermittent faults," Proceedings of the 9th National Conference on AI (AAAI-91), Anaheim, CA, July 14-19, 1991.
75. A. Ram, M.T. Cox, and S. Narayanan, "Goal-driven learning in multistrategy reasoning and learning systems, in Goal-Driven Learning, A. Ram and D.B. Leake, Eds., MIT Press, Cambridge, MA, 1995.
76. A. Ram and D.B. Leake, "Learning, goals, and learning goals," in Goal-Driven Learning, MIT Press, Cambridge, MA, 1995.
77. A. Ram and D.B. Leake, Goal-Driven Learning, MIT Press, Cambridge, MA, 1995.
78. W. Reif, "The KIV approach to software engineering," in Methods, Languages, and Tools for the Construction of Correct Software, Lecture Notes in Computer Science (LNCS), no. 1009, M. Broy and S. Jähnichen, Eds., Springer-Verlag, Berlin, 1995.
79. R. Reiter, "A theory of diagnosis from first principles," Artificial Intelligence, 32, 57-95 (1987).
80. A.T. Schreiber, B.J. Wielinga, and J.A. Breuker, Eds., KADS: A Principled Approach to Knowledge-Based System Development, Vol. II of Knowledge-Based Systems Book Series, Academic Press, London, 1993.
81. A.T. Schreiber, B. Wielinga, J.M. Akkermans, W. Van De Velde, and R. de Hoog, CommonKADS: A comprehensive methodology for KBS development, IEEE Expert, 9, 28-37 (1994).
82. E.Y. Shapiro, Algorithmic Program Debugging, MIT Press, Cambridge, MA, 1982.
83. M. Shaw and D. Garlan, Software Architectures: Perspectives on an Emerging Discipline, Prentice-Hall, Englewood Cliffs, NJ, 1996.
84. L. Steels, "Components of expertise," AI Magazine, 11 (1990).
85. J. Sticklen, B. Chandrasekaran, and W.E. Bond, "Applying a functional approach for Model based reasoning," Proceedings of the (IJCAI) Workshop on Model Based Reasoning, Detroit, MI, 1989.
86. P. Struss, "Diagnosis as a process," in Readings in Model-Based Diagnosis, W. Hamscher et al., Eds., Morgan Kaufmann, San Mateo, CA, 1992.
87. P. Struss and O. Dressler, "'Physical negation' - integrating fault models into the general diagnostic engine," Proceedings of the 11th International Joint Conference on AI (IJCAI-89), Detroit, MI, 1989.
88. A. ten Teije and F. Van Harmelen, "Using reflection techniques for flexible problem solving (with examples from diagnosis)," Future Generation Computer Systems, 12, 217-234 (1996).
89. P. Terpstra, G. van Heijst, B. Wielinga, and N. Shadbolt, "Knowledge acquisition support through generalised directive models," in Second Generation Expert Systems, M. David et al., Eds., Springer-Verlag, Berlin, 1993.
90. W. van de Velde, "Inference structure as a basis for problem solving," Proceedings of the 8th European Conference on Artificial Intelligence (ECAI-88), Munich, August 1-5, 1988.
91. G. van Heijst, P. Terpstra, B.J. Wielinga, and N. Shadbolt, "Using generalised directive models in knowledge acquisition," in Current Developments in Knowledge Acquisition, LNAI, T. Wetter et al., Eds., Springer-Verlag, Berlin, 1992.
92. B. Wielinga, J.M. Akkermans, and A.Th. Schreiber, "A formal analysis of parametric design problem solving," Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW'95). Banff, Canada, January 26-February 3, 1995.