The essence of problem-solving methods: making assumptions to gain efficiency

In this paper, we present the following view on problem-solving methods for knowledge-based systems: problem-solving methods describe anefficient reasoning strategyfor achieving a goal by introducingassumptionsabout the available domain knowledge and the required functionality. Assumptions, dynamic reasoning behaviour and functionality are the three elements necessary to characterize a problem-solving method. In this paper, we elaborate this argument and introduce a framework for characterizing and developing such efficient problem solvers.

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

[2]  Hector J. Levesque,et al.  Foundations of a Functional Approach to Knowledge Representation , 1984, Artif. Intell..

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

[4]  Fred Krögr.  Temporal Logic Of Programs , 1987 .

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

[6]  Paul J. Feltovich,et al.  Categorization and Representation of Physics Problems by Experts and Novices , 1981, Cogn. Sci..

[7]  Douglas R. Smith,et al.  Toward a Classification Approach to Design , 1996, AMAST.

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

[9]  A.C.M. ten Teije,et al.  An extended spectrum of logical definitions for diagnostic sytems , 1994 .

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

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

[12]  A.C.M. ten Teije,et al.  Approximations in diagnosis: motivations and techniques , 1995 .

[13]  Karsten Poeck,et al.  Making Role Limiting Shells More Flexible , 1993, EKAW.

[14]  Devika Subramanian,et al.  Provably Bounded Optimal Agents , 1993, IJCAI.

[15]  Randall Davis,et al.  Diagnostic Reasoning Based on Structure and Behavior , 1984, Artif. Intell..

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

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

[18]  Anita Pos,et al.  Automated Redesign of Engineering Models , 1997 .

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

[20]  Guus Schreiber,et al.  On Problems with the Knowledge Level Perspective , 1991 .

[21]  Ashok K. Goel,et al.  Complexity in Classificatory Reasoning , 1987, AAAI.

[22]  Friedrich L. Bauer,et al.  The Munich Project CIP , 1988, Lecture Notes in Computer Science.

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

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

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

[26]  Lawrence Birnbaum,et al.  Basic concepts for building expert systems , 1983 .

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

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

[29]  Yves Ledru,et al.  Using KIDS as a tool support for VDM , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

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

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

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

[33]  Dieter Fensel,et al.  Giving Structured Analysis Technologie a Formal and Operational Semantics with KARL , 1993, Requirements Engineering.

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

[35]  Patrick Albert,et al.  Knowledge Level Model of a Configurable Learning System , 1994, EKAW.

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

[37]  Jan Top,et al.  Tasks and ontologies in engineering modelling , 1994, Int. J. Hum. Comput. Stud..

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

[39]  Dorothea P. Simon,et al.  Expert and Novice Performance in Solving Physics Problems , 1980, Science.

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

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

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

[43]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

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

[45]  Pattie Maes,et al.  Meta-Level Architectures and Reflection , 1988 .

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

[47]  Douglas R. Smith,et al.  KIDS: A Semiautomatic Program Development System , 1990, IEEE Trans. Software Eng..

[48]  Allen Newell,et al.  Formulating the problem space computational model , 1993 .

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

[50]  David Lorge Parnas,et al.  A rational design process: How and why to fake it , 1986, IEEE Transactions on Software Engineering.

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

[52]  Guus Schreiber,et al.  KADS : a principled approach to knowledge-based system development , 1993 .

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

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

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

[56]  Yolanda Gil,et al.  Explicit Representations of Problem-Solving Strategies to Support Knowledge Acquisition , 1996, AAAI/IAAI, Vol. 1.

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

[58]  Dieter Fensel,et al.  The Knowledge Acquisition and Representation Language, KARL , 1995, Springer US.

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

[60]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993, Knowl. Acquis..

[61]  Allen Newell,et al.  The Knowledge Level , 1989, Artif. Intell..

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

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

[64]  Alon Y. Halevy,et al.  CARIN: A Representation Language Combining Horn Rules and Description Logics , 1996, ECAI.

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

[66]  Dieter Fensel,et al.  The Mincer Metaphor for Problem-Solving Methods: Making Assumptions for Reasons of Efficiency , 1996 .

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

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

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

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

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

[72]  Bob J. Wielinga,et al.  Using explicit ontologies in KBS development , 1997, Int. J. Hum. Comput. Stud..

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

[74]  Walter Van de Velde.  Tractable Rationality at the Knowledge Level , 1991 .

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

[76]  Marc Linster,et al.  Exploiting problem descriptions to provide assistance with the Sisyphus task , 1994, Int. J. Hum. Comput. Stud..

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

[78]  Bert Bredeweg,et al.  Model-based Diagnosis and Prediction of Behaviour , 1994 .

[79]  Mark A. Musen,et al.  An Editor for the Conceptual Models of Interactive Knowledge-Acquisition Tools , 1989, Int. J. Man Mach. Stud..