| W. Swartout, Y. Gil, A. Valente (1999). Representing Capabilities of Problem Solving Methods. In Proc. IJCAI-99 Workshop on Ontologies and Problem-Solving Methods: Lessons Learned and Future Trends. August 1999, Stockholm, Sweden. |
....the main components are program modules that are described in high level terms but are essentially meant to be asembed and implemented into a knowledge based system. The EXPECT framework [Swartout and Gil 1995; Gil 1994] combines both views. It lends itself to building self organizing libraries [Swartout et al. 1999], in the sense that tools can automatically find the right place for a new method in the library and can use the methods stored in the library to build a problem solver for a specific problem. To this end, it uses a rich and expressive specification of method capabilities, that allows the system ....
....goal (or set of goals) that is equivalent to the original goal, but expressed in different terms. The benefit is a more loosely coupling between methods and tasks, i.e. between what is to be accomplished and what are possible ways to accomplish it. Reformulations are discussed in more detail in [Swartout et al. 1999]. A final important aspect of the EXPECT framework is that the interdependency model can be used together with an interpreter to run a KBS. We also built a compiler that generates efficient code in Lisp (and in the future in Java or C ) Because the compiler does not need to operate on the ....
Swartout, W.R., Gil, Y. and Valente, A. Representing Capabilities of Problem Solving Methods. In Proceedings of the IJCAI'99 Workshop on Ontologies and Problem-Solving Methods: Lessons Learned and Future Trends, August 1999.
....#of # fms is #set of #inst of object###### #result type #inst of weight## #method #sum #obj #r weight fms##### Because it uses structured representations of method capabilities, EXPECT can reason about how different methods relate to each other. This is useful for organizing method libraries (Swartout, Gil, Valente 1999) as well as supporting the acquisition of new problem solving methods (Kim Gil 1999) We mentioned earlier that the representations were developed to support natural language paraphrasing to support explanation generation. This can support knowledge acquisition (KA) from domain experts, since ....
Swartout, B.; Gil, Y.; and Valente, A. 1999. Representing capabilities of problem-solving methods. In Benjamins, V. R.; Chandrasekaran, B.; Gomez-Perez, A.; Guarino, N.; and Uschold, M., eds., IJCAI 99 Workshop on Ontologies and Problem-Solving Methods.
No context found.
W. Swartout, Y. Gil, A. Valente (1999). Representing Capabilities of Problem Solving Methods. In Proc. IJCAI-99 Workshop on Ontologies and Problem-Solving Methods: Lessons Learned and Future Trends. August 1999, Stockholm, Sweden.
No context found.
W. Swartout, Y. Gil, A. Valente (1999): "Representing Capabilities of Problem Solving Methods". Proc. IJCAI-99 Workshop on Ontologies and Problem-Solving Methods: Lessons Learned and Future Trends. Stockholm, Sweden, (1999).
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