As a measure to manage the climate impact of aviation, significant enhancements to aviation technologies and operations are necessary. When assessing these enhancements and their respective impacts on the climate, it is important that we also quantify the associated uncertainties. This is important to support an effective decision and policymaking process. However, such quantification of uncertainty is challenging, especially in a complex system that comprises multiple interacting components. The uncertainty quantification task can quickly become computationally intractable and cumbersome for one individual or group to manage. Recognizing the challenge of quantifying uncertainty in multicomponent systems, we utilize a divide-and-conquer approach, inspired by the decomposition-based approaches used in multidisciplinary analysis and optimization. Specifically, we perform uncertainty analysis and global sensitivity analysis of our multicomponent aviation system in a decomposition-based manner. In this work, we demonstrate how to handle a high-dimensional multicomponent interface using sensitivity-based dimension reduction and a novel importance sampling method. Our results demonstrate that the decomposition-based uncertainty quantification approach can effectively quantify the uncertainty of a feed-forward multicomponent system for which the component models are housed in different locations and owned by different groups.

Knowledge representation (KR) is an important area in artificial intelligence (AI) and is often related to specific domains. The representation of knowledge in domain-specific contexts makes it desirable to capture semantics as domain experts would. This motivates the development of semantics-preserving standards for KR within the given domain. In addition to the storage and analysis of information using such standards, the effect of globalization today necessitates the publishing of information on the Web. Thus, it is advisable to use formats that make the information easily publishable and accessible while developing KR standards. In this article, we propose such a standard called Quenching Markup Language (QuenchML). This follows the syntax of the eXtensible Markup Language and captures the semantics of the quenching domain within the heat treating of materials. We describe the development of QuenchML, a multidisciplinary effort spanning the realms of AI, database management, and materials science, considering various aspects such as ontology, data modeling, and domain-specific constraints. We also explain the usefulness of QuenchML in semantics-preserving information retrieval and in text mining guided by domain knowledge. Furthermore, we outline the significance of this work in software tools within the field of AI.

Numerical simulation of partial differential equations (PDEs) plays a crucial role in predicting the behavior-of physical systems and in modern engineering design. However, to produce reliable results with a PDE simulator, a human expert must typically expend considerable time and effort in setting up the simulation. Most of this effort is spent in generating the grid, the discretization of the spatial domain that the PDE simulator requires as input. To properly design a grid, the gridder must not only consider the characteristics of the spatial domain, but also the physics of the situation and the peculiarities of the numerical simulator. This article describes an intelligent gridder that is capable of analyzing the topology of the spatial domain and of predicting approximate physical behaviors based on the geometry of the spatial domain to automatically generate grids for computational fluid dynamics simulators. Typically, gridding programs are given a partitioning of the spatial domain to assist the gridder. Our gridder is capable of performing this partitioning. This enables the gridder to automatically grid spatial domains with a wide range of configurations.

Early research in artificial intelligence (AI) in design was “AI in the large.” Artificial intelligence promised a revolutionary approach to assisting or automating design processes, separate from other computational systems. As the field matures, “AI in the small” has the most potential. Rather than seeing large AI programs, we see the results of research in AI in design providing the glue that holds larger systems together using reasoning systems that represent or manage processes, information, and interaction devices that use conventional procedural programming; effectively blurring the boundaries between AI and non-AI. Alternatively, we see research in AI in design as playing a role in blurring the boundaries between the physical and the virtual.

While previous work in automated process planning established plan ordering on an empirical basis alone, we derive our process plans based on the Holding-Under-Uncertainty Principle. We will introduce the principle, and we will describe the operational requirements needed to make this principle implementable in practice. The principle takes into account the form and geometric tolerances needed to locate features in deriving plan steps. Rather than just focusing on technological features, our planning strategy is controlled by the geometric relationships among features. By implementing a constraint propagation paradigm, we ensure that the tolerances accumulated in generating the part geometry remain within the tolerances specified by the design.

Modular product design is an efficient strategy to let manufacturing companies meet the customers’ requirements by offering a wide variety and customization of products and significantly saving time and cost during engineering and production (Fei et al., 2011). Despite numerous approaches for function modeling and modular product design (Srinivasan et al., 2012; Eckert, 2013; Vermaas, 2013) that have been developed in the last decades, carrying out an efficient product variants’ design process is still an open issue for many manufacturing companies. The proposed approaches offer numerous ways to model information about product functionality, but each approach is useful and particularly well suited for different applications and domains (Summers et al., 2013). The present research compares the existing approaches for product variants design and defines a function-based model to support product design and redesign according to a modular framework, merging qualitative technical issues with business-oriented evaluation. Such a framework has been used to develop a multiuser IT platform, composed of a knowledge-based engine and four different tools to support designers and engineers in product variants creation, management, and configuration, from product functional modeling to cost estimation and life cycle assessment. The proposed model has been tested on industrial cases in the context of household appliances. Experimental results demonstrates that, after a preliminary context analysis and a proper knowledge base creation, such a model supports a more conscious decision-making and promote collaboration within an interdisciplinary design team. Finally, the case study shows the necessity, but in the meanwhile the insufficiency, of a functional decomposition as the only representation viewpoint.

