论文信息 - Assumptions on the VT task model in DESIRE

Assumptions on the VT task model in DESIRE

This paper presents assumptions underlying the modelling and specification of the VT task in DESIRE. These assumptions are about the modelling of tasks in general, the specification of task models in DESIRE, the modelling of the VT task in particular, and the problem solving method developed for the VT task. By an explicit formulation of such assumptions, different problem solving methods for one task can be compared and the reuse of problem solving methods is facilitated.

Jan Treur | Frances M. T. Brazier | Niek J. E. Wijngaards | Pieter H. G. Van Langen

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

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

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

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

[5] Elsevier Sdol. International Journal of Human-Computer Studies , 2009 .

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

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

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

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

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

[11] Jan Treur,et al. Modelling an elevator design task in DESIRE: the VT example , 1996, Int. J. Hum. Comput. Stud..

[12] Dieter Fensel,et al. Assumptions and Limitations of a Problem-Solving Method: A Case Study , 1995 .