Synopses & Reviews
The development of knowledge-based systems is usually approached through the combined skills of knowledge engineers (KEs) and subject matter experts (SMEs). One of the most critical steps in this activity aims at transferring knowledge from SMEs to formal, machine-readable representations, which allow systems to reason with such knowledge. However, this is a costly and error prone task. Alleviating the knowledge acquisition bottleneck requires enabling SMEs with the means to produce the desired knowledge representations without the help of KEs. This is especially difficult application domains uncovers that process knowledge is one of the most freqent knowledge types, whose complexity requires specific means to enable SMEs to represent processes in a computational form. Additionally, such complexity and the increasigly large amount of data that process executions generate in knowledge-intensive domains, like Biology or Astronomy, requires analytical means with high abstraction capabilities to support SMEs in the analysis of such processes. This book presents methods and tools that enable SMEs to acquire process knowledge from the domains, formally represent such knowledge, reason about it, and understand process executions by analyzing their provenance. We describe the utilization of Problem Solving Methods as the main knowledge artifacts for process acquisition and analysis in two innovative ways. First, as formalizations of the reasoning strategies needed for processes and, second, as high-level, domain-independent, and reusable abstractions of process knowledge to provide SMEs with interpretati-ons of process executions.
Gómez-Pérez proposes using problem solving methods as a novel approach to supporting subject matter experts as they formulate process knowledge and analyze process executions as part of building knowledge-based systems. He also explores the extent to which it is possible to build tools that take knowledge experts out of the formulation and analysis loop entirely. Ultimately, he shows how it is possible for users who do not have a deep knowledge of either the representation formalisms or the technology to generate computer-readable content represented in formal languages and to apply knowledge representation and reasoning techniques to analyze the outcomes of automated knowledge-intensive processes. There is no index. Annotation ©2011 Book News, Inc., Portland, OR (booknews.com)