bluuebunny/crossref_metadata_2025 huggingface dataset:
Component selection using temporal truth maintenance
Authors: Seddon Andrew , Brereton Pearl
Published: March 2010

The application of truth maintenance techniques to the component selection phase of the engineering design process is described. The aims of the research include the selection of components that most closely match a set of requirements which include fluid characteristics, economic constraints, and company policies or preferences. In addition, we consider the storage and retrieval of requirement sets and corresponding component selections. The benefits of maintaining temporal knowledge are twofold: to enhance performance through reuse when new requirement sets are similar to previous sets, and to re-assess selections in the light of changes over time, for example, to the set of available components, to company policy, or, perhaps, to national safety regulations.

We propose a temporal truth maintenance system (TTMS) to support this management of selection knowledge over time.
Treatment selection by constraint propagation a case study in cutting fluid selection
Authors: Mogush James E. , Carrega Dominique , Spirtes Peter , Fox Mark S.
Published: March 2010

The GREASE project is an investigation of the application of artificial intelligence to cutting fluid selection and blending for metal machining operations. The problem is to first diagnose the machining operations to determine what fluid characteristics are required, then to select a cutting fluid which satisfies the required characteristics. The problem is exacerbated by the need to select a single fluid to be used by multiple types of operations on a variety of materials. Diagnosis is relatively simple, but treatment specification is difficult due to the variety of operations to be handled.

GREASE uses heuristic search in which the evaluation function is heuristically constructed. The construction of the evaluation function begins with the determination of the characteristics of an optimal fluid based on deep knowledge of the machining operations and materials. This is then altered heuristically according to problems diagnosed with the current fluid. Once the evaluation function is complete, it is used to select an existing fluid from the product line. GREASE has been tested extensively with results which equal that of the experts and has been field tested by the Chevron Corporation.
Knowledge compilation using constraint inheritance
Authors: Chabot Rosemary , Brown David C.
Published: March 2010

Design knowledge is continually refined and expanded through experience. This research is concerned with design knowledge expressed as constraints. A simple learning mechanism simulates an expert designer's ability to incrementally adjust her knowledge when presented with slightly new problems. In response to unsatisfied expectations during the design process the system will examine its general knowledge about the design artifact, discover some relevant constraining knowledge, and convert that knowledge into a design constraint for future use. This process, referred to as constraint inheritance, should automatically improve the problem-solving performance.
Using the points of large cases
Authors: Domeshek Eric , Kolodner Janet
Published: March 2010

We believe that case-based reasoning (CBR) will prove applicable to design, at least in part, as we have seen designers making extensive use of past cases. Construction of useful systems, however, requires the resolution of many open issues. In this paper we consider three issues in particular: (1) What sort of content should be captured in a design case? (2) How should the content of a complex case be segmented into chunks for use? (3) How should the resulting chunks be indexed for retrieval? These are among the issues we are seeking to address through construction of Archie-II, a case-based aid for conceptual design in architecture. In addition to our approaches to these issues, this paper also discusses our strategic choice to build a design aiding system as opposed to a system that generates designs on its own.
DEJAVU: Case-based reasoning for mechanical design
Authors: Bardasz Theodore , Zeid Ibrahim
Published: March 2010

The architecture and implementation of a mechanical designer's assistant shell called DEJAVU is presented. The architecture is based on an integration of design and CAD with some of the more well known concepts in case-based reasoning (CBR). DEJAVU provides a flexible and cognitively intuitive approach for acquiring and utilizing design knowledge. It is a domain independent mechanical design shell that can incrementally acquire design knowledge in the domain of the user. DEJAVU provides a design environment that can learn from the designer(s) until it can begin to perform design tasks autonomously or semi-autonomously. The main components of DEJAVU are a knowledge base of design plans, an evaluation module in the form of a design plan system, and a blackboard-based adaptation module. The existance of these components are derived from the utilization of a CBR architecture. DEJAVU is the first step in developing a robust designer's assistant shell for mechanical design problems. One of the major contributions of DEJAVU is the development of a clean architecture for the utilization of case-based reasoning in a mechanical designer's assistant shell. In addition, the components of the architecture have been developed, tailored or modified from a general CBR context into a more synergistic relationship with mechanical design.
Automated process planning: reasoning from first principles based on geometric relation constraints
Authors: Nevrinceanu Cornelius , Morellas Vassilios , Donath Max
Published: March 2010

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.
Research methodology for AI and design
Authors: Steinberg Louis
Published: March 2010

