| V. R. Benjamins, L. N. Barros, and A. Valente. Constructing planners through problem-solving methods. In Knowledge Acquisition Workshop - KAW'96 (Banff), 1996. |
....and vice versa. A number of versions of (parts of) a library of problem solving methods for planning were discussed in: 21] where it is discussed in detail the knowledge roles and domain models; in [2] the basic methods and the task method decomposition structure are presented in detail; in [3], we have focused on the knowledge acquisition benefits of the library, by concentrating on the assumptions; in [1] and [25] the problem solving methods were extended to include control knowledge. In the next subsections we present a brief description of the components that matter for the ....
V. R. Benjamins, L. N. Barros, and A. Valente. Constructing planners through problem-solving methods. In Knowledge Acquisition Workshop - KAW'96 (Banff), 1996.
....correspond to the level of reusability offered by Lama to congure a PS method. The concepts of the PS ontology (i.e. object structures or methods) can also be extended to represent domain expertise more accurately and accordingly to their use by the engine. We present a task method decomposition [2, 3] of the PS task in gure 2, dened under the perspective of the knowledge representation model developed in our team [31] Although we have described PS in terms of four independent phases, actually it is not the case. Planning phase is essentially performed by the rst two subtasks of plan and ....
....our experience that applications and PS methods mutually inAEuence each other, so PSMs and ontology must be tightly integrated. On the one hand, once a PS method is designed, it makes assumptions on the domain knowledge that must be available, which applications must t, as described in [20] or [14, 3]. But on the other hand, the choice, adaptation and development of a PS method is in turn guided by domain knowledge characteristics or requirements, and domain expert reasoning. For example, an incremental process, due to the unpredictable nature of an application, is matched by an interleaved PS ....
[Article contains additional citation context not shown here]
R. Benjamins, L. Nunes de Barros, and A. Valente, `Constructing Planners Through Problem-Solving Methods', in 10th Banoe Knowledge Acquisition for KnowledgeBased Systems Workshop, (1996).
....knowledge based planning. The systematic acquisition and use of domain knowledge that can be compiled into a planner has shown great promise in overcoming tractability problems in plan generation, without compromising the domain independence and theoretical clarity of the planning algorithm [9, 15, 8, 12]. Although the environment will be populated with a range of powerful tools, the proposal is made feasible as it will exploit previous work on planning languages, tools and application domains [4, 9, 2] We intend to use the object centred (OC ) method for domain encoding and the corresponding ....
.... problem solving methods will draw on work already carried out in the KBS community on specification languages [3] and the reuse of more general KBS problem solving methods [5] It will also draw on initial work within the KADS methodological framework for classifying planning methods [12], from the proposers previous work [16, 4] and from unified frameworks for planning [7, 15] These developments shed light on the ways in which different strategies can be combined within a single planning system and exploited according to the properties of the domain of application. Thus CL will ....
L. Barros R. Benjamins and A. Valente. Constructing Planners through Problem-Solving Methods. In B. Gaines and M. Musen, editors, Proceedings of the Tenth Knowledge Acquisition for Knowledge-Based Systems Workshop (KAW'96), 1996.
....model [30] 3 consists of the development of the application knowledge (consisting of domain knowledge, inference knowledge and task knowledge) and problem solving knowledge. The usage of this model can take advantage of the work previously developed, for example for developing a planner [2]. Domain Knowledge: represents the declarative knowledge of the problem, modelled as concepts, properties, expressions and relationships using the Conceptual Modelling Language (CML) 28] or the graphical notation of the Object Model of OMT. In our problem, if we are focusing just on the domain, ....
V. R. Benjamins, Leliane Nunes de Barros, and Valente Andre. Constructing planners through problem-solving methods. In B. Gaines and M. Musen, editors, Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, volume 1, pages 14--1/20, Banff, Canada, November 1996. KAW.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC