A state space analysis of propose-and-revise. (English) Zbl 0920.68131
Summary: A central research topic in the area of knowledge engineering is the reuse of problem-solving methods for developing knowledge based systems. For being able to reuse a problem-solving method it is important to know under which restrictions a problem-solving method is appropriate to solve a given problem. This paper describes the problem-solving method propose-and-revise as well as the way this problem-solving method searches in its problem space for a solution. A quantitative analysis of the efficiency of this search process is given. Additionally, task and domain specific properties and restrictions and their influence on the efficiency of the search process are considered. For these purposes an instance of the problem-solving method is transformed to a corresponding instance of a Stanford Research Institute Problem Solver (STRIPS) planning system. Then the problem-solving method is considered as an additional control strategy for such a planning system. By this way the various insights and analysis results which are available in the area of planning systems may be exploited for the analysis of problem solving methods.
Software:
CommonKADSReferences:
| [1] | Clancey, Artif Intell 27 pp 289– (1985) · doi:10.1016/0004-3702(85)90016-5 |
| [2] | Newell, Artif Intell 18 pp 87– (1982) · doi:10.1016/0004-3702(82)90012-1 |
| [3] | Automating Knowledge Acquisition for Experts Systems, Kluwer Academic: Boston, MA, 1988. · doi:10.1007/978-1-4684-7122-9 |
| [4] | Automating Knowledge Acquisition for Experts Systems; Kluwer Academic: Boston, MA, 1988. · doi:10.1007/978-1-4684-7122-9 |
| [5] | Systematic Introduction to Expert Systems: Knowledge Representation and Problem-Solving Methods; Springer-Verlag: Berlin, 1993. · doi:10.1007/978-3-642-77971-8 |
| [6] | Automating Knowledge Acquisition for Experts Systems; Kluwer Academic: Boston, MA, 1988; pp 225-255. · doi:10.1007/978-1-4684-7122-9_8 |
| [7] | ; Eds.; The CommonKADS Library for Expertise Modeling; IOS Press: Amsterdam, 1994. |
| [8] | Problem-Solving Methods for Diagnosis; Ph.D. Thesis, University of Amsterdam, Amsterdam, June 1993. |
| [9] | Schreiber, IEEE Expert pp 28– (1994) · doi:10.1109/64.363263 |
| [10] | Chandrasekaran, Commun ACM 35 pp 124– (1992) · doi:10.1145/130994.131002 |
| [11] | Krueger, ACM Comput Surveys 24 pp 131– (1992) · doi:10.1145/130844.130856 |
| [12] | Pragmatics of the Knowledge Level; Ph.D. Thesis, University of Amsterdam, 1992. |
| [13] | In Principles of Knowledge Representation, Studies in Logic, Language and Information, Ed.; CSLI Publications: Stanford, CA, 1996, pp 237-266. |
| [14] | In Readings in Planning; ; ; Eds.; Morgan Kaufmann, San Mateo, CA, 1990. |
| [15] | Configuring Elevator Systems; Tech. Rep.; Digital Equipment Co.: Marlboro, MA, 1992. |
| [16] | Schreiber, Int J Human-Comput Stud 44 (1996) |
| [17] | A Case Study: Assumptions and Limitations of a Problem-Solving Method, Proc of the 9th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW ’95), Banff, Canada, 1995. |
| [18] | Poeck, Int J Human-Comput Stud 44 pp 435– (1996) · doi:10.1006/ijhc.1996.0021 |
| [19] | Marcus, AI Mag 9 pp 95– (1988) |
| [20] | ; Human Problem Solving; Prentice-Hall, Englewood Cliffs, NJ, 1972. |
| [21] | Erol, Artif Intell 76 pp 75– (1991) · Zbl 1013.68548 · doi:10.1016/0004-3702(94)00080-K |
| [22] | Chapman, Artif Intell 32 pp 333– (1987) · Zbl 0642.68171 · doi:10.1016/0004-3702(87)90092-0 |
| [23] | Computation: Finite and Infinite Machines; Prentice-Hall, Englewood Cliffs, NJ, 1967. · Zbl 0195.02402 |
| [24] | Korf, Artif Intell 26 pp 65– (1987) · doi:10.1016/0004-3702(87)90051-8 |
| [25] | Bylander, Artif Intell 69 pp 165– (1994) · Zbl 0821.68065 · doi:10.1016/0004-3702(94)90081-7 |
| [26] | BÄckström, Comp Intell 11 pp 625– (1995) · doi:10.1111/j.1467-8640.1995.tb00052.x |
| [27] | ; An In-Depth Analysis of Propose & Revise Problem Solving Methods, Proc of the 9th Banff Knowledge Acquisition for Knowledge-based Systems Workshop (KAW ’95), Banff, Canada; 1995. |
| [28] | ; ; A Formal Analysis of Parametric Design Problem Solving, Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop (KAW ’95), Banff, Canada; 1995. |
| [29] | Linster, Int J Human-Comput Stud 40 (1994) |
| [30] | Eriksson, Artif Intell 79 pp 293– (1995) · doi:10.1016/0004-3702(94)00040-9 |
| [31] | Fensel, Int J Expert Syst Res Appl 9 (1996) |
| [32] | ; ; Assumptions of Problem-Solving Methods and Their Role in Knowledge Engineering, Proc of the 12th European Conference on Artificial Intelligence (ECAI-96), Budapest; 1996. |
| [33] | ; Specifying Knowledge-Based Systems with Reusable Components, Proc of the 9th International Conference on Software Engineering and Knowledge Engineering (SEKE-97), Madrid, Spain; June 18-20, 1997. |
| [34] | ; ; ; Using Ontologies for Defining Tasks, Problem-Solving Methods and Their Mappings. In u. a. (Hrsg.), Knowledge Acquisition, Modeling and Management, Lecture Notes in Artificial Intelligence (LNAI), 1319, Springer-Verlag, Berlin, 1997; pp. 113-128. · doi:10.1007/BFb0026781 |
| [35] | Ed.; Artif Intell 1996, 76, special issue on planning. |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
