SOLVING SISYPHUS BY DESIGN

被引：5

作者：

BALKANY, A

BIRMINGHAM, WP

RUNKEL, J

机构：

[1] Electrical Engineering and Computer Science Department, University of Michigan, Ann Arbor, MI

来源：

INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES | 1994年 / 40卷 / 02期

关键词：

D O I：

10.1006/ijhc.1994.1011

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper demonstrates how the Domain-Independent Design System (DIDS) was used to solve the Sisyphus room-assignment problem by viewing it as a configuration-design task. We have developed a general problem-solving method for configuration design, based on constraint-satisfaction techniques. This method efficiently solves the Sisyphus problem, and provides strong guidance for knowledge acquisition. This paper presents both the problem solver and knowledge-acquisition support created by DIDS to solve the Sisyphus problem. © 1994 Academic Press, Inc.

引用

页码：221 / 241

页数：21

共 16 条

[1]

BALKANY A, 1993, IN PRESS ARTIFICIAL

[2]

BALKANY A, 1993, IN PRESS J INTELLIGE

[3]

BIRMINGHAM WP, 1989, KNOWLEDGE ACQUISITIO, V1

[4]

HAWORTH MS, 1992, CSETR12792 U MICH DE

[5]

HAWORTH MS, 1992, CSETR14492 U MICH DE

[6]

KLINKER G, 1990, 5TH P KNOWL ACQ WORK

[7] CONSISTENCY IN NETWORKS OF RELATIONS [J].

MACKWORTH, AK .

ARTIFICIAL INTELLIGENCE, 1977, 8 (01) :99-118

[8]

MARCUS S, 1987, AI MAGAZINE WIN, P41

[9]

MARCUS S, 1988, AUTOMATING KNOWLEDGE

[10]

McDermott J., 1988, AUTOMATING KNOWLEDGE

← 1 2 →