Solving VT by reuse

被引:4
作者
Runkel, JT
Birmingham, WP
Balkany, A
机构
[1] Elec. Eng. and Comp. Sci. Department, University of Michigan, Ann Arbor
基金
美国国家科学基金会;
关键词
D O I
10.1006/ijhc.1996.0020
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
This paper describes how the Domain-Independent Design System (DIDS) was used to solve the VT Sisyphus task. DIDS enables knowledge engineers to rapidly build knowledge systems by providing libraries of reusable problem-solving procedures, called mechanisms, and reusable knowledge-acquisition procedures, called mechanisms for knowledge acquisition (MeKAs). Instead of writing code, engineers build systems by selecting and combining elements from these libraries. Therefore, DIDS-developed systems are easy to build and are not brittle, i.e. they can be easily modified by replacing mechanisms and MeKAs. To demonstrate these ideas, DIDS was used to solve the VT task by starting with the DIDS solution to the Sisyphus room-assignment problem. A problem solver and knowledge-acquisition tool for the VT task were created by replacing a few of the mechanisms and MeKAs used for the room-assignment task with those better suited to the VT task. (C) 1996 Academic Press Limited
引用
收藏
页码:403 / 433
页数:31
相关论文
共 17 条
[1]   SOLVING SISYPHUS BY DESIGN [J].
BALKANY, A ;
BIRMINGHAM, WP ;
RUNKEL, J .
INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES, 1994, 40 (02) :221-241
[2]  
BALKANY A, 1993, J INTELLIGENT MANUFA, P21
[3]  
BALKANY A, 1993, ARTIFICIAL INTELLIGE
[4]  
Birmingham W. P., 1989, Knowledge Acquisition, V1, P321, DOI 10.1016/S1042-8143(89)80009-3
[5]  
BIRMINGHAM WP, 1994, KNOWLEDGE ENG REV, V8
[6]  
GRUBER T, 1993, VT DOMAIN ONTOLOGY
[7]   A TRANSLATION APPROACH TO PORTABLE ONTOLOGY SPECIFICATIONS [J].
GRUBER, TR .
KNOWLEDGE ACQUISITION, 1993, 5 (02) :199-220
[8]  
LINSTER M, 1992, SISYPHYS 92 MODELS P
[9]   CONSISTENCY IN NETWORKS OF RELATIONS [J].
MACKWORTH, AK .
ARTIFICIAL INTELLIGENCE, 1977, 8 (01) :99-118
[10]  
MARCUS S, 1987, AI MAGAZINE