The Framework of a Design Process Language
2404.13721
0
0
š¬
Abstract
The thesis develops a view of design in a concept formation framework and outlines a language to describe both the object of the design and the process of designing. The unknown object at the outset of the design work may be seen as an unknown concept that the designer is to define. Throughout the process, she develops a description of this object by relating it to known concepts. The search stops when the designer is satisfied that the design specification is complete enough to satisfy the requirements from it once built. It is then a collection of propositions that all contribute towards defining the design object - a collection of sentences describing relationships between the object and known concepts. Also, the design process itself may be described by relating known concepts - by organizing known abilities into particular patterns of activation, or mobilization. In view of the demands posed to a language to use in this concept formation process, the framework of a Design Process Language (DPL) is developed. The basis for the language are linguistic categories that act as classes of relations used to combine concepts, containing relations used for describing process and object within the same general system, with some relations being process specific, others being object specific, and with the bulk being used both for process and object description. Another outcome is the distinction of modal relations, or relations describing futurity, possibility, willingness, hypothetical events, and the like. The design process almost always includes aspects such as these, and it is thus necessary for a language facilitating design process description to support such relationships to be constructed. The DPL is argued to be a foundation whereupon to build a language that can be used for enabling computers to be more useful - act more intelligently - in the design process.
Create account to get full access
Overview
- The paper proposes a concept formation framework for design, where the unknown design object is viewed as an unknown concept that the designer aims to define through the design process.
- It outlines a Design Process Language (DPL) that can be used to describe both the design object and the process of designing.
- The DPL is built using linguistic categories that represent different types of relations, allowing for the description of both the design object and the design process.
- The goal is to provide a foundation for enabling computers to be more useful and intelligent in the design process.
Plain English Explanation
The paper presents a way of thinking about design work as a process of defining an unknown concept. When starting a design project, the designer doesn't have a clear idea of what the final product will be. Instead, the designer goes through a process of relating the unknown design object to concepts they already understand. As the designer works, they build up a collection of statements that describe the relationships between the design object and these known concepts.
To help with this concept formation process, the researchers developed a Design Process Language (DPL). The DPL uses different types of linguistic categories, or classes of relationships, to allow the designer to describe both the design object itself and the steps of the design process. Some of these relationships are specific to describing the design object, while others are more focused on the design process. The DPL also includes "modal" relationships, which can capture things like future possibilities, hypothetical scenarios, and the designer's own willingness or intent.
The goal of this framework is to provide a foundation that could ultimately help computers become more useful and intelligent partners in the design process. By having a structured language to describe design work, computers may be better able to understand, assist, and even participate in the creative design process.
Technical Explanation
The paper develops a concept formation framework for design, where the unknown design object at the start of the process is viewed as an undefined concept that the designer seeks to specify. The designer does this by relating the unknown object to known concepts, building up a collection of propositions that together define the design object.
The Design Process Language (DPL) is proposed as a linguistic framework to support this concept formation process. The DPL uses different classes of relations, some specific to describing the design object, others specific to the design process, and many that can be used for both. This includes "modal" relations that can capture aspects like future possibilities, hypotheticals, and the designer's intentions.
The researchers argue that this DPL provides a foundation for enabling computers to be more useful and "intelligent" partners in the design process, by giving them a structured language to understand and participate in the concept formation that underpins design work.
Critical Analysis
The paper presents an ambitious conceptual framework for framing and describing the design process. However, it remains largely theoretical, without demonstrating concrete applications or evaluating the practical utility of the DPL.
While the idea of using a structured language to support computational design assistance is compelling, the paper does not address how such a language would be implemented or integrated into real-world design workflows. Further research would be needed to validate the DPL's expressiveness, understand its limitations, and evaluate its potential impact on design practice and human-AI collaboration.
Additionally, the paper does not consider potential biases or challenges that could arise from relying on a predefined linguistic framework to guide the design process. There may be inherent biases encoded in the structure of the DPL, or limitations in its ability to capture the nuance and creativity of human designers.
Overall, the paper introduces an interesting theoretical concept, but more empirical work is needed to assess the DPL's practical applicability and understand its implications for the future of design and human-computer interaction.
Conclusion
This paper proposes a concept formation framework for design, where the unknown design object is treated as an undefined concept that the designer aims to specify through the design process. To support this process, the researchers developed a Design Process Language (DPL) that uses different classes of linguistic relations to describe both the design object and the design process itself.
The goal of this framework is to provide a foundation for enabling computers to be more useful and intelligent partners in the design process, by giving them a structured language to understand and participate in the creative concept formation that underpins design work. While the ideas presented are conceptually interesting, further research is needed to validate the DPL's practical utility and understand its implications for the future of design and human-computer collaboration.
This summary was produced with help from an AI and may contain inaccuracies - check out the links to read the original source documents!
Related Papers
A Framework to Model ML Engineering Processes
Sergio Morales, Robert Claris'o, Jordi Cabot
0
0
The development of Machine Learning (ML) based systems is complex and requires multidisciplinary teams with diverse skill sets. This may lead to communication issues or misapplication of best practices. Process models can alleviate these challenges by standardizing task orchestration, providing a common language to facilitate communication, and nurturing a collaborative environment. Unfortunately, current process modeling languages are not suitable for describing the development of such systems. In this paper, we introduce a framework for modeling ML-based software development processes, built around a domain-specific language and derived from an analysis of scientific and gray literature. A supporting toolkit is also available.
4/30/2024
Planning Like Human: A Dual-process Framework for Dialogue Planning
Tao He, Lizi Liao, Yixin Cao, Yuanxing Liu, Ming Liu, Zerui Chen, Bing Qin
0
0
In proactive dialogue, the challenge lies not just in generating responses but in steering conversations toward predetermined goals, a task where Large Language Models (LLMs) typically struggle due to their reactive nature. Traditional approaches to enhance dialogue planning in LLMs, ranging from elaborate prompt engineering to the integration of policy networks, either face efficiency issues or deliver suboptimal performance. Inspired by the dualprocess theory in psychology, which identifies two distinct modes of thinking - intuitive (fast) and analytical (slow), we propose the Dual-Process Dialogue Planning (DPDP) framework. DPDP embodies this theory through two complementary planning systems: an instinctive policy model for familiar contexts and a deliberative Monte Carlo Tree Search (MCTS) mechanism for complex, novel scenarios. This dual strategy is further coupled with a novel two-stage training regimen: offline Reinforcement Learning for robust initial policy model formation followed by MCTS-enhanced on-the-fly learning, which ensures a dynamic balance between efficiency and strategic depth. Our empirical evaluations across diverse dialogue tasks affirm DPDP's superiority in achieving both high-quality dialogues and operational efficiency, outpacing existing methods.
6/11/2024
Process-Driven Autoformalization in Lean 4
Jianqiao Lu, Zhengying Liu, Yingjia Wan, Yinya Huang, Haiming Wang, Zhicheng Yang, Jing Tang, Zhijiang Guo
0
0
Autoformalization, the conversion of natural language mathematics into formal languages, offers significant potential for advancing mathematical reasoning. However, existing efforts are limited to formal languages with substantial online corpora and struggle to keep pace with rapidly evolving languages like Lean 4. To bridge this gap, we propose a new benchmark textbf{Form}alization for textbf{L}ean~textbf{4} (textbf{name}) designed to evaluate the autoformalization capabilities of large language models (LLMs). This benchmark encompasses a comprehensive assessment of questions, answers, formal statements, and proofs. Additionally, we introduce a textbf{P}rocess-textbf{S}upervised textbf{V}erifier (textbf{PSV}) model that leverages the precise feedback from Lean 4 compilers to enhance autoformalization. Our experiments demonstrate that the PSV method improves autoformalization, enabling higher accuracy using less filtered training data. Furthermore, when fine-tuned with data containing detailed process information, PSV can leverage the data more effectively, leading to more significant improvements in autoformalization for Lean 4. Our dataset and code are available at url{https://github.com/rookie-joe/PDA}.
6/5/2024
Bridging MDE and AI: A Systematic Review of Domain-Specific Languages and Model-Driven Practices in AI Software Systems Engineering
Simon Raedler, Luca Berardinelli, Karolin Winter, Abbas Rahimi, Stefanie Rinderle-Ma
0
0
Background:Technical systems are growing in complexity with more components and functions across various disciplines. Model-Driven Engineering (MDE) helps manage this complexity by using models as key artifacts. Domain-Specific Languages (DSL) supported by MDE facilitate modeling. As data generation in product development increases, there's a growing demand for AI algorithms, which can be challenging to implement. Integrating AI algorithms with DSL and MDE can streamline this process. Objective:This study aims to investigate the existing model-driven approaches relying on DSL in support of the engineering of AI software systems to sharpen future research further and define the current state of the art. Method:We conducted a Systemic Literature Review (SLR), collecting papers from five major databases resulting in 1335 candidate studies, eventually retaining 18 primary studies. Each primary study will be evaluated and discussed with respect to the adoption of MDE principles and practices and the phases of AI development support aligned with the stages of the CRISP-DM methodology. Results:The study's findings show that language workbenches are of paramount importance in dealing with all aspects of modeling language development and are leveraged to define DSL explicitly addressing AI concerns. The most prominent AI-related concerns are training and modeling of the AI algorithm, while minor emphasis is given to the time-consuming preparation of the data. Early project phases that support interdisciplinary communication of requirements, e.g., CRISP-DM Business Understanding phase, are rarely reflected. Conclusion:The study found that the use of MDE for AI is still in its early stages, and there is no single tool or method that is widely used. Additionally, current approaches tend to focus on specific stages of development rather than providing support for the entire development process.
5/7/2024