|
|
The following description is adapted from that provided in [1]:
Sisyphus is a decision-support model for lift configuration, based on the Sisyphus-2 problem identified in [2]. The script for the ISM consists of several hundred definitions that record the elevator users requirements, the dependencies between the characteristics of different engineering components, and the observables associated with monitoring whether constraints are violated. Each of the fixes for constraint violation - documented in [3] - can be interpreted as an automatic agent. The user is presented with a menu indicating precisely which fixes are currently commended for possible execution. This creates an environment in which the modeller has discretion over which fixes are triggered, and so can explore the space of possible solutions that is accessed by such fixes in an experimental fashion. This is one of several ways in which the elevator design ISM can be used so as to combine automatic processing with human interaction. This interaction technique does not of course preclude the possibility of fully automatic execution.
[1] W.M. Beynon, S. Rasmequan and S. Russ. A New Paradigm for Computer-Based Decision Support. Decision Support Systems, vol 33 (2002) p127-142. [061]
[2] T.E. Rothenfluh, J.H. Genarri, H. Eriksson, A.R. Puerta, S.W. Tu, M.A. Musen
Reusable Ontologies, Knowledge-Acquisition Tools, and Performance Systems:
PROTEGE-II Solutions to Sisyphus-2, International Journal of Man-Machine
Studies, 44, pp.303-332, 1996
[3] G. R. Yost, Configuring Elevator Systems (Technical Report) Marlboro, MA: Digital Equipment Corporation, 1992
[Karl King]
| sisyphusNess1996 is available locally within DCS at /dcs/emp/empublic/projects/sisyphusNess1996 |
| Download sisyphusNess1996.tar.gz Uncompressed, sisyphusNess1996 is 752.6 Kbytes (in 22 files). Your download will be smaller as it will be compressed. Help on extracting the files from the download. |
KSL-93-65.ps.gz |
195538 | 01:15 PM Jan 23 2004 | 09:53 AM Apr 02 2007 |
README |
1374 | 01:45 PM Jun 27 1996 | 09:53 AM Apr 02 2007 |
README.wmb |
6885 | 05:25 PM Jan 23 2004 | 09:53 AM Apr 02 2007 |
README.xml |
2255 | 03:38 PM Sep 25 2006 | 09:53 AM Apr 02 2007 |
dep.tcl |
12477 | 01:08 PM Jun 27 1996 | 09:53 AM Apr 02 2007 |
dep2tcl.e |
2436 | 04:03 PM Nov 14 1995 | 09:53 AM Apr 02 2007 |
depgraph.e |
3464 | 04:26 PM Nov 10 1995 | 09:53 AM Apr 02 2007 |
fixes.adm |
6561 | 05:02 PM Nov 22 1995 | 09:53 AM Apr 02 2007 |
fixes.d |
31 | 11:00 AM Nov 17 1995 | 09:53 AM Apr 02 2007 |
fixes.e |
39147 | 02:51 PM Nov 17 1995 | 09:53 AM Apr 02 2007 |
fixes.s |
260040 | 02:51 PM Nov 17 1995 | 09:53 AM Apr 02 2007 |
fixes.sy.adm |
10761 | 12:47 PM Mar 13 1996 | 09:53 AM Apr 02 2007 |
fixes.sy.e |
32569 | 04:54 PM Nov 29 1995 | 09:53 AM Apr 02 2007 |
lift.defn |
54467 | 05:54 PM Nov 17 1995 | 09:53 AM Apr 02 2007 |
lift.dep |
52977 | 06:02 PM Nov 22 1995 | 09:53 AM Apr 02 2007 |
lift.trident |
5124 | 05:24 PM Nov 16 1995 | 09:53 AM Apr 02 2007 |
out |
25410 | 05:58 PM Nov 17 1995 | 09:53 AM Apr 02 2007 |
result.e |
22774 | 05:51 PM Nov 17 1995 | 09:53 AM Apr 02 2007 |
run |
27 | 04:55 PM Nov 29 1995 | 09:53 AM Apr 02 2007 |
showdep |
1888 | 01:17 PM Jun 27 1996 | 09:53 AM Apr 02 2007 |
Pics/ |
4096 | 03:33 PM Sep 25 2006 | 09:58 AM Apr 02 2007 |
empublic system initially created by Ashley Ward with assistance from Chris Roe and Meurig Beynon.
