Methods to solve the context dependency problem of problem-solving methods [online]

Context dependency of knowledge models causes several problems: unreliability of knowledge-based systems, maintainability effort and limitations for sharing and reuse. Problem-solving methods are knowledge models of the reasoning process of knowledge-based systems. In the paper we present two complementary methods to deal with the situatedness of problem-solving methods. First, we present a method that helps to investigate the context dependency of a method by making underlaying assumptions explicit. We use failed proof attempts as a search method for assumptions and analysis of these failures for constructing and refining assumptions. Second, we present a structured approach for developing and adapting problem-solving methods to different contexts. We view this process as stepwise combination process of methods we adapters. Starting from very generic strategies with very general data structures and add adapters that refine the states of the problem-solving process, that refine state transitions, and that add assumptions necessary to link the competence of a method with given problem definitions and domain knowledge.

[1]  Christian Morgenstern,et al.  Why Use Evolving Algebras for Hardware and Software Engineering ? ? , 1995 .

[2]  Dieter Fensel,et al.  Domain and Task Modeling in MIKE , 1996 .

[3]  Raymond Reiter,et al.  Characterizing Diagnoses and Systems , 1992, Artif. Intell..

[4]  John P. McDermott,et al.  SALT: A Knowledge Acquisition Language for Propose-and-Revise Systems , 1993, Artif. Intell..

[5]  V. Richard Benjamins,et al.  Structure-preserving knowledge-based system development through reusable libraries: a case study in diagnosis , 1997, Int. J. Hum. Comput. Stud..

[6]  K. Mani Chandy,et al.  Predicate Transformers for Reasoning about Concurrent Computation , 1995, Sci. Comput. Program..

[7]  Yuval Shahar,et al.  Task Modeling with Reusable Problem-Solving Methods , 1995, Artif. Intell..

[8]  Alan C. Shaw,et al.  Reasoning About Time in Higher-Level Language Software , 1989, IEEE Trans. Software Eng..

[9]  V. R. Benjamins,et al.  Problem-Solving Methods for Diagnosis and their Role in Knowledge Acquisition , 1996 .

[10]  Nigel Shadbolt,et al.  The Thin End of the Wedge: Efficiency and the Generalised Directive Model Methodology , 1996, EKAW.

[11]  John McDermott,et al.  Usable and reusable programming constructs , 1991 .

[12]  Dieter Fensel,et al.  Specifying Knowledge-Based Systems with Reusable Components , 1997 .

[13]  Varol Akman,et al.  Steps Toward Formalizing Context , 1996, AI Mag..

[14]  Frank Puppe,et al.  Systematic Introduction to Expert Systems , 1993, Springer Berlin Heidelberg.

[15]  Edsger W. Dijkstra,et al.  Guarded commands, nondeterminacy and formal derivation of programs , 1975, Commun. ACM.

[16]  Tom Bylander,et al.  Complexity Results for Planning , 1991, IJCAI.

[17]  Bob J. Wielinga,et al.  Steps in Constructing Problem Solving Methods , 1993, EKAW.

[18]  J. B. Wordsworth.  Software Engineering with B , 1996 .

[19]  Joost Breuker,et al.  Components of Problem Solving and Types of Problems , 1994, EKAW.

[20]  Dean Allemang,et al.  The Computational Complexity of Abduction , 1991, Artif. Intell..

[21]  William J. Clancey,et al.  The knowledge level reinterpreted: Modeling socio‐technical systems , 1993, Int. J. Intell. Syst..

[22]  A. T. Schreiber,et al.  CommonKADS, A comprehensive methodology for KBS development, Deliverable ESPRIT project P5248, KADS-II/DM1.2a , 1994 .

[23]  Dieter Fensel,et al.  The Use of Ontologies For Specifying Tasks and Problem-Solving Methods: A Case Study , 1997 .

[24]  Dieter Fensel,et al.  Assumptions of Problem-Solving Methods and their Role in Knowledge Engineering , 1996, ECAI.

[25]  Kenneth M. Ford,et al.  Expertise in context: personally constructed, socially selected and reality-relevant? , 1997 .

[26]  Mark Stefik,et al.  Introduction to knowledge systems , 1995 .

[27]  Douglas R. Smith,et al.  Toward a Classiication Approach to Design , 1996 .

[28]  L. Steels,et al.  Problems in Indexing Problem Solving Methods , 1997 .

[29]  A. T. Schreiber,et al.  A formal analysis of parametric design problem solving , 1995 .

[30]  Christine Golbreich,et al.  Assumptions of Problem-Solving Methods , 1996, EKAW.

[31]  Shlomo Zilberstein,et al.  Using Anytime Algorithms in Intelligent Systems , 1996, AI Mag..

[32]  J. Liu,et al.  SPECWARE: An Advanced Evironment for the Formal Development of Complex Software Systems , 1996, AMAST.

[33]  Gary James Jason,et al.  The Logic of Scientific Discovery , 1988 .

[34]  Remco Straatman,et al.  A Performance Model for Knowledge-Based Systems , 1995, EUROVAV.

[35]  Dieter Fensel,et al.  MLPM: Defining a Semantics and Axiomatization for Specifying the Reasoning Process of Knowleged-based Systems , 1996, ECAI.

[36]  Manfred Aben,et al.  Formally specifying reusable knowledge model components , 1993 .

[37]  Richard Benjamins,et al.  Remedying the Reusability-Usability Tradeoff for Problem-Solving Methods , 1996 .

[38]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[39]  Bernhard Nebel,et al.  Artificial intelligence: a computational perspective , 1997 .

[40]  John McCarthy,et al.  Notes on Formalizing Context , 1993, IJCAI.

[41]  Dieter Fensel,et al.  Specifying and Verifying Knowledge-Based Systems with KIV , 1997, EUROVAV.

[42]  A.C.M. ten Teije-Koppen.  Automated configuration of problem solving methods in diagnosis , 1997 .

[43]  Frank Puppe,et al.  Systematic introduction to expert systems - knowledge representations and problem-solving methods , 2011 .

[44]  B. Chandrasekaran,et al.  Generic Tasks in Knowledge-Based Reasoning: High-Level Building Blocks for Expert System Design , 1986, IEEE Expert.

[45]  Dieter Fensel,et al.  Assumptions in Model-Based Diagnosis , 1996 .

[46]  Dieter Fensel,et al.  Specification and Verification of Knowledge-Based Systems , 1996 .

[47]  Todd R. Johnson,et al.  Task-structure analysis for knowledge modeling , 1992, CACM.

[48]  Mark Saaltink,et al.  The Z/EVES Reference Manual (for Version 1.5) , 1997 .

[49]  Walter Van de Velde.  Inference Structure as a Basis for Problem Solving , 1988, ECAI.

[50]  Luc Steels,et al.  Components of Expertise , 1990, AI Mag..

[51]  Dieter Fensel,et al.  Assumptions and Limitations of a Problem-Solving Method: A Case Study , 1995 .