Altering the SightPlan knowledge-based systems

Author(s):  
I. D. Tommelein ◽  
B. Hayes-Roth ◽  
R. E. Levitt

SightPlan refers to several knowledge-based systems that address construction site layout. Five different versions were implemented and their components of expertise are described here. These systems are alterations of one another, differing either in the problems they solve, the problem-solving methods they apply, or the tasks they address. Because they share either control knowledge, domain concepts, or heuristics, and such knowledge is implemented in well-defined modular knowledge bases, these systems could easily re-use parts of one another. Experiments like those presented here may clarify the role played by different types of knowledge during problem solving, enabling researchers to gain a broader understanding of the generality of the domain and task knowledge that is embedded in KBSs and of the power of their systems.

Author(s):  
Kun Sun ◽  
Boi Faltings

Abstract Knowledge-based CAD systems limit designers’ creativity by constraining them to work with the prototypes provided by the systems’ knowledge bases. We investigate knowledge-based CAD systems capable of supporting creative designs in the example domain of elementary mechanisms. We present a technique based on qualitative explanations which allows a designer to extend the knowledge base by demonstrating a structure which implements a function in a creative way. Structure is defined as the geometry of the parts, and function using a general logical language based on qualitative physics. We argue that the technique can accommodate any creative design in the example domain, and we demonstrate the technique using an example of a creative design. The use of qualitative physics as a tool for extensible knowledge-based systems points out a new and promising application area for qualitative physics.


2009 ◽  
pp. 950-960
Author(s):  
Kazuhisa Seta

In ontological engineering research field, the concept of “task ontology” is well-known as a useful technology to systemize and accumulate the knowledge to perform problem-solving tasks (e.g., diagnosis, design, scheduling, and so on). A task ontology refers to a system of a vocabulary/ concepts used as building blocks to perform a problem-solving task in a machine readable manner, so that the system and humans can collaboratively solve a problem based on it. The concept of task ontology was proposed by Mizoguchi (Mizoguchi, Tijerino, & Ikeda, 1992, 1995) and its validity is substantiated by development of many practical knowledge-based systems (Hori & Yoshida, 1998; Ikeda, Seta, & Mizoguchi, 1997; Izumi &Yamaguchi, 2002; Schreiber et al., 2000; Seta, Ikeda, Kakusho, & Mizoguchi, 1997). He stated: …task ontology characterizes the computational architecture of a knowledge-based system which performs a task. The idea of task ontology which serves as a system of the vocabulary/concepts used as building blocks for knowledge-based systems might provide an effective methodology and vocabulary for both analyzing and synthesizing knowledge-based systems. It is useful for describing inherent problem-solving structure of the existing tasks domain-independently. It is obtained by analyzing task structures of real world problem. ... The ultimate goal of task ontology research is to provide a theory of all the vocabulary/concepts necessary for building a model of human problem solving processes. (Mizoguchi, 2003) We can also recognize task ontology as a static user model (Seta et al., 1997), which captures the meaning of problem-solving processes, that is, the input/output relation of each activity in a problem-solving task and its effects on the real world as well as on the humans’ mind.


Author(s):  
Kazuhisa Seta

In ontological engineering research field, the concept of “task ontology” is well-known as a useful technology to systemize and accumulate the knowledge to perform problem-solving tasks (e.g., diagnosis, design, scheduling, and so on). A task ontology refers to a system of a vocabulary/concepts used as building blocks to perform a problem-solving task in a machine readable manner, so that the system and humans can collaboratively solve a problem based on it. The concept of task ontology was proposed by Mizoguchi (Mizoguchi, Tijerino, & Ikeda, 1992, 1995) and its validity is substantiated by development of many practical knowledge-based systems (Hori & Yoshida, 1998; Ikeda, Seta, & Mizoguchi, 1997; Izumi &Yamaguchi, 2002; Schreiber et al., 2000; Seta, Ikeda, Kakusho, & Mizoguchi, 1997). He stated: …task ontology characterizes the computational architecture of a knowledge-based system which performs a task. The idea of task ontology which serves as a system of the vocabulary/concepts used as building blocks for knowledge-based systems might provide an effective methodology and vocabulary for both analyzing and synthesizing knowledge-based systems. It is useful for describing inherent problem-solving structure of the existing tasks domain-independently. It is obtained by analyzing task structures of real world problem. ... The ultimate goal of task ontology research is to provide a theory of all the vocabulary/concepts necessary for building a model of human problem solving processes. (Mizoguchi, 2003) We can also recognize task ontology as a static user model (Seta et al., 1997), which captures the meaning of problem-solving processes, that is, the input/output relation of each activity in a problem-solving task and its effects on the real world as well as on the humans’ mind.