Perspectives on research methodology in the field of “AI and design” are discussed. This perspective is based on a view of a “science of design” focusing on methods of design and on characteristics of design tasks that affect what methods are relevant for a given task. Two methodological issues are discussed: the need to try applying a design method on multiple tasks and domains, and the need to work with collaborators who are experts in the task domain of each research system you build.
A framework for design verification and evaluation systems
Authors: Medoff Steven M. , Register Michael S. , Swartwout Mark W.
Published: March 2010

Although current efforts have indicated the need for design verification and evaluation systems, little has been done to develop knowledge representation systems for implementing this class of expert systems. In this paper, we describe CANDLE, a knowledge representation system built to solve design verification and evaluation problems. We define the class of design verification and evaluation systems and the functionality required of knowledge representation systems used to develop these systems. We present an example design verification and evaluation problem, illustrating how this problem imposes these functionality requirements on the knowledge representation system used. In the remainder of the paper we discuss CANDLE, a knowledge representation system created to develop design verification and evaluation systems. We show that CANDLE meets the knowledge representation requirements for this class of systems. We also present some of CANDLE'S functionality that exceeds the defined knowledge representation requirements and provides a knowledge engineer with the capability to expand the functionality of a design verification and evaluation system.
A continued investigation into qualitative reasoning about shape and fit
Authors: Carney Stephen P. , Brown David C.
Published: March 2010

Previous research on qualitative reasoning about shape and fit laid the foundations to determine whether two objects fit together. Continued investigation has refined the theory and has produced a functioning implementation. This paper describes extensions to the theory and the details of the implementation.

The reasoning process has been divided into five layers: grouping, topology, orientation, matching, and confirmation. The grouping layer clusters features such as cubes or cylinders into groups for each surface of an object. The topology layer recognizes patterns formed by the groups on each surface, and describes the pattern in terms of topological structures. The orientation layer selects promising surfaces from the two objects and attempts to align the two surfaces. If the orientation layer aligns the topological structures on the two surfaces, the matching layer tries to pair the features within the topological structures. The confirmation layer inspects paired features to determine whether the surfaces are compatible. If the surfaces are compatible, then the two objects qualitatively fit together.
Applying design-dependent knowledge in structural engineering design
Authors: Howard H. Craig , Wang Jenmu , Daube Francois , Rafiq Taufiq
Published: March 2010

Recent knowledge-based expert systems for structural engineering design have focused on design-independent knowledge (abstract reasoning rules for designing), and while great strides have been made in that area, there is still a significant need to develop systems to take advantage of the wealth of knowledge contained in every substantial structural design. On the other hand, previous database-oriented design efforts have focused primarily on knowledge-poor databases of solutions, in which the traditional engineering handbook of solutions has simply been replaced by digital data. The challenge is to find a way to capture and apply the kind of case-based, design-dependent knowledge that structural engineers have traditionally used. The long-term results will be better structural designs and better structural designers. This paper discusses the character of the design-dependent knowledge in a structural engineering context, describes two initial applications of case-based reasoning to component design, and presents a general paradigm for a knowledge-based design system integrating rule-based and case-based reasoning.
Solving constraint satisfaction problems using ATeams
Authors: Gorti Sreenivasa Rao , Humair Salal , Sriram Ram D. , Talukdar Sarosh , Murthy Sesh
Published: March 2010

This paper presents an approach to solving constraint satisfaction problems using Asynchronous Teams of autonomous agents (ATeams). The focus for the constraint satisfaction problem is derived from an effort to support spatial layout generation in a conceptual design framework. The constraint specification allows a high-level representation and manipulation of qualitative geometric information. We present a computational technique based on ATeams to instantiate solutions to the constraint satisfaction problem. The technique uses a search for a solution in numerical space. This permits us to handle both qualitative relationships and numerical constraints in a unified framework. We show that simple knowledge, about human spatial reasoning and about the nature of arithmetic operators can be hierarchically encapsulated and exploited efficiently in the search. An example illustrates the generality of the approach for conceptual design. We also present empirical studies that contrast the efficiency of ATeams with a search based on genetic algorithms. Based on these preliminary results, we argue that the ATeams approach elegantly handles arbitrary sets of constraints, is computationally efficient, and hence merits further investigation.
Composite design and manufacturing critiquing system
Authors: Messimer Sherri L. , Henshaw John M. , Montgomery John , Rogers John
Published: March 2010

