Brazier, F. M. T., Langen, P. H. G. van, Ruttkay, Zs., and Treur, J.: 1994, On formal specification of design tasks, in J. S. Gero and F. Sudweeks (eds), Proceedings Artificial Intelligence in Design, AID '94, Kluwer Academic Publishers, Dordrecht, pp. 535--552.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....Results from three related areas of research are addressed below: single agent design, concurrent engineering and multi agent systems. 2. 1 Single Agent Design In the past few decades, research on design has led to a number of theories and models of design as a task and as a process (e.g. [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14]. Interesting enough, formal knowledge level models for a process of design which includes the notion of manipulating requirements as well as manipulating an artefact description have surfaced mainly in the last decade [9, 10, 12, 13, 14] In addition, design methods have been developed (e.g. 15, ....

.... as a task and as a process (e.g. 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14] Interesting enough, formal knowledge level models for a process of design which includes the notion of manipulating requirements as well as manipulating an artefact description have surfaced mainly in the last decade [9, 10, 12, 13, 14]. In addition, design methods have been developed (e.g. 15, 16, 17] as have design support systems (e.g. 18, 19, 20, 21, 22] These theories, models, methods, and systems, however, do not explicitly model reflective reasoning required for multi agent distributed design. A compositional ....

Brazier FMT, Langen PHG van, Ruttkay Zs, Treur J. On formal specification of design tasks. In: Gero JS, Sudweeks F, editors. Proceedings Artificial Intelligence in Design (AID'94). Dordrecht: Kluwer Academic Publishers,1994. p. 535-552.

No context found.

Brazier, F. M. T., Langen, P. H. G. van, Ruttkay, Zs., and Treur, J.: 1994, On formal specification of design tasks, in J. S. Gero and F. Sudweeks (eds), Proceedings Artificial Intelligence in Design, AID '94, Kluwer Academic Publishers, Dordrecht, pp. 535--552.

No context found.

BRAZIER, F. M. T., LANGEN, P. H. G. VAN, RUTTKAY, ZS. & TREUR, J. (1994a). On formal specification of design tasks. In J. S. GERO & F. SUDWEEKS, Eds. Artificial Intelligence in Design '94. Proceedings of AID '94, pp. 535--552. Dordrecht: Kluwer Academic Publishers.

No context found.

Brazier, F.M.T, Van Langen, P.H.G., Ruttkay, Zs. and Treur, J. "On formal specification of design tasks" In Proc. of the AAAI Workshop on Artificial Intelligence and Manufacturing: State of the Art and Practice, AAAI Press, 1994, 30-39.

.... information retrieval) Instead of designing each and every new agent individually from scratch, this generic agent model can be used to structure the design process: the acquisition of a specific agent model is based on the generic structures in the model The generic model of design (cf. [4]) distinguishes reasoning about requirements and their qualifications, reasoning about design object descriptions and reasoning about the design process are distinguished. An initial design problem statement is expressed as a set of initial requirements and requirement qualifications. ....

Brazier, F.M.T., Langen, P.H.G. van, Ruttkay Zs., and Treur, J., On formal specification of design tasks. In Gero, J.S., and Sudweeks, F., (eds.), Artificial Intelligence in Design, Proceedings of AID'94. Kluwer Academic Publishers, 1994, pp. 535-552.

....specific properties to which the specific intended goals refer . on the basis of this structure the agent generates an intended action: the action to create an agent with the structure as determined This reasoning pattern is modelled in more detail by the Generic Design Model (GDM) introduced in [19]. A design model is applicable in this situation as intended goals and their related properties are viewed as (qualified) requirements and the structure (e.g. of an agent) is the description of the object of design. agent own process control agent interaction management world ....

F. M. T. Brazier, P. H. G. van Langen, Zs. Ruttkay and J. Treur, On formal specification of design tasks (J. S. Gero and F. Sudweeks, Eds), Artificial Intelligence in Design '94, Kluwer Academic Publishers, Dordrecht, 1994, 535-552.

....info to HE focus hyp to HE focus hyp to OD performed obs eval info obs info to output obs target info to HE Figure 11 Composition of the component Hypothesis Validation in GDIM 16 6.2. 2 A Generic Model for Design Tasks: GDEM The compositional Generic DEsign Model (GDEM; see Figure 12) [10] is based on a logical analysis of design processes and on analyses of applications, including elevator configuration and design of environmental measures [14] In this model Requirement Qualification Sets Manipulation (component RQS Manipulation or RQSM) Design Object Description Manipulation ....

....by means of the theory of design object descriptions, current DOD maintenance: the current design object description is stored and maintained, DODM history maintenance: the history of design object descriptions modification is stored and maintained. More detail on this model can be found in [10]. In [11] the different levels of strategic reasoning in the model are described in more detail, including the component Design Process Co ordination for the highest level of strategic reasoning. 6.2.3 A Generic Model for Process Control Tasks: GPCM Process control involves three sub processes: ....