1993 ◽  
Vol 32 (04) ◽  
pp. 326-338
Author(s):  
B. Petkoff ◽  
H. Mannebach ◽  
S. Kirkby ◽  
D. Kraus

AbstractThe building of medical knowledge-based systems involves the reconstruction of methodological principles and structures within the various subdomains of medicine. ACCORD is a general methodology of knowledge-based systems, and MACCORD its application to medicine. MACCORD represents the problem solving behavior of the medical expert in terms of various types of medical reasoning and at various levels of abstraction. With MACCORD the epistemic and cognitive processes in clinical medicine can be described in formal terminology, covering the entire diversity of medical reasoning. MACCORD is close enough to formalization to make a significant contribution to the fields of medical knowledge acquisition, medical didactics and the analysis and application of medical problem solving methods.


1991 ◽  
Vol 6 (1) ◽  
pp. 1-19 ◽  
Author(s):  
Richard W. Southwick

AbstractThere seems to be general agreement amongst those involved in KBS research that in order to be useful, a system must be able to explain its reasoning to a user. This paper reviews the development of explanation facilities in knowledge-based systems. It differentiates between explanation as a problem-solving process, and that which explains a reasoning process. This review concentrates on the latter, identifying and giving examples of three categories of reasoning explanation.We then look at user requirements for explanation. What makes an explanation useful depends on the expectations of a user, which in turn depends on such issues as user background and system context. Several techniques are examined that have been applied to the problem of producing explanations that are appropriately structured and conveyed.Finally, we discuss some of the work that has been done in describing theories of human discourse and explanation, and some issues that will become increasingly important for future explanation systems.An extensive annotated bibliography is provided.


Author(s):  
Ram Kumar ◽  
Shailesh Jaloree ◽  
R. S. Thakur

Knowledge-based systems have become widespread in modern years. Knowledge-base developers need to be able to share and reuse knowledge bases that they build. As a result, interoperability among different knowledge-representation systems is essential. Domain ontology seeks to reduce conceptual and terminological confusion among users who need to share various kind of information. This paper shows how these structures make it possible to bridge the gap between standard objects and Knowledge-based Systems.


1994 ◽  
Vol 9 (2) ◽  
pp. 105-146 ◽  
Author(s):  
Dieter Fensel ◽  
Frank van Harmelen

AbstractIn the field of knowledge engineering, dissatisfaction with therapid-prototypingapproach has led to a number of more principled methodologies for the contruction of knowledge-based systems. Instead of immediately implementing the gathered and interpreted knowledge in a given implementation formalism according to the rapid-prototyping approach, many such methodologies centre around the notion of a conceptual model: an abstract, implementation independent description of the relevant problem solving expertise. A conceptual model should describe the task which is solved by the system and the knowledge which is required by it. Although such conceptual models more precisely, and operationally as a means for model evaluation. In this paper, we study a number of such formal and operational languages for specifying conceptual models. To enable a meaningful comparison of such languages, we focus on languages which are all aimed at the same underlying conceptual model, namely that from the KADS method for building KBS. We describe eight formal languages for KADS models of expertise, and compare these languages with respect to their modelling primitives, their semantics, their implementations and their applications, Future research issues in the area of formal and operational specification languages for KBS are identified as the result of studying these languages. The paper also contains an extensive bibliography of research in this area.


1995 ◽  
Vol 10 (1) ◽  
pp. 67-68
Author(s):  
Nicolaas J. I. Mars

A number of groups developing knowledge-based systems have found (or at least posited) that the design and representation of a limitative set of concepts and relations, a so-called ontology, can contribute to sharing and reusing knowledge bases. However, very few descriptions of implemented ontologies have appeared in the literature. No comparison of competing proposals is available, let alone an empirical determination of the benefits of using an ontology. There is no accepted method for designing and building such ontologies, nor is it clear how ontologies can best be evaluated.


Sign in / Sign up

Export Citation Format

Share Document