An ongoing research effort is consolidating material and process knowledge in a critiquing system dealing with fuzzy criteria to aid designers in evaluating the incorporation of composite materials into their design. The extent of knowledge required to perform the task of evaluating composite processes and materials is often beyond the expertise of many design engineers as they lack understanding of the nature of composite material manufacturing. The system under development is known as the Composites Design and Manufacturing Critiquing System (CDMCS). The CDMCS critiques a submitted design through interaction with the user. An account of the strengths and weaknesses of the design is supplied to the user through the facilities. The current focus of the system is on process selection, but the system is generic so that other aspects of composite material manufacturing may be included. The system is implemented in Macintosh™ Common LISP. This article describes the features of the system that have been implemented. The system is currently being extended to cover more than the primary process component of the domain.
Sharing the learning activity using intelligent CAD
Authors: Duffy Sandra M. , Duffy Alex H.B.
Published: March 2010

In this paper the need for Intelligent Computer Aided Design (Int.CAD) to jointly support design and learning assistance is introduced. The paper focuses on presenting and exploring the possibility of realizing “learning” assistance in Int.CAD by introducing a new concept called Shared Learning. Shared Learning is proposed to empower CAD tools with more useful learning capabilities than that currently available and thereby provide a stronger interaction of learning between a designer and a computer. “Controlled” computational learning is proposed as a means whereby the Shared Learning concept can be realized. The viability of this new concept is explored by using a system called PERSPECT. PERSPECT is a preliminary numerical design tool aimed at supporting the effective utilization of numerical experiential knowledge in design. After a detailed discussion of PERSPECT's numerical design support, the paper presents the results of an evaluation that focuses on PERSPECT's implementation of “controlled” computational learning and ability to support a designer's need to learn. The paper then discusses PERSPECT's potential as a tool for supporting the Shared Learning concept by explaining how a designer and PERSPECT can jointly learn. There is still much work to be done before the full potential of Shared Learning can be realized. However, the authors do believe that the concept of Shared Learning may hold the key to truly empowering learning in Int.CAD.
Learning engineering: The key to automatic knowledge acquisition
Authors: Arciszewski Tomasz
Published: March 2010

Learning engineering is a new subarea of knowledge engineering dealing with the methodological aspects of using learning systems in knowledge acquisition. In this paper, the justification for the development of Learning Engineering is provided, and its major subdomains and research directions are briefly discussed.
Modelling engineering information with machine learning
Authors: Reich Yoram
Published: March 2010

Since the inception of research on machine learning (ML), these techniques have been associated with the task of automated knowledge generation or knowledge reorganization. This association still prevails, as seen in this issue. When the use of ML programs began to attract researchers in engineering design, different existing tools were used to test their utility and gradually, variations of these tools and methods have sprung up. In many cases, the use of these tools was based on availability and not necessarily applicability. When we began working on ML in design, we attempted to follow a different path (Reich, 1991a; Reich & Fenves, 1992) that led to the design of Bridger (Reich & Fenves, 1995), a system for learning bridge synthesis knowledge. Subsequent experiences and further reflection led us to conclude that the process of using ML in design requires careful and systematic treatment for identifying appropriate ML programs for executing the learning tasks we wish to perform (Reich, 1991b, 1993a). Another observation was that the task of creating or reorganizing knowledge for real design tasks is outside the scope of present ML programs. Establishing the practical importance of ML techniques had to start by addressing engineering problems that could benefit from present ML programs.
Engineering vision: Considerations in a meaningful approach to conceptual design
Authors: Ramirez Martin R.
Published: March 2010

A method is proposed for creative innovative design that is in concordance with the act of knowledge integration in learning; creative innovative design is defined as a guided (creative) process for arriving at an artifact that is socially valuable (practical and needed) and original (innovative). Within the context of models of reasoning, the process of design is interpreted and analyzed with a goal of extracting the stages at which it can be consciously improved by mindful control. A language is proposed for team-oriented intra- or interdisciplinary collaborative, as well as individual design that facilitates communication, mutual understanding, and makes explicit alternative nonverbal, nonquantitative thinking processes that otherwise may remain latent. The role of motivation in innovation is briefly discussed, as well as the role of artifact valuation in a societal context. Although not central to the present discussion, computer models of design are presented as an instance of design practice captured for computer-based design support. A brief discussion highlights the application and implications of the proposed method to education and research.
Intelligent automated grid generation for numerical simulations
Authors: Yao Ke-Thia , Gelsey Andrew
Published: March 2010

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.
An approach to functional synthesis of mechanical design Concepts: Theory, applications, and emerging research issues
Authors: Chakrabarti Amaresh , Bligh Thomas P.
Published: March 2010