Brazier, F.M.T., Langen, P.H.G. van, Ruttkay, Zs., Treur, J., On formal specification of design tasks. In J.S. Gero & F. Sudweeks (eds.), Artificial Intelligence in Design '94, Dordrecht: Kluwer Academic Publishers , 1994, pp. 535--552.

....is known as interaction at the level of task modification. 3. A GENERIC MODEL OF DESIGN Analyses of design processes are often based on models of design tasks, design systems and designers approaches (see, for example, 3,11,12,13,14,15] In this paper, a generic model of design introduced by [16] is used to analyse the role of strategic knowledge within design processes. Refined and improved versions of this model have been used to analyse different types of design (sub )tasks in a number of domains; for example, conflict management in design [17] re design of knowledge based systems ....

....method generate and test. Figure 1 shows the flows of information between requirement qualification set manipulation (RQSM) design object description manipulation (DODM) and design process co ordination (DPC) which is responsible for the co ordination of the overall design strategy (see [16]) The figure also shows the flows of information that represent the input and output of a design process. The functionality of the three main components of the generic model, requirement qualification set manipulation (RQSM) design object descriptionmanipulation (DODM) and ....

Brazier, F.M.T., van Langen, P.H.G., Ruttkay, Zs. and Treur, J., On formal specification of design tasks. In J.S. Gero and F. Sudweeks, Eds, Artificial Intelligence in Design '94, Dordrecht, The Netherlands, Kluwer Academic Publishers, 1994, 535--552.

....and embedding components into the system at hand. Our current research focusses on a formalisation of the reuse of (complex) reasoning components. In section 2, standardisation and abstraction of the structure of components are formalised by means of the notion of compositional architectures [Brazier et al. 1994g] in the context of the DESIRE framework [Langevelde et al. 1992] In section 3, meta knowledge about the (functionality of) components and (generic) task models needed for retrieval is briefly described. In section 4, the process of modification is formalised in terms of a generic task model of ....

....context of the DESIRE framework [Langevelde et al. 1992] In section 3, meta knowledge about the (functionality of) components and (generic) task models needed for retrieval is briefly described. In section 4, the process of modification is formalised in terms of a generic task model of design [Brazier et al. 1994b] Section 5 concludes with a brief discussion. 2 Compositional architectures Hierarchical (de)composition of tasks into subtasks, and of knowledge into hierarchical structures, is used to refer to both the process of decomposition and composition, and the resulting hierarchical structure. ....

[Article contains additional citation context not shown here]

F.M.T. Brazier, P.H.G. van Langen, Zs. Ruttkay, and J. Treur. On formal specification of design tasks. In J.S. Gero and F. Sudweeks (Eds.) Artificial Intelligence in Design '94 Kluwer Academic Publishers, Dordrecht, pp 535-552, 1994.

....domains. Generic task models can be used to guide the development of task models for specific tasks in specific application domains. An agreement can be reached among different parties involved in knowledge acquisition about a (generic) task model that models and specifies any given task (see Brazier and Treur (1994) and Brazier, Treur and Wijngaards (1994) Partial task models can be operationalised. 3 4 Assumptions on modelling the VT task Yost (1994) describes a test case, consisting of an initial set of requirements, an initial configuration that violates particular constraints and a final ....

....of the knowledge about deductive refinement of design object descriptions. Yost s (1994) description of a way to achieve the goal of the configuration process is a design strategy. These interpretations lead to the conclusion that the VT task is a design task. The task of design is described in Brazier, van Langen, Ruttkay and Treur (1994) and Brazier, van Langen and Treur (1995) Based on this conclusion, the following assumption can be formulated: The VT task can be modelled as a refinement of the generic task model of design (Brazier, van Langen, Ruttkay and Treur (1994) 5 Assumptions on the problem solving method for the VT ....

[Article contains additional citation context not shown here]

BRAZIER, F. M. T., LANGEN, P. H. G. VAN, RUTTKAY, ZS. & TREUR, J. (1994). On formal specification of design tasks. In J. S. GERO & F. SUDWEEKS, Eds. Artificial Intelligence in Design '94. Proceedings of AID '94, pp. 535--552. Dordrecht: Kluwer Academic Publishers.

.... hypotheses observation info assessments symptoms presence diagnosis required observations hyp target info focus info Figure 7 Generic task model of diagnosis: top level A generic task model of design in which reasoning about three aspects of design are clearly distinguished is presented in [6]. The model distinguishes reasoning about requirements and preferences, from reasoning about the design object description, and reasoning about (co ordination of) the overall design process 5. Verification During the design process, the multi agent system to be designed is often expressed in ....

BRAZIER, F.M.T., LANGEN, P.H.G. van, RUTTKAY, Zs., TREUR, J., On formal specification of design tasks. In J.S. Gero & F. Sudweeks (eds.), Artificial Intelligence in Design '94, Dordrecht: Kluwer Academic Publishers , 1994, pp. 535--552.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC