applying problem solving methods for process knowledge acquisition, representation, and reasoning
In this paper we present an approach towards knowledgeacquisition of process knowledge for the natural sciences.The work has been conducted within Project Halo, whichis creating advanced knowledge authoring and questionanswering systems for the natural sciences. An analysis of AP-level questions for Biology, Chemistry and Physicsuncovered that process knowledge is the single most frequenttype of knowledge required. Thus, we developedmeans to acquire process knowledge, to formally representit, and to reason about it in order to answer novel questionsabout the domains.All these tasks are supported by an abstract process metamodel.It provides the terminology for user-tailored processdiagrams, which are automatically translated into executableFLogic code. The meta-model and the code generationare based on the notion of Problem Solving Methods(PSM) which represent an abstract formalization of thereasoning strategies needed for processes.
problem solving methods process knowledge project halo usability darkmatter semantic web flogic frame problem