Conceptual design is an early stage in the design process that involves the generation of solution concepts to satisfy the functional requirements of a design problem. Usually, there are many solutions to a design problem; therefore, there is scope for producing improved designs if one could explore a solution space larger than is presently possible. An approach would be to use the computer to synthesize a wide variety of concepts for a given problem, and allow designers to explore these before developing the most promising ones. Adopting a research approach based on developing basic representations, knowledge base, and reasoning procedures adequate for synthesizing concepts of existing devices and mechanisms, a computer program for synthesis of solutions to a class of mechanical design problems has been developed. For a given design problem, the program can produce an exhaustive set of solution concepts, in terms of their topological and spatial configurations, which can then be explored by designers. The program has been tested in two ways: (1) by comparing the candidate solutions produced by the program with those produced by designers in two real design case studies, and (2) by using three experienced designers to evaluate the solutions, generated by the program, for their novelty and usefulness. This paper presents the theoretical basis, research method, the theory and implementation of the synthesis approach. Also, the results of the above case studies and evaluations, and a discussion of further issues highlighted by the evaluations are presented.
Functional device models and model-Based diagnosis in adaptive design
Authors: Goel Ashok K. , Stroulia Eleni
Published: March 2010

We analyze the diagnosis task in the context of adaptive design and redesign of physical devices. We identify three types of diagnosis tasks that differ in the types of information they take as input: the design does not achieve a desired function of the device, the design results in an undesirable behavior, and a specific structural element in the design misbehaves. We describe a model-based approach for solving the diagnosis task in the context of adaptive design and redesign. This approach uses functional models that explicitly represent the device functions and use them to organize teleological and causal knowledge about the device. In particular, we describe a specific kind of functional model called structure—behavior—function (SBF) models in which the causal behaviors of the device are specified in terms of flow of substances through components. We illustrate the use of SBF models with three examples from Kritik2, a knowledge system that designs new devices by retrieving, diagnosing, and adapting old device designs.
Constraint-based reasoning via Grobner Bases
Authors: Lakmazaheri Sivand
Published: March 2010

Constraint-based reasoning is a problem-solving approach based on deductive reasoning. In this approach, a problem is modeled in terms of hypotheses and conclusion constraints, and it is solved via constraint satisfaction. The ability to handle linear and nonlinear algebraic constraints is essential for successful application of constraint-based reasoning in engineering. Due to the scarcity of algebraic techniques for satisfying nonlinear constraints, little attention has been paid to the use of constraint-based reasoning for solving nonlinear problems. This paper examines the use of the Grobner Bases method for satisfying nonlinear constraints in the context of constraint-based reasoning. After a brief introduction to the Grobner Bases method and its role in constraint-based reasoning, two examples are presented. The first example illustrates the use of Grobner bases, in the context of constraint-based reasoning, for reasoning about the behavior of beams. The second example illustrates the geometry configuration of truss structures via constraint-based reasoning.
User interface for specification language for case-based mechanical design
Authors: Dandekar Abhay , Zeid Ibrahim , Bardasz Theodore
Published: March 2010

Case-based design (CBD) systems aim to solve a design problem by tailoring previously solved design problems to the current problem. Designers' specifications are used for indexing the knowledge base of the CBD system to retrieve an appropriate design case. Menu-based systems fail to capture designers' specifications effectively due to lack of expressiveness, while natural language systems are too immature to satisfy the goal. This paper presents the development of a graphical user interface (GUI) to implement a mechanical design specification language (MDSL) (Stelling, 1994) used to facilitate indexing in case-based mechanical design. The specification language is context-free and hence computable. It represents mechanical design knowledge in a (feature):(attribute) format suitable for indexing. An augmented transition network (ATN) parser is built using the grammar of the specification language. The parser provides syntactic as well as semantic checks. It also has capabilities to expand grammar and to adapt to a specific user domain. A graphical front end to the parser assists and guides the user through the specification language syntax in entering the design specifications. Provisions have been made to expand or edit the language grammar and vocabulary. The ATN parser was implemented in Common Lisp and the graphical user interface was written using the Gold Hill Windows Toolkit. Sample user interactions with the interface and screen dumps of the GUI are included.
Capturing and using design rationale
Authors: Chung Paul W.H. , Bañares-Alcántara René
Published: March 2010

