Inverse verification of problem-solving methods

International Journal of Human Computer Studies

Volumn 49, Issue 4, 1998, Pages 339-361

  Fensel, Dieter ^a   Schönegge, Arno ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; INVERSE PROBLEMS; MATHEMATICAL MODELS; THEOREM PROVING;

INVERSE VERIFICATION;

PROBLEM SOLVING;

EID: 0032183486     PISSN: 10715819     EISSN: None     Source Type: Journal    
DOI: 10.1006/ijhc.1998.0210     Document Type: Article

References (69)

1. AGNEW, N. M, FORD, K. M. & HAYES, P. I. (1994). Expertise in context: personally constructed, socially selected, and reality-relevant? International Journal of Expert Systems, 7.
2. AKKERMANS, J. M., WIELINGA, B. & SCHREIBER, A. Th. (1993). Steps in constructing problem-solving methods. In: N. AUSSENAC et al., Eds. Knowledge-Acquisition for Knowledge-Based Systems, Lecture Notes in Artificial Intelligence , Vol. 723. Berlin: Springer.
3. AKMAN, V. & SURAV, M. (1996). Steps toward formalizing context. AI Magazine, 17.
4. BENJAMINS, R. & ABEN, M. (1997). Structure-preserving knowledge-based system development through reusable libraries: a case study in diagnosis. International Journal on Human-Computer Studies, 47, 223-258.
5. BENJAMINS, R. & PIERRET-GOLBREICH, C. (1996). Assumptions of problem-solving method. In: N. SHADBOLT et al. Eds. Advances in Knowledge Acquisition, Lecture Notes in Artificial Intelligence, Vol. 1076. Berlin: Springer.
6. BEYS, P., BENJAMINS, R. & VAN HEIJST, G. (1996). Remedying the reusability-usability trade-off for problem-solving methods. In Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW'96) . Banff, Canada, 9-14 November.
7. BÖRGER, E. (1995). Why use evolving algebras for hardware and software engineering. In M. BARTOSEK et al., Eds. SOFSEM'95: Theory and Practice of Informatics, Lecture Notes in Computer Science, Vol. 1012. Berlin: Springer.
8. BREUKER, J. (1997). Problems in indexing problem solving methods. Proceedings of the Workshop on Problem-Solving Methods for Knowledge-based Systems (W 26) during the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97). Nagoya, Japan, 23-29 August.
9. BUVAC, T. and IWANSKA, L. Eds. (1997). Context in knowledge representation and natural language. Working Notes AAAI-97 Fall Symposium Series, Cambridge, MA; MIT, 8-10, November.
10. BYLANDER, T., ALLEMANG, D., TANNER, M. C. & JOSEPHSON, J. R. (1991). The computational complexity of abduction, Artificial intelligence, 49, 25-60.
11. CHANDRASEKARAN, B. (1986). Generic tasks in knowledge-based reasoning: high-level building blocks for expert system design. IEEE Expert, 1, 23-30.
12. CHANDY, K. M. & SANDERS, B. A. (1995). Predicate transformers for reasoning about concurrent programs, Science of Computer Programming, 24.
13. CLANCEY, W. J. (1993). The knowledge level reinterpreted: modeling socio-technical systems. The International Journal of Intelligent Systems, 8.
14. COX, P. T. & PIETRZYKOWSKI, T. (1986). Causes of events: their computation and application. In Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, 27 July-1 August, Lecture Notes in Computer Science, Vol. 230, Berlin: Springer.
15. DE KLEER, J. (1986). An assumption-based TMS. Artificial Intelligence, 28.
16. DE KLEER, J., MACKWORTH, A. K. & REITER, R. (1992). Characterizing diagnoses and systems. Artificial Intelligence, 56.
17. DE KLEER, J. & WILLIAMS, B. C. (1987). Diagnosing multiple faults. Artificial Intelligence, 32, 97-130.
18. DIJKSTRA, E. W. (1975). Guarded commands, nondeterminancy, and formal derivation of programs. Communication of the ACM, 18, 453-457.
19. FENSEL, D. (1995a). 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, 26 January-3 February.
20. FENSEL, D. (1995b). The knowledge Acquisition and Representation Language KARL. Boston: Kluwer Academic Publ.
21. FENSEL, D. (1997). 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, Vol. 1319. Berlin: Springer.
22. FENSEL, D. & BENJAMINS, R. (1998) The role of assumptions in knowledge engineering, International Journal of Intelligent Systems 3, 715-747.
23. FENSEL, D., ERIKSSON, H., MUSEN, M. A. & STUDER, R. (1996). Conceptual and formal specification of problem-solving methods, International Journal of Expert Systems, 9.
24. FENSEL, D., MOTTA, E., DECKER, S. & 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, Vol. 1319. Berlin: Springer.
25. FENSEL, D., GROENBOOM, R. & RENARDEL DE LAVALETTE, G. R. (1998). Modal change logic (MCL): specifying the reasoning of knowledge-based systems. Data and Knowledge Engineering (DKE), 25.
26. FENSEL, D. & GROENBOOM, R. (1997). Specifying knowledge-based systems with reusable components. Proceedings of the 9th International Conference on Software Engineering & Knowledge Engineering (SEKE-97). Madrid, Spain, 18-20 June.
27. FENSEL, D. & MOTTA, E. (1998). Structured development of problem solving methods. In Proceedings of the 11th Workshop on Knowledge Acquisition, Modeling and Management (KAW'98) . Banff, Canada, April.
28. FENSEL, D. & SCHÖNEGGE, A. (1997). Assumption hunting as developing method for problem-solving methods. Proceedings of the Workshop on Problem-Solving Methods for Knowledge-Based Systems during the 15th International Joint Conference on AI (IJCAI-97). Nagoya, Japan, 23-30 August.
29. FENSEL, D., & STRAATMAN, R. (1998). The essence of problem-solving methods: making assumptions to gain efficiency. International Journal of Human-Computer Studies, 48, 181-215.
30. FUCHß, Th., REIF, W., SCHELLHORN, G. & STENZEL, K. (1995). Three selected case studies in verification. In M. Broy & S. Jähnichen Eds. Methods, Languages, and Tools for the Construction of Correct Software, Lecture Notes in Computer Science, Vol. 1009. Berlin: Springer.
31. GOLDBLATT, R. (1982). Axiomatising the Logic of Computer Science, Lecture Notes in Computer Science, Vol. 130. Berlin: Springer.
32. GRAHAM, Jr., R. P. & BAILOR, P. D. (1996). Synthesis of local search algorithms by algebraic means. Proceedings of the 11th Knowledge-Based Software Engineering Conference (KBSE-96).
33. GUHA, R. V. (1993). Context dependence of representations in Cyc. MCC Technical Report, CYC 066-93.
34. GUHA, R. V. & LENAT, D. B. (1990). Cyc: a midterm report, AI Magazine, 11, 32-59.
35. HAREL, D. (1984). Dynamic logic. In D. Gabby et al., Eds. Handbook of Philosophical Logic, Vol. II, Extensions of Classical Logic. Dordrecht: Reidel.
36. KLINKER, G., BHOLA, C., DALLEMAGNE, G., MARQUES, D. & MCDERMOTT, J. (1991). Usable and reusable programming constructs. Knowledge Acquisition, 3, 117-136.
37. LLOYD, J. W. (1987). Declarative error diagnosis, New Generation Computing, 5, 133-154.
38. MARCUS, S. Ed. (1988). Automating Knowledge Acquisition for Experts Systems. Boston: Kluwer Academic Publisher.
39. MARCUS, S., STOUT, J. & MCDERMOTT, J. (1998). VT: an expert elevator designer that uses knowledge-based backtracking. AI Magazine, 9, 95-111.
40. MCCARTHY, J. (1993) Notes on formalizing context. Proceedings of the 13th International Conference on Artificial Intelligence (IJCAI-93) . Chambery, France.
41. MCCARTHY, J. & BUVAC, S. (1997). Formalizing context (expanded notes). In Working Notes AAAI-97 Fall Symposium Series, Cambridge, MA: MIT, 8-10 November.
42. MEISELS, I. & SAALTINK, M. (1996). The Z/EVES reference manual. ORA Canada. Available via http//www.ora.on.ca/z-eves/.
43. MENZIES, T., (1998). 35 kinds of knowledge maintenance, The Knowledge Engineering Review (to appear).
44. MENZIES, T. & CLANCEY, W. J. Eds. (1988). Special issue on the challenge of situated cognition for symbolic knowledge based systems. International Journal of Human-Computer Studies (IJHCS) (to appear).
45. MINSKY, M. (1997). Negative expertise. In P. J. Feltovich et al. Eds. Expertise in Context. New York: AAAI Press, The MIT Press.
46. MINTON, S. (1995). Quantitative results concerning the utility of explanation-based learning. In A. Ram & D. B. Leake, Eds. Goal-Driven Learning, Cambridge MA: The MIT Press.
47. MINTON, S., CARBONELL, S., KNOBLOCK, C., K UOKKA, D. R., ETZIONI, O. & GIL, Y. (1989). Explanation-based learning: a problem solving perspective. Artificial Intelligence, 40, 63-118.
48. MOTTA, E. (1997). Reusable components for knowledge modeling. Ph.D. Thesis, Knowledge Media Institute, The Open University, UK.
49. MOTTA, E. & ZDRAHAL, Z. (1996). Parametric design problem solving. Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW'96). Banff, Canada, 9-15 November.
50. MUGGLETON, S. & BUNTINE, W. (1988). Machine invention of first-order predicates by inverting resolution. Proceedings of the 5th International Conference on Machine Learning (ICML-88), MI, USA.
51. MUGGLETON, S. & De RAEDT, L. (1994). Inductive logic programming theory and methods. Journal of logic Programming, 19/20, 629-679.
52. O'HARA, K. & SHADBOLT, N. (1996). The thin end of the wedge: efficiency and the generalized directive model methodology. In N. Shadbolt, Eds. Advances in Knowledge Acquisition, Lecture Notes in Artificial Intelligence, Vol. 1076. Berlin: Springer.
53. POPPER, K. R. (1994). The Logic of Scientific Discovery. London, 1992 (reprint of 1959).
54. REIF, W. (1995). The KIV approach to software engineering. In M. Broy & S. Jähnichen, Eds. Methods, Languages, and Tools for the Construction of Correct Software, Lecture Notes in Computer Science, Vol. 1009. Berlin: Springer.
55. REIF, W. & STENZEL, K. (1993). Reuse of proofs in software verification. In Shyamasundar, Ed. Foundation of Software Technology and Theoretical Computer Science, Lecture Notes in Computer Science, Vol. 761, Berlin: Springer.
56. SCHREIBER, A. Th. & BIRMINGHAM, B. Eds. (1996). Special issue on Sisyphus. International Journal of Human-Computer Studies, 44.
57. SHAPIRO, E. Y. (1982). Algorithmic Program Debugging. Cambridge, MA: The MIT Press.
58. SHAW, A. (1989). Reasoning about time in higher level language software. IEEE Transactions on Software Engineering, 15, 875-889.
59. SMITH, D. R. (1985). Top-down synthesis of divide-and-conquer algorithms. Artificial Intelligence, 27, 43-96.
60. SMITH, D. R. (1996). Towards a classification approach to design. Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology (AMAST-96) . Munich, Germany, 1-5 July.
61. STEFIK, M. Introduction to Knowledge Systems. San Francisco: Morgan Kaufman.
62. STRAATMAN, R. & BEYS, P. (1995). A performance model for knowledge-based systems. In M. Ayel et al., Eds. EUROVAV-95 European Symposium on the Validation and Verification of Knowledge Based Systems. University of Savoie, Chambery, 26-28 June.
63. TEN TEIJE, A. (1997). Automated configuration of problem solving methods in diagnosis. Ph.D. Thesis, University of Amsterdam, the Netherlands.
64. 2: a formal language for KADS conceptual models. Knowledge Acquisition, 4.
65. VAN HARMELEN, F. & TEN TEIJE, A. (1998). Characterizing problem solving methods by gradual requirements: overcoming the yes/no distinction. Proceedings of the 11th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW'98). Banff, Canada, 18-23 April.
66. WIELINGA, B., AKKERMANS, J. M. & SCHREIBER, A. Th. (1995). A formal analysis of parametric design problem solving. Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW'98) . Banff, Canada, 26 January-3 February.
67. WORDSWORTH, J. B. (1996). Software Engineering with B. Reading MA: Addision-Wesley.
68. ZDRAHAL, Z. & MOTTA, E. (1995). An in-depth analysis of propose & revise problem solving methods. Proceedings of the 9th Banff Knowledge Acquisition for Knowledge Based System Workshop (KAW'95). Banff, Canada, 26 January-3 February.
69. ZILBERSTEIN, S. (1996). Using anytime algorithms in intelligent systems. AI Magazine, 17.