Structured Development of Problem Solving Methods

Problem solving methods (PSMs) describe the reasoning components of knowledge-based systems as patterns of behavior that can be reused across applications. While the availability of extensive problem solving method libraries and the emerging consensus on problem solving method specification languages indicate the maturity of the field, a number of important research issues are still open. In particular, very little progress has been achieved on foundational and methodological issues. Hence, despite the number of libraries which have been developed, it is still not clear what organization principles should be adopted to construct truly comprehensive libraries, covering large numbers of applications and encompassing both task-specific and task-independent problem solving methods. In this paper, we address these "fundamental" issues and present a comprehensive and detailed framework for characterizing problem solving methods and their development process. In particular, we suggest that PSM development consists of introducing assumptions and commitments along a three-dimensional space defined in terms of problem-solving strategy, task commitments, and domain (knowledge) assumptions. Individual moves through this space can be formally described by means of adapters. In the paper, we illustrate our approach and argue that our architecture provides answers to three fundamental problems related to research in problem solving methods: 1) what is the epistemological structure and what are the modeling primitives of PSMs? 2) how can we model the PSM development process? and 3) how can we develop and organize truly comprehensive and manageable libraries of problem solving methods?.

[1]  Allen Newell,et al.  Human Problem Solving. , 1973 .

[2]  Miss A.O. Penney.  (b) , 1974, The New Yale Book of Quotations.

[3]  Allen Newell,et al.  Computer science as empirical inquiry: symbols and search , 1976, CACM.

[4]  Edward A. Felgenbaum.  The art of artificial intelligence: themes and case studies of knowledge engineering , 1977, IJCAI 1977.

[5]  Edward A. Feigenbaum,et al.  The Art of Artificial Intelligence: Themes and Case Studies of Knowledge Engineering , 1977, IJCAI.

[6]  Nils J. Nilsson,et al.  Principles of Artificial Intelligence , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[7]  William J. Clancey,et al.  Heuristic Classification , 1986, Artif. Intell..

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

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

[10]  B. Chandrasekaran,et al.  Generic Tasks for Knowledge-Based Reasoning: The "Right" Level of Abstraction for Knowledge Acquisition , 1987, Int. J. Man Mach. Stud..

[11]  B. Chandrasekaran.  Towards a Functional Architecture for Intelligence Based on Generic Information Processing Tasks , 1987, IJCAI.

[12]  Rina Dechter,et al.  Constraint processing incorporating, back jumping, learning, and cutset-decomposition , 1988, [1988] Proceedings. The Fourth Conference on Artificial Intelligence Applications.

[13]  John P. McDermott,et al.  Toward Automating Recognition of Differing Problem-Solving Demands , 1988, Int. J. Man Mach. Stud..

[14]  John P. McDermott,et al.  VT: An Expert Elevator Designer That Uses Knowledge-Based Backtracking , 1988, AI Mag..

[15]  Sandra Marcus,et al.  VT: an expert elevator designer that uses K-B backtracking , 1988 .

[16]  Sandra Marcus,et al.  Automating Knowledge Acquisition for Expert Systems , 1988 .

[17]  Dov M. Gabbay,et al.  Extensions of Classical Logic , 1989 .

[18]  Sanjay Mittal,et al.  Towards a Generic Model of Configuraton Tasks , 1989, IJCAI.

[19]  M. Lowry,et al.  Algorithm Theories and Design Tactics , 1989, Sci. Comput. Program..

[20]  B. Chandrasekaran,et al.  Design Problem Solving: A Task Analysis , 1990, AI Mag..

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

[22]  Martin Wirsing,et al.  Algebraic Specification , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[23]  M. W. Wheeler,et al.  Automatic knowledge acquisition for expert systems , 1990, Proceedings of the 1990 Symposium on Applied Computing.

[24]  Alan Bundy.  Catalogue of Artificial Intelligence Techniques , 1990, Symbolic Computation.

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

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