Published research on design rationale (DR) goes back at least 25 years. Judging by the number of publications and the variety of application domains, there has been a significant increase in related research activities in recent years. For example, there have been other special issues on design rationale (e.g., Carrol & Moran, 1991), workshops in international conferences (e.g., Lee, 1992; Chung & Bañares–Alcántara, 1994), and the first book on design rationale has just appeared (Carrol & Moran, 1996).
A compositional approach to modelling design rationale
Authors: Brazier Frances M.T. , van Langen Pieter H.G. , Treur Jan
Published: March 2010

Design support systems need to be developed on the basis of an understanding of the human design process to be useful during design. The explicit representation of design history and rationale are of particular importance for explanation and reuse. Within the DESIRE framework for compositional modelling, a generic task model of design has been developed that clearly specifies the role of design history and design rationale within the design process. The model provides a structure to distinguish different types of design rationale, according to the functional role they play in the design process. It has been used to structure the modelling process of an example aircraft design task, which illustrates the various instances of design rationale that can be generated.
Integrating different perspectives on design rationale: Supporting the emergence of design rationale from design communication
Authors: Shipman Frank M. , McCall Raymond J.
Published: March 2010

Design rationale is a topic that implies different things to different people. To some it implies argumentation and frameworks for argumentation. To others it implies the documentation of design, like that required for many types of industrial or government work. Still others describe design rationale as the capture and potential reuse of normal communication about design. These perspectives of design rationale use different representations, which influence their ability to capture and to retrieve and use information. We propose an integrated approach to design rationale where design communication is captured and, over time, incrementally structured into argumentation and other formalisms to enable improved retrieval and use of this information. Two systems, PHIDIAS and the Hyper-Object Substrate, are used to demonstrate: (1) how to capture and integrate a variety of design information, (2) how to support the structuring of unstructured information, and (3) how to use design information to actively support design.
Computer-aided design/engineering of bearing systems using the Dempster-Shafer theory
Authors: Butler A.C. , Sadeghi F. , Rao S.S. , LeClair S.R.
Published: March 2010

Research in computer-aided design/engineering (CAD/E) has focused on enhancing the capability of computer systems in a design environment, and this work has continued in this trend by illustrating the use of the Dempster-Shafer theory to expand the computer’s role in a CAD/E environment. An expert system was created using Dempster-Shafer methods that effectively modeled the professional judgment of a skilled tribologist in the selection of rolling element bearings. A qualitative and symbolic approach was used, but access to simple quantitative models was provided to the expert system shell. Although there has been significant discussion in the literature regarding modification/improvement of the Dempster-Shafer theory, Shafer’s theories were found adequate in all respects for replicating the expert’s judgment. However, an understanding of the basic theory is required for interpreting the results.
An artificial neural network approach to discrete-event simulation
Authors: Flood Ian , Worley Kenneth
Published: March 2010

This paper proposes and evaluates a neural network-based method for simulating manufacturing processes that exhibit both noncontinuous and stochastic behavior processes more conventionally modeled, using discrete-event simulation algorithms. The incentive for developing the technique is its potential for rapid execution of a simulation through parallel processing, and facilitation of the development and improvement of models particularly where there is limited theory describing the dependence between component processes. A brief introduction is provided to a radial-Gaussian neural network architecture and training process, the system adopted for the work presented in this paper. A description of the basic approach proposed for applying this technology to simulation is then described. This involves the use of a modularized neural network approach to model construction and the prediction of the occurrence of events using information retained from several previous states of the simulation. A class of earth-moving systems, comprising a push-dozer and a fleet of scrapers, is used as the basis for assessing the viability and performance of the proposed approach. A series of experiments show the neural network to be capable of both capturing the characteristic behavior and making an accurate prediction of production rates of scraper-based earth-moving systems. The paper concludes with an indication of some areas for further development and evaluation of the technique.
Using a manufacturing constraint network to identify cost-critical areas of designs
Authors: Hayes Carolyn C. , Sun Harold C.
Published: March 2010

