Applying problem solving methods for process knowledge acquisition, representation, and reasoning

Authors:
Jose M. Gómez-Pérez;Michael Erdmann;Mark Greaves
Affiliations:
iSOCO S.A., Madrid, Spain;Ontoprise GmbH, Karlsruhe, Germany;Vulcan Inc., Seattle, WA
Venue:
Proceedings of the 4th international conference on Knowledge capture
Year:
2007

Citing 6
Cited 1

KADS: a modelling approach to knowledge engineering

Knowledge Acquisition - Special issue on the KADS approach to knowledge engineering
Towards a unification of knowledge modelling approaches

Second generation expert systems
Logical foundations of object-oriented and frame-based languages

Journal of the ACM (JACM)
Reusable Components for Knowledge Modelling: Case Studies in Parametric Design Problem Solving

Reusable Components for Knowledge Modelling: Case Studies in Parametric Design Problem Solving
Robot's Dilemma: The Frame Problem in Artificial Intelligence

Robot's Dilemma: The Frame Problem in Artificial Intelligence
The Enterprise Ontology

The Knowledge Engineering Review

A framework and computer system for knowledge-level acquisition, representation, and reasoning with process knowledge

International Journal of Human-Computer Studies

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.