[27]  Hans-Jörg Kreowski,et al.  Algebraic system specification and development , 1991, Lecture Notes in Computer Science.

[28]  Barton L. Lipman.  How to Decide How to Decide How to. . . : Modeling Limited Rationality , 1991 .

[29]  Norbert E. Fuchs,et al.  Schema-Based Transfomations of Logic Programs , 1991, LOPSTR.

[30]  Gio Wiederhold,et al.  Mediators in the architecture of future information systems , 1992, Computer.

[31]  Nigel Shadbolt,et al.  Using Generalised Directive Models in Knowledge Acquisition , 1992, EKAW.

[32]  Dean Allemang,et al.  Acquiring Knowledge of Knowledge Acquisition: A Self-Study of Generic Tasks , 1992, EKAW.

[33]  Frank Puppe,et al.  COKE: efficient solving of complex assignment problems with the propose-and-exchange method , 1992, Proceedings Fourth International Conference on Tools with Artificial Intelligence TAI '92.

[34]  Samson W. Tu,et al.  A multiple-method knowledge-acquisition shell for the automatic generation of knowledge-acquisition tools , 1992 .

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

[36]  William J. Clancey,et al.  Model Construction Operators , 1992, Artif. Intell..

[37]  John McDermott,et al.  Preliminary steps toward a taxonomy of problem-solving methods , 1993 .

[38]  Enrico Motta,et al.  Constructing knowledge-based systems , 1993, IEEE Software.

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

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

[41]  Nigel Shadbolt,et al.  KA process support through generalised directive models , 1993 .

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

[43]  Dieter Fensel,et al.  A comparison of languages which operationalize and formalize KADS models of expertise , 1994, The Knowledge Engineering Review.

[44]  Van de velde Breuker.  Common KADS Library for Expertise Modelling , 1994 .

[45]  Bob J. Wielinga,et al.  CML: The CommonKADS Conceptual Modelling Language , 1994, EKAW.

[46]  Bob J. Wielinga,et al.  CommonKADS: a comprehensive methodology for KBS development , 1994, IEEE Expert.

[47]  Brian R. Gaines,et al.  A situated classification solution of a resource allocation task represented in a visual language , 1994, Int. J. Hum. Comput. Stud..

[48]  Ulrich Müller-Kolck,et al.  Systematic introduction to expert systems: Knowledge representations and problem-solving methods , 1994 .

[49]  Jay T. Runkel,et al.  Solving Sisyphus by design , 1994, Int. J. Hum. Comput. Stud..

[50]  Walter Van de Velde.  A Constructivist View on Knowledge Engineering , 1994, ECAI.

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

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

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

[54]  Rudi Studer,et al.  The Treatment of Non-Functional Requirements in MIKE , 1995, ESEC.

[55]  Dieter Fensel,et al.  Formal specification languages in knowledge and software engineering , 1995, The Knowledge Engineering Review.

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

[57]  Dieter Fensel,et al.  Formal methods in knowledge engineering , 1995, The Knowledge Engineering Review.

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

[59]  Jay T. Runkel,et al.  Solving VT by reuse , 1996, Int. J. Hum. Comput. Stud..

[60]  Enrico Motta,et al.  Parametric Design Problem Solving , 1996 .

[61]  Mary Shaw,et al.  Software architecture - perspectives on an emerging discipline , 1996 .

[62]  Dieter Fensel,et al.  Combining KARL and CRLM for designing vertical transportation systems , 1996, Int. J. Hum. Comput. Stud..

[63]  Paul D. Bailor,et al.  Synthesis of local search algorithms by algebraic means , 1996, Proceedings of the 11th Knowledge-Based Software Engineering Conference.

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

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

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

[67]  John H. Gennari,et al.  Reuse For Knowledge-Based Systems and CORBA Components , 1996 .

[68]  Klas Orsvärn.  Principles for Libraries of Task Decomposition Methods - Conclusions from a Case-study , 1996, EKAW.

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

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