A difficult task in concurrent engineering tasks is to provide appropriate manufacturability feedback to the designer in a timely manner. Many tools provide designers with cost and manufacturability evaluations, but they do not necessarily help the designer to identify what aspects of the design to change in order to improve it from a manufacturing perspective. A computer-assisted concurrent-engineering technology is described which identifies cost-critical tolerances in the design and generates cost-reducing design suggestions. The purpose of the system is to help focus the designer’s attention on the specific aspects of the design that influence manufacturing cost. This can aid the designer in optimizing the manufacturing costs of prismatic, one-off parts created on a CNC machining center. This work uses a program called the Manufacturing Evaluation Agent to produce cost-reducing design suggestions. The Manufacturing Evaluation is made up of two portions: a manufacturing planner and a suggestion generator. The manufacturing planner,P3, takes a design and generates a manufacturing constraint net that represents all manufacturing steps and their sequencing. Each constraint in the network has a label indicating the portions of the design (or manufacturing environment) that gave rise to that constraint. The Suggestion Generator analyzes the manufacturing constraint net to find the cost-critical areas, and uses the labels to find the portions of the design responsible for these cost-critical parts of the manufacturing plan. By pinpointing the cost-critical areas of the design and suggesting alternatives, the Manufacturing Evaluation Agent can help the de-signer to more quickly develop a superior design. This results in more rapid turnaround time, lower cost designs, and fewer engineering change orders once the design is sent to the factory floor.
Extending the constraint propagation of intervals
Authors: Ward Allen C. , Lozano-Pérez Tomás , Seering Warren P.
Published: March 2010

We show that the usual notion of constraint propagation is but one of a number of similar inferences useful in quantitative reasoning about physical objects. These inferences are expressed formally as rules for the propagation of ‘labeled intervals’ through equations. We prove the rules' correctness and illustrate their utility for reasoning about objects (such as motors or transmissions) which assume a continuum of different states. The inferences are the basis of a ‘mechanical design compiler’, which has correctly produced detailed designs from ‘high level’ descriptions for a variety of power transmission and temperature sensing systems.
Intelligent control of complex materials processes
Authors: Pardee William J. , Shaff Michael A. , Hayes-Roth Barbara
Published: March 2010

A blackboard based intelligent control system has been developed for a family of complex non-equilibrium materials processes. The system is being tested in the laboratory for control of a particular high risk, high value-added step in the manufacture of carbon-carbon composites. The system uses knowledge based methods in several fundamental ways to fill gaps left by control theory and process models. Most notable of these are (1) inferring from indirect measurements and history the process state at multiple, changing levels of abstraction, (2) anticipating problems and planning actions to reach goal (end of process) states, (3) selecting, executing and interpreting approximate models to predict process progression and (4) changing control objectives as the physical situation changes. The system has been demonstrated to substantially reduce processing time.
A knowledge-based system for computer-aided architectural design for energy savings and thermal comfort
Authors: Pau L. F. , Nielsen S. Skafte
Published: March 2010

This paper describes EKSPRO, a knowledge-based system integrating a 3-D computer-aided design system for materials, heating, ventilation, lighting equipment, building codes and occupational health regulations, and design guidelines user-defined by architects and engineers. The system features an object-oriented predicate logic knowledge representation, and interfaces with calculation packages (CAD, thermal balance, illumination, daylight).
Design is intelligent behaviour, but what’s the formalism?
Authors: Smithers Tim , Troxell Wade
Published: March 2010

A methodology for studying and understanding the process of design, and ultimately for developing a computational theory of design is presented. In particular, the role of formalization in such an investigation is set out. This is done by first presenting the background to and development ofcomputational searchas a widely adopted problem solving paradigm in artificial intelligence research. It is then suggested why computational search provides an inadequate characterization of the design process and an alternative, that design is an exploration process is proposed. By developing certain ideas first put forward by Simon the authors seek to explain why this view is taken and how it forms a central part of their Artificial Intelligence in Design research programme. It is hoped to (eventually) develop a computational theory of design. The radically incomplete nature of this work necessarily prevents the authors from answering the question posed by the title of the paper but the title does provide a good focus for their efforts.
A communication model to aid knowledge-based design systems
Authors: Morse David V. , Hendrickson Chris
Published: March 2010

