Abstract
In this paper we present the following view on problem-solving methods for knowledge-based systems: Problem-solving methods describe an efficient reasoning strategy to achieve a goal by introducing assumptions about the available domain knowledge and the required functionality. Assumptions, dynamic reasoning behavior, and functionality are the three elements necessary to characterize a problem-solving method.
Supported by the Netherlands Computer Science Research Foundation with financial support from the Netherlands Organization for Scientific Research (NWO).
Preview
Unable to display preview. Download preview PDF.
References
J. M. Akkermans, B. Wielinga, and A. TH. Schreiber: Steps in Constructing Problem-Solving Methods. In N. Aussenac et al. (eds.): Knowledge-Acquisition for Knowledge-Based Systems, Lecture Notes in AI, no 723, Springer-Verlag, Berlin, 1993.
V. R. Benjamins: Problem Solving Methods for Diagnosis, PhD Thesis, University of Amsterdam, Amsterdam, The Netherlands, June 1993.
B. Bredeweg: Model-based diagnosis and prediction of behaviour. In [Breuker & Van de Velde, 1994], pp. 121–153.
J. Breuker and W. Van de Velde (eds.): The CommonKADS Library for Expertise Modelling, IOS Press, Amsterdam, The Netherlands, 1994.
T. Bylander: Complexity Results for Planning. In Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI-91), Sydney, Australia, August 1991.
T. Bylander and B. Chandrasekaran: Generic Tasks in Knowledge-Based Reasoning. The Right Level of Abstraction for Knowledge Acquisition. In B. Gaines et al. (eds.): Knowledge Acquisition for Knowledge-Based Systems, vol I, pp. 65–77, Academic Press, London, 1988.
T. Bylander, D. Allemang, M. C. Tanner, and J. R. Josephson: The Computational Complexity of Abduction, Artificial Intelligence, 49, pages 25–60, 1991.
B. Chandrasekaran, T.R. Johnson, and J. W. Smith: Task Structure Analysis for Knowledge Modeling, Communications of the ACM, 35(9): 124–137, 1992.
J.-M. David, J.-P. Krivine, and R. Simmons (eds.): Second Generation Expert Systems, Springer-Verlag, Berlin, 1993.
J. H. de Kleer and B. C. Williams: Diagnosing Multiple Faults, Artificial Intelligence, 32():97–130, 1987.
D. Fensel: Assumptions and Limitations of a Problem-Solving Method: A Case Study. In Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW'95), Banff, Canada, February 26th–February 3th, 1995.
D. Fensel: Formal Specification Languages in Knowledge and Software Engineering, The Knowledge Engineering Review, 10(4), 1995.
D. Fensel and R. Groenboom: A Formal Semantics for Specifying the Dynamic Reasoning of Knowledge-based Systems. In Proceedings of the Knowledge Engineering: Methods and Languages Workshop (KEML'96), January 15–16, 1996.
D. Fensel and F. van Harmelen: A Comparison of Languages which Operationalize and Formalize KADS Models of Expertise, The Knowledge Engineering Review, 9(2), 1994.
A. Goel, N. Soundararajan, and B. Chandrasekaran: Complexity in Classificatory Reasoning. In 6th National Conference on Artificial Intelligence (AAAI'87), Seattle, Washington, July 13–17, 1987, pages 421–425.
M. Kifer, G. Lausen, and J. Wu: Logical Foundations of Object-Oriented and Frame-Based Languages, Journal of the ACM, 42:741–843, 1995.
D: Kozen: Logics of Programs. In J. v. Leeuwen (ed.), Handbook of Theoretical Computer Science, Elsevier Science Publ., B. V., Amsterdam, 1990.
D. Landes and R. Studer: The Treatment of Non-Functional Requirements in MIKE. In Proceedings of the 5th European Software Engineering Conference ESEC'95, Barcelona, Spain, September 25–28, 1995.
H. J. Levesque: Foundations of a functional approach to knowledge representation, Artificial Intelligence, 23(2):155–212, 1984.
S. Marcus (ed.). Automating Knowledge Acquisition for Experts Systems, Kluwer Academic Publisher, Boston, 1988.
S. Marcus, J. Stout, and J. McDermott VT: An Expert Elevator Designer That Uses Knowledge-based Backtracking, AI Magazine, 9(1):95–111, 1988.
M. A. Musen: Overcoming the Limitations of Role-Limiting Methods, Knowledge Acquisition, 4 (2): 165–170, 1992.
B. Nebel: Artificial intelligence: A Computational Perspective. To appear in G. Brewka (ed.), Essentials in Knowledge Representation.
K. Poeck, D. Fensel, D. Landes, and J. Angele: Combining KARL And CRLM For Designing Vertical Transportation Systems. In [Schreiber & Birmingham, 1996].
F. Puppe: Systematic Introduction to Expert Systems: Knowledge Representation and Problem-Solving Methods, Springer-Verlag, Berlin, 1993.
W. Reif: The KIV Approach to Software Engineering. In M. Broy and S. Jähnichen (eds.): Methods, Languages, and Tools for the Construction of Correct Software, Lecture Notes in Computer Science (LNCS), no 1009, Springer-Verlag, Berlin, 1995.
E. Rich and K. Knight: Artificial Intelligence, McGraw-Hill, New York, 2nd edition, 1991.
C. Rouveirol and P. Albert: Knowledge level model of a configurable learning system. In Lecture Notes in Aritificial Intelligence (LNAI), no 867 Springer-Verlag, Berlin, 1994.
A. Th. Schreiber and B. Birmingham (eds.): Special Issue on Sisyphus, The International Journal of Human-Computer Studies, to appear, 1996.
A. Th. Schreiber, B. J. Wielinga, and J. A. Breuker (eds.): KADS: A Principled Approach to Knowledge-Based System Development, vol 11 of Knowledge-Based Systems Book Series, Academic Press, London, 1993.
A. TH. Schreiber, B. Wielinga, J. M. Akkermans, W. Van De Velde, and R. de Hoog: CommonKADS. A Comprehensive Methodology for KBS Development, IEEE Expert, 9(6):28–37, 1994.
L. Steels: Components of Expertise, AI Magazine, 11(2), 1990.
R. Straatman and P. Beys: A Performance Model for Knowledge-based Systems. In M. Ayel and M. C. Rousset (eds.): EUROVAV-95 European Symposium on the Validation and Verification of Knowledge Based Systems, pages 253–263. ADEIRAS, Universite de Sovoie, Chambery, 26–28 June 1995.
W. Tank: Modellierung von Expertise über Konfigurationsaufgaben, Infix, Sankt Augustin, Germany, 1992.
A. ten Teije and F. van Harmelen: An Extended Spectrum of Logical Definitions for Diagnostic Systems. In Proceedings of DX-94 Fifth International Workshop on Principles of Diagnosis, 1994.
P. Terpstra, G. van Heijst, B. Wielinga, and N. Shadtbolt: Knowledge Acquisition Support Through Generalised Directive Models. In [David et al., 1993], pp. 428–455.
J. Top and H. Akkermans: Tasks and Ontologies in Engineering Modeling, International Journal of Human-Computer Studies, 41():585–617, 1994.
F. van Harmelen and A. ten Teije: Approximations in Diagnosis: Motivations and Techniques. In C. Bioch and Y.H. Tan (eds.), Proceedings of the Dutch Conference on AI(NAIC'95), Rotterdam, June 1995.
W. Van de Velde: A Constructivist View on Knowledge Engineering. In Proceedings of the 11th European Conference on Artificial Intelligence (ECAI'94), Amsterdam, August 1994.
B. J. Wielinga and A. Th. Schreiber: Conceptual Modelling of Large Reusable Knowledge Bases. In K. von Luck and H. Marburger (eds.): Management and Processing of Complex Data Structures, Springer-Verlag, Lecture Notes in Computer Science, no 777, pages 181–200, Berlin, Germany, 1994.
B. Wielinga, J. M. Akkermans, and A. TH. Schreiber: A Formal Analysis of Parametric Design Problem Solving. In B. R. Gaines and M. A. Musen (eds.): Proceedings of the 8th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop (KAW-95), vol II, pp. 31/1–37/15, Alberta, Canada, 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fensel, D., Straatman, R. (1996). Problem-solving methods: Making assumptions for efficiency reasons. In: Shadbolt, N., O'Hara, K., Schreiber, G. (eds) Advances in Knowledge Acquisition. EKAW 1996. Lecture Notes in Computer Science, vol 1076. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61273-4_2
Download citation
DOI: https://doi.org/10.1007/3-540-61273-4_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61273-5
Online ISBN: 978-3-540-68391-9
eBook Packages: Springer Book Archive