This paper reports on a computational model developed to study the effects of various modes of social learning on task coordination in teams through the mapping of distributed team competence, a significant aspect of efficient teamwork. The computational model emphasizes and operationalizes distinct modes of social learning, differentiated in terms of socialization opportunities. Simulation results demonstrate that computational models based on fundamental principles of social learning provide a robust approach to study task coordination in teams and can be used to explore ways to organize opportunities for social learning depending upon member retention, team structure, and the complexity of the design task.

The task of modeling, i.e., of creating a set of equations that can be used to predict the behavior of a physical object, is a key step in engineering analysis. This paper describes a computer system, MSG, for generating mathematical models to analyze physical systems involving heat transfer behavior. MSG is motivated by the need for modeling in an automated design process. The models are sets of equations which may include algebraic equations, ordinary differential equations and partial differential equations. MSG uses the strong domain theory to guide model construction in three sequential tasks: identify regions of interests on an object, determine relevant heat transfer and energy storage processes, and transform these processes into equations. The decisions in these tasks are guided by estimates of variation in temperature and material property, and the relative strengths of heat transfer processes.

This paper examines the role of design concepts in a modus operandi as opposed to a modus operatum, which is how their generation, as it unfolds over time, is perceived by someone involved in designing instead of with the hindsight of being finished. To this end, the interactive activation and competition model, commonly used to model the retrieval of information from stored knowledge of individual exemplars, is applied in the context of architectural design. Parsing the data of an architect's think-aloud protocol through this model at successive points in the design process results in a photo shoot of a design concept “under construction.” This allows for the start of appreciating and accounting for the highly elusive character of concepts during design.

Neuroevolution, or evolving neural networks with evolution algorithms such as genetic algorithms, is becoming one of the hottest areas in hybrid systems research. One of the areas that become under research using neuroevolutions is the controllers. In this paper, we shall present two engineering controllers based on neuroevolutions techniques. One of the controllers is used to monitor the temperature and humidity in an industry. This controller is having a linear behavior. The second controller is concerned with scheduling parts in queues in an industry. The scheduling controller is having a nonlinear behavior. The results obtained by the proposed controllers based on neuroevolution are compared with results obtained by traditional methods such as neural networks with backpropagation and ordinary simulation for the controller. The results show that the neuroevolution approaches outperform the results obtained by other methods.

According to Simon (1983), machine learning is a process that improves the performance of an intelligent system. The performance task of a design system is to arrive at a structural description of a device given its functional description. Machine learning can occur, to improve the performance of the design system, in a number of ways. The learning can make the process of arriving at a known structure to function mapping faster, either by improving the control strategy or by learning new world knowledge needed for the structure to function mapping. It can also improve the performance of the design system by allowing it to come up with new structure to function mappings. The latter kinds of learning leads to innovative designs. The work presented in this paper, EnviroAdapt, belongs to the latter category. EnviroAdapt has the performance task of designing devices along with their operating environments. The EnviroAdapt learns about the novel environments and designs devices for these environments. This learning process is enabled by adapting the previous designs of devices along with their operating environments. This adaptation process makes use of abstracting general mechanisms from the previous designs, then instantiating them in the context of new design problem. Both of these processes are driven by the characteristics of the new design problem that requires a device to operate within a novel operating environment.

Requirement planning is one of the most critical tasks in the product development process. Despite its significant impact on the outcomes of the design process, engineering requirement planning is often conducted in an ad hoc manner without much structure. In particular, the requirement planning phase suffers from a lack of quantifiable measures for evaluating the quality of the generated requirements and also a lack of structure and formality in representing engineering requirements. The main objective of this research is to develop a formal Web Ontology Language ontology for standard representation of engineering requirements. The proposed ontology uses explicit semantics that makes the ontology amenable to automated reasoning. To demonstrate how the proposed ontology can support requirement analysis and evaluation in engineering design, three possible services enabled by the ontology are introduced in this paper. These services are information content measurement, specificity and completeness analysis, and requirement classification. The proposed ontology and its associated algorithms and tools are validated experimentally in this work.