Recent research in the area of computer-aided engineering design has focused on the development of environments that provide effective integration of several domain specialties for complex multidisciplinary synthesis problems. The definition of communication requirements for co-operative interaction—and the subsequent establishment of a conceptual model for automating the process—are important considerations in the development of such environments. A communication model can also provide the basis for development of a knowledge engineering strategy by defining the organizational and representational requirements for domain knowledge in the automated system. This paper presents a conceptual model for communication in automated interactive design and demonstrates how the model can be employed as a knowledge engineering tool to facilitate the acquisition and organization of domain expertise. Both the process architecture and semantic modeling aspects of the communication problem are considered. An example is included which illustrates the use of the model in formulating an automated integrated engineering system in the domain of floor and equipment layout and design for industrial facilities.
A framework for case-based reasoning in engineering design
Authors: Shiva Kumar H. , Krishnamoorthy C.S.
Published: March 2010

Although the case-based reasoning (CBR) process is domain dependent, certain aspects of it can readily be captured into a generic framework which in turn can be applied to various engineering domains. One such exercise that has been carried out is described here. In this paper, we present the notion that CBR can be formalized and applied in a specialized framework in an integrated knowledge-based environment. We first analyze the CBR process to abstract the steps involved in the development of a CBR system. We then propose a framework in which most of these steps are formalized so that they can be applied in a domain-independent manner. The salient features of this framework, called CASETOOL (CASE-based reasoning TOOL-kit), are then described. The highlight of this approach is the use of a concept called design criticism in the CBR process. The versatility of the tool is demonstrated through an application from the bridge engineering domain.
The RANGE family of propagation operations for intervals on simultaneous linear equations
Authors: Chen R. , Ward A.C.
Published: March 2010

Interval arithmetic has been extensively applied to systems of linear equations by the interval matrix arithmetic community. This paper demonstrates through simple examples that some of this work can be viewed as particular instantiations of an abstract “design operation,” the RANGE operation of the Labeled Interval Calculus formalism for inference about sets of possibilities in design. These particular operations promise to solve a variety of design problems that lay beyond the reach of the original Labeled Interval Calculus. However, the abstract view also leads to a new operation, apparently overlooked by the matrix mathematics community, that should also be useful in design; the paper provides an algorithm for computing it.
Inducing constraint activity in innovative design
Authors: Cagan Jonathan , Agogino Alice M.
Published: March 2010

In this paper, a methodology for inducing trends in a first principle reasoning system for design innovation is presented. Dimensional Variable Expansion is used in 1stPRINCE (FIRST PRINciple Computational Evaluator) to create additional design variables and introduce new prototypes. Trends are observed at each generation of the prototype and induction is used to predict optimal constraint activity at the limit of the iterative procedure. The inductive mechanism is applied to a constant-radius beam under flexural load and a tapered beam of varying radius and superior performance is derived. A circular wheel is created from a primitive-prototype consisting of a rectangular, spinning block that is optimized for minimum resistance to spinning. Although presented as a technique to perform innovative design, the inductive methodology can also be utilized as an AI approach to shape optimization.
Toward an expert system for damage assessment of structural concrete elements
Authors: Melchor-Lucero Octavio , Ferregut Carlos
Published: March 2010

The assessment of damage of structural concrete elements relies on the engineering judgment of the person in charge of the inspection and evaluation. This paper describes a rule-based prototype expert system developed to assist an engineer engaged in the task of assessing postearthquake damage to structural concrete elements in the task of providing guidance for inspection as well as criteria for evaluation and courses of action to take afterwards. The expert system, called DASE, identifies the most likely failure modes that may be developed by columns or beams of a damaged building, determines the severity of damage and, suggests immediate actions to take afterwards, such as rehabilitation procedures or tests, to maintain an acceptable local safety level. Floor damage classification and restoration guidelines can also be provided, assuming that all of the structural components in a building's floor have been inspected. The Analytic Hierarchy Process has been implemented as the overall framework to determine the severity of damage, since it allows judgments and personal values to be represented in a systematic and rational manner. DASE provides graphics that customize the user interface and an explanation facility. The knowledge acquisition process consisted primarily of the analysis of documented knowledge found through literature research.
Special Issue: Conflict management in design
Authors: Smith Ian F.C.
Published: March 2010

Most design tasks involve the management of conflict. Conflict arises when contradictory requirements are imposed upon characteristics of artifacts, upon the process of their creation and/or upon their intended use. Even individual design requires trade-offs because of competing design criteria, such as functionality, safety, cost, and social acceptance. The ability of designers to avoid or minimize conflict through judicious tradeoffs, careful negotiations and other methods become their most valuable skills.
Conflict management as part of an integrated exception handling approach
Authors: Klein Mark
Published: March 2010

