Modelling an elevator design task in DESIRE: the VT example

An elevator configuration task, the VT task, is modelled within DESIRE as a design task. DESIRE is a framework within which complex reasoning tasks are modelled as compositional architectures. Compositional architectures are based on a task decomposition, acquired during task analysis. An existing generic task model of design, based on a logical analysis and synthesis of task models devised for diverse applications, has been refined for the elevator configuration task. The resulting task model includes a description of the ontology of the elevator domain and a description of the task model.

[1]  F. Brazier,et al.  A LOGICAL THEORY OF DESIGN , 1996 .

[2]  Jay T. Runkel,et al.  Solving VT by reuse , 1996, Int. J. Hum. Comput. Stud..

[3]  Jan Treur,et al.  A Compositional Knowledge-Based Architecture Modelling Process Aspects of Design Tasks , 1992 .

[4]  Dieter Fensel,et al.  A comparison of languages which operationalize and formalize KADS models of expertise , 1994, The Knowledge Engineering Review.

[5]  John S. Gero,et al.  Artificial Intelligence in Design ’94 , 1994, Springer Netherlands.

[6]  Paul Veerkamp,et al.  Modeling Design Process , 1990, AI Mag..

[7]  B. Chandrasekaran,et al.  Design Problem Solving: A Task Analysis , 1990, AI Mag..

[8]  Wojciech Tarnowski,et al.  The Structure of the Design Process , 1986 .

[9]  Jan Treur,et al.  ON FORMAL SPECIFICATION OF DESIGN TASKS , 1994 .

[10]  Jay T. Runkel,et al.  Generating Non-Brittle Configuration-design Tools , 1994 .

[11]  N. J. I. Mars.  Towards Very Large Knowledge Bases , 1995 .

[12]  Peter Ross,et al.  On computing exploration and solving design problems , 1994, Formal Design Methods for CAD.

[13]  Tetsuo Tomiyama,et al.  Extended general design theory , 1986 .

[14]  Gregg R. Yost,et al.  Configuring elevator systems , 1996, Int. J. Hum. Comput. Stud..

[15]  John P. McDermott,et al.  VT: An Expert Elevator Designer That Uses Knowledge-Based Backtracking , 1988, AI Mag..

[16]  Dieter Fensel,et al.  Formalizing and operationalizing a design task with KARL , 1993 .

[17]  Ashok K. Goel,et al.  Functional Representation of Designs and Redesign Problem Solving , 1989, IJCAI.

[18]  Ian F. C. Smith,et al.  Strategies for conflict management in preliminary engineering design , 1994 .

[19]  Jan Treur,et al.  Formal Specification of Compositional Architectures , 1992, ECAI.

[20]  A. T. Schreiber,et al.  A formal analysis of parametric design problem solving , 1995 .

[21]  Jeffrey M. Bradshaw,et al.  Knowledge acquisition as a constructive modeling activity , 1993, Int. J. Intell. Syst..

[22]  Jan Treur,et al.  Modelling Interaction with Experts: The Role of a Shared Task Model , 1996, ECAI.

[23]  Ömer Akin,et al.  How do Architects Design , 1978 .

[24]  Jan Treur,et al.  Redesign and reuse in compositional knowledge-based systems , 1996, Knowl. Based Syst..

[25]  Jan Treur,et al.  Temporal Theories of Reasoning , 1994, J. Appl. Non Class. Logics.

[26]  Jan Treur,et al.  User Centered Knowledge-Based System Design: a Formal Modelling Approach , 1994, EKAW.

[27]  David C. Brown,et al.  Design Problem Solving: Knowledge Structures and Control Strategies , 1989 .

[28]  J. Vanwelkenhuysen,et al.  Worplace-Adapted Behaviors: Lessons Learned for Knowledge Reuse , 1995 .

[29]  Jan Treur,et al.  A Logical Foundation for Verification , 1994, ECAI.

[30]  John P. McDermott,et al.  SALT: A Knowledge Acquisition Language for Propose-and-Revise Systems , 1993, Artif. Intell..

[31]  Richard Coyne,et al.  Logic models of design , 1988 .

[32]  Jan Treur,et al.  Formal Notions for Verification of Dynamics of Knowledge-Based Systems , 1995, EUROVAV.

[33]  John S. Gero,et al.  Design Prototypes: A Knowledge Representation Schema for Design , 1990, AI Mag..

[34]  B. Chandrasekaran,et al.  Generic Tasks in Knowledge-Based Reasoning: High-Level Building Blocks for Expert System Design , 1986, IEEE Expert.

[35]  Jan Treur,et al.  On the (non-)brittleness of a DESIRE-model , 1992 .

[36]  Jan Treur,et al.  Formal Specification of Complex Reasoning Systems , 1993 .

[37]  Jan Treur,et al.  Temporal Theories of Reasoning , 1995, J. Appl. Non Class. Logics.

[38]  Mary Lou Maher,et al.  Process Models for Design Synthesis , 1990, AI Mag..