A symbolic calculus for reasoning about process plans is proposed in this paper. The main focus of attention is the selection and sequencing of material removal operations for components in accordance with the design geometry. This is a central issue in automated process planning. The proposed symbolic calculus defines a computational formalism for symbolic manipulation of feature volumes, so that reasoning about volumetric removals can be treated in a logical manner by using well-defined procedures of algorithmic synthesis. This potentially encourages a more generic approach to the automation of outline and detailed process planning. The underlying philosophy is that a properly interpreted object topology upon the feature model allows the logical synthesis of volumetric removal sequences. The number of sequences is constrained by algorithms within the planning system that consider part geometry as expressed by features. This reduces the problem space associated with plan synthesis. Some of the geometrically viable sequences have the potential for further development to form viable machining removal sequences, or outline process plans.

Inspection planning is a process of reasoning about inspection activities. As a result, a sequence of inspection actions is formulated, which, when performed, will achieve the desired measurements. In manufacturing, automated inspection technologies, such as Computer-Aided Inspection (CAI) or Co-ordinate Measuring Machines (CMMs), will be facilitated by inspection planning. Inspection planning involves the following four aspects: representation of inspection features; process formalization; modeling of inspection activities; and, finally, plan synthesis. This paper discusses an approach to knowledge-based inspection planning. Accordingly, a prototype inspection planning system has been developed, which is also described in this paper.

The work described in this paper is part of the development of a framework to support the joint execution of cooperative missions by a group of vehicles, in a simulated, augmented, or real environment. Such a framework brings forward the need for formal languages in which to specify the vehicles that compose a team, the scenario in which they will operate, and the mission to be performed. This paper introduces the Scenario Description Language (SDL) and the Team Description Language (TDL), two Extensible Markup Language based dialects that compose the static components necessary for representing scenario and mission knowledge. SDL provides a specification of physical scenario and global operational constraints, while TDL defines the team of vehicles, as well as team-specific operational restrictions. The dialects were defined using Extensible Markup Language schemas, with all required information being integrated in the definitions. An interface was developed and incorporated into the framework, allowing for the creation and edition of SDL and TDL files. Once the information is specified, it can be used in the framework, thus facilitating environment and team specification and deployment. A survey answered by practitioners and researchers shows that the satisfaction with SDL+TDL is elevated (the overall evaluation of SDL+TDL achieved a score of 4 out of 5, with 81%/78.6% of the answers ≥4); in addition, the usability of the interface was evaluated, achieving a score of 86.7 in the System Usability Scale survey. These results imply that SDL+TDL is flexible enough to represent scenarios and teams, through a user-friendly interface.

Technical function is a key concept in engineering design. Despite the centrality of the concept, a systematic, rigorous analysis of the utility of function and its different conceptualizations is missing in the engineering design literature. This paper addresses this challenge. We investigate the utility of function and its different meanings in the following engineering design contexts: malfunction explanation, innovative design, redesign, and routine design. This analysis provides theoretical justification for the current engineering practice of accepting ambiguity of functional descriptions and for methods to translate and/or convert functional descriptions across engineering design frameworks. We show that the utility of specific meanings of function is highly task dependent, identify novel roles for functional descriptions in engineering design, and present methodological implications for translation methods for functional descriptions.

Question–answering (QA) systems have proven to be helpful, especially to those who feel uncomfortable entering keywords, sometimes extended with search symbols such as +, *, and so forth. In developing such systems, the main focus has been on the enhanced retrieval performance of searches, and recent trends in QA systems center on the extraction of exact answers. However, when their usability was evaluated, some users indicated that they found it difficult to accept the answers because of the absence of supporting context and rationale. Current approaches to address this problem include providing answers with linking paragraphs or with summarizing extensions. Both methods are believed to be sufficient to answer questions seeking the names of objects or quantities that have only a single answer. However, neither method addresses the situation when an answer requires the comparison and integration of information appearing in multiple documents or in several places in a single document. This paper argues that coherent answer generation is crucial for such questions, and that the key to this coherence is to analyze texts to a level beyond sentence annotations. To demonstrate this idea, a prototype has been developed based on rhetorical structure theory, and a preliminary evaluation has been carried out. The evaluation indicates that users prefer to see the extended answers that can be generated using such semantic annotations, provided that additional context and rationale information are made available.

Generative research in design investigates compact representations that facilitate the rapid exploration of large design spaces. It includes among other things: rule-based systems, feature structures, and genetic algorithms. Generative systems are being applied to a variety of design problems from various disciplines including engineering, product design, and architecture. The objective is to further our understanding of the design operations and manipulations to create systems that better support the designers' activity.