Collaborative design conflicts are an important type of process “exception,” that is, a real-life contingency such as a process change, execution error, or missed opportunity that leads to suboptimal performance of a collaborative process. This paper presents an integrated computational approach to collaborative process exception handling that avoids important weaknesses in current conflict management methods through the synergistic integration of conflict, workflow, and rationale technology. The approach is based upon an inclusive dependency language plus coordination services for dependency capture, process enactment, and exception handling. An initial implementation of this method called “iDCSS” is presented and challenges for future evolution of this technology are identified.
Modelling conflict management in design: An explicit approach
Authors: Brazier Frances M.T. , van Langen Pieter H.G. , Treur Jan
Published: March 2010

This paper focusses on how conflicts that arise during a design process and the management of conflicts can be modelled. A number of possible conflict types are distinguished and it is described how each of them can be detected during the design process, using an explicit meta-representation. Furthermore, it is shown how these conflict types can be analyzed and managed by means of strategic meta-knowledge about design processes.
Altering the SightPlan knowledge-based systems
Authors: Tommelein I. D. , Hayes-Roth B. , Levitt R. E.
Published: March 2010

SightPlan refers to several knowledge-based systems that address construction site layout. Five different versions were implemented and their components of expertise are described here. These systems are alterations of one another, differing either in the problems they solve, the problem-solving methods they apply, or the tasks they address. Because they share either control knowledge, domain concepts, or heuristics, and such knowledge is implemented in well-defined modular knowledge bases, these systems could easily re-use parts of one another. Experiments like those presented here may clarify the role played by different types of knowledge during problem solving, enabling researchers to gain a broader understanding of the generality of the domain and task knowledge that is embedded in KBSs and of the power of their systems.
A predicate logic approach to CAD/CAM modeling
Authors: Bond Alan H.
Published: March 2010

An approach to CAD and CAM modeling and to the design of CAD/CAM systems is presented. Models of the product and of the process are represented by logical assertions in a common logical language. CAD/CAM functions are represented by the application of logical inference rules, which correspond to the derivation of new information as well as to actions. This allows all the different kinds of model and specification used in design and manufacturing to be represented in a computer in a common form. It therefore allows the representation of constraints and rules connecting any aspects of design and manufacturing together.

This approach has all the advantages of formal specifiction, namely, ease of expression, communication, standardization and abstraction. At the same time, we demonstrate its practical implementation in an efficient form, and which is industry compatible, and we report practical experience with using this approach for CAD/CAM models and for intelligent CAD/CAM functions.
Acquiring design knowledge through design decision justification
Authors: Garcia Ana Cristina Bicharra , Howard H. Craig
Published: March 2010

Currently design documentation rarely records the designer's decision process or the reasons behind those decisions. This paper describes an effort to improve design documentation by having the computer act as an intelligent apprentice to the designer to capture the rationale during the design process. The apprentice learns about the features that make a specific case different from the standard. Whenever the designer proposes a design action that differs from the apprentice's expectations, the interface will ask for the designer for justifications to explain the differences. Later queries for design rationale are answered using a combination of the apprentice's domain knowledge and the designer-supplied justifications. The apprentice model is being implemented in a prototype system called ADD (Augmenting Design Documentation). The initial focus of the work is on HVAC (Heating, Ventilation, and Air Conditioning) design. Our starting point for implementing the apprentice model is observing how people develop HVAC system designs and then explain those designs.
A theoretical framework for automatic layout of machining fixtures
Authors: Chou Yon-Chun
Published: March 2010

Fixtures are used in almost all manufacturing operations. They take on many different forms, ranging from simple mechanical vises to modular fixtures to specialized fixtures. For cylindrical parts or simple prismatic parts, automatic design of fixtures is feasible. However, for parts of irregular shape such as castings or forged parts, the automation of fixture design is a complex problem. In this paper we address the problem of fixture layout for parts of complicated shape. Issues related to automatic design such as completeness, soundness, and computing efficiency are first discussed. A theoretical framework based on algebraic formulations is developed which models human reasoning employed for workpiece restraint. These formulations will ensure the completeness and soundness of the design methodology. They also provide a mechanism for constraint propagation in the design space. Finally, the generality of the framework is discussed.