[71]  Dieter Fensel,et al.  Conceptual and formal specifications of problem-solving mathods , 1996 .

[72]  J.A.P.J. Breuker,et al.  Problems in indexing problem solving methods , 1997 .

[73]  Daniel M. Yellin,et al.  Strom: Protocol Specifications and Component Adapters , 1997 .

[74]  Daniel M. Yellin,et al.  Protocol specifications and component adaptors , 1997, TOPL.

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

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

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

[78]  Dieter Fensel.  The Tower-of-Adapter Method for Developing and Reusing Problem-Solving Methods , 1997, EKAW.

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

[80]  Michael R. Genesereth,et al.  The Conceptual Basis for Mediation Services , 1997, IEEE Expert.

[81]  Dieter Fensel,et al.  Using Ontologies for Defining Tasks, Problem-Solving Methods and their Mappings , 1997, EKAW.

[82]  Dieter Fensel,et al.  Using KIV to specify and verify architectures of knowledge-based systems , 1997, Proceedings 12th IEEE International Conference Automated Software Engineering.

[83]  John Domingue,et al.  Tadzebao and WebOnto: discussing, browsing, and editing ontologies on the Web , 1998 .

[84]  Dieter Fensel,et al.  Editorial: problem-solving methods , 1998, Int. J. Hum. Comput. Stud..

[85]  Richard Benjamins,et al.  The role of assumptions in knowledge engineering , 1998, Int. J. Intell. Syst..

[86]  Dieter Fensel,et al.  The role of assumptions in knowledge engineering , 1998 .

[87]  Dieter Fensel,et al.  Inverse verification of problem-solving methods , 1998, Int. J. Hum. Comput. Stud..

[88]  George T. Heineman.  A model for designing adaptable software components , 1998, Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241).

[89]  Mark A. Musen,et al.  Modern architectures for intelligent systems: reusable ontologies and problem-solving methods , 1998, AMIA.

[90]  Dieter Fensel,et al.  Modal Change Logic (MCL): Specifying the Reasoning of Knowledge-Based Systems , 1998, Data Knowl. Eng..

[91]  Enrico Motta,et al.  Reusable components for knowledge modelling , 1998 .

[92]  Enrico Motta,et al.  A library of problem-solving components based on the integration of the search paradigm with task and method ontologies , 1998, Int. J. Hum. Comput. Stud..

[93]  Dieter Fensel,et al.  The essence of problem-solving methods: making assumptions to gain efficiency , 1998, Int. J. Hum. Comput. Stud..

[94]  Dieter Fensel,et al.  Brokering Problem-Solving Knowledge at the Internet. , 1999 .

[95]  Enrico Motta,et al.  Specifications of Knowledge Components for Reuse , 1999 .

[96]  Enrico Motta,et al.  Reusable Components for Knowledge Modelling: Case Studies in Parametric Design Problem Solving , 1999 .

[97]  Dieter Fensel,et al.  A software architecture for knowledge-based systems , 1999, Knowl. Eng. Rev..

[98]  Yolanda Gil,et al.  Representing Capabilities of Problem Solving Methods , 1999 .

[99]  Dieter Fensel,et al.  UPML: A Framework for Knowledge System Reuse , 1999, IJCAI.

[100]  Dieter Fensel,et al.  Towards Brokering Problem-Solving Knowledge on the Internet , 1999, EKAW.

[101]  Dieter Fensel,et al.  Problem-Solving Methods: Understanding, Development, Description, and Reuse. , 2000 .

[102]  Enrico Motta,et al.  Ontology-driven document enrichment: principles, tools and applications , 2000, Int. J. Hum. Comput. Stud..

[103]  George T. Heineman.  A model for designing adaptable software components , 2000, SOEN.

[104]  Jerzy Tiuryn,et al.  Dynamic logic , 2001, SIGA.

[105]  Aaas News,et al.  Book Reviews , 1893, Buffalo Medical and Surgical Journal.