bluuebunny/crossref_metadata_2025_split huggingface dataset:
Use of decision-tree induction for process optimization and knowledge refinement of an industrial process
Authors: Famili A. 
Published: March 2010

AbstractDevelopment of expert systems involves knowledge acquisition that can be supported by applying machine learning techniques. The basic idea of using decision-tree induction in process optimization and development of the domain model of electrochemical machining (ECM) is presented. How decision-tree induction is used to build and refine the knowledge base of the process is also discussed.The idea of developing an intelligent supervisory system with a learning component [Intelligent MAnufacturing FOreman (IMAFO)] that is already implemented is briefly introduced. The results of applying IMAFO for analyzing data from the ECM process are presented. How the domain model of the process (electrochemical machining) is built from the initial known information, and how the results of decision-tree induction can be used to optimize the model of the process and further refine the knowledge base are shown. Two examples are given to demonstrate how new rules (to be included in the knowledge base of an expert system) are generated from the rules induced by IMAFO. The procedure to refine these types of rules is also explained.
A network based expert system for intelligent design of mechanisms
Authors: Kota Sridhar , Erdman Arthur G. , Riley Donald R. , Esterline Albert , Slagle James R. 
Published: March 2010

Linkage-type mechanisms have numerous applications in industry especially for automation Unfortunately, they are less popular due to lack of proper design tools. This paper describes our efforts to remove the technological barrier in mechanisms design automation. Although the ideas presented apply to automation of mechanisms design in general, the paper discusses the development of an expert system for a particular sub-set of mechanisms called Dwell mechanisms.Many essential and desirable motion characteristics of mechanisms are so implicit that they are difficult to control by analytical methods. By systematically and extensively studying the entire motion characteristics of hundreds of linkages, a comprehensive classification system and heuristics were developed. This qualitative classification scheme led to a finite set of linkage models that cover the entire design space in the sense that any possible design falls under one or more of the models. Our system, called Dwell-Expert, incorporates this design expertise to select the best linkage model for a given set of design specifications and to compare that model against alternatives. The new design methodology and its implementation in AGNESS (A Generalized Network-based Expert System Shell) are explained. A design example is also presented. Our system can reduce even an experienced designer’s initial-design time from a day or more to a minute or less, assuming specifications have already been formulated. Such results motivate extension of this design methodology to other areas of mechanical design and engineering design in general.
A cognitive strategy for structuring space
Authors: Goel Vinod 
Published: March 2010

A spatial reasoning system must be able to represent and manipulate the location of objects in its world model. There are two general schemes for doing this—absolute symbolic schemes based on an independent coordinate system, and relative schemes which reference objects in relation to other objects of known location. This paper is concerned strictly with the latter.Given a relative scheme, there are several possible strategies for segmenting space. Two such strategies are identified and discussed. The first, called the situation-specific strategy is the one currently being explored and employed in most spatial reasoning systems. The second, here referred to as the general-purpose or cognitive strategy is the one used by the human cognitive system. It is suggested that while both strategies have outstanding strengths and weakness, the latter holds greater potential for achieving maximal coverage with minimal resources. The paper then proceeds to describe the structure of cognitive models of locative space and to specify how such models can be built from 3-D geometric models.This description is based on a cognitively motivated implementation called SEE-TELL. SEE-TELL takes as its input a 3-D geometric model and outputs a proposition of the form locative (referent, relatum). The function which maps the input to the output is a two part heuristic procedure. The first part determines the referent and relatum and the second part assigns the locative predicate. The system can assign the predicates on, right-of/left-of, and front-of/back-of. On and right-of/left-of are, respectively, illustrative of invariant and variant locatives. Front-of/back-of allows for a conflict between an ego/observer and a canonical object. These three situations are thought to cover the different classes of problems that can arise in assigning any locative.The paper concludes by summarizing the findings, identifying the shortcomings and limitations, and making suggestions for future work.
Discovery of physical principles from design experiences
Authors: Bhatta Sambasiva R. , Goel Ashok K. 
Published: March 2010

AbstractOne method for making analogies is to access and instantiate abstract domain principles, and one method for acquiring knowledge of abstract principles is to discover them from experience. We view generalization over experiences in the absence of any prior knowledge of the target principle as the task of hypothesis formation, a subtask of discovery. Also, we view the use of the hypothesized principles for analogical design as the task of hypothesis testing, another subtask of discovery. In this paper, we focus on discovery of physical principles by generalization over design experiences in the domain of physical devices. Some important issues in generalization from experiences are what to generalize from an experience, how far to generalize, and what methods to use. We represent a reasoner's comprehension of specific designs in the form of structure-behavior-function (SBF) models. An SBF model provides a functional and causal explanation of the working of a device. We represent domain principles as device-independent behavior-function (BF) models. We show that (1) the function of a device determines what to generalize from its SBF model, (2) the SBF model itself suggests how far to generalize, and (3) the typology of functions indicates what method to use.
An approach for qualitative structural analysis
Authors: Fruchter Renate , Law Kincho H. , Iwasaki Yumi 
Published: March 2010

In preliminary design, the details of a structure are insufficient to warrant the use of numeric tools traditionally used in structural analysis. However, an accurate prediction of the behavior of a structure and its components in the preliminary design phase can have a significant effect on the final design process in reducing the number of alternative solutions, avoiding the costly design revisions, and improving the quality of design. Presently, there are few tools available for preliminary analysis of structures. This study represents an initial effort towards the development of a tool that can be used in the conceptual design stage to qualitatively evaluate the behavior of a structure.This paper describes a prototype system, QStruc, for qualitative structural analysis, which combines first principles in structural engineering and experiential knowledge of structural behavior. The purposes of QStruc are: (1) to generate qualitative models from the schematics of a structure; and (2) to infer the qualitative response of the structure in terms of deflected shape, moments, and reactions. The qualitative analysis strategy employs: (1) a greedy depth-first approach that tries to expand the derived response as much as possible from known parameter values; (2) a causal ordering mechanism, which enables the system to identify the solution path for the qualitative analysis; (3) qualitative calculus, which enables the qualitative evaluation of the physical quantities of the causal model that describes the behavior of the structure; and (4) Quantity Lattice (Simmons, 1986) which enables the system to reason about partial ordering among physical quantities and to reduce some of the ambiguous conclusions caused by the impreciseness of the information. Examples are provided to illustrate the effectiveness and limitations of the prototype system.
Layered models of research methodologies
Authors: Reich Yoram 
Published: March 2010

AbstractThe status of research methodology employed by studies on the application of AI techniques to solving problems in engineering design, analysis, and manufacturing is poor. There may be many reasons for this status, including: unfortunate heritage from AI, poor educational system, and researchers’ sloppiness. Understanding this status is a prerequisite for improvement. The study of research methodology can promote such understanding, but, most importantly, it can assist in improving the situation. Concepts from the philosophy of science are introduced, and models of world views of science are built on them. These world views are combined with research heuristics or research perspectives and criteria for evaluating research to create a layered model of research methodology. This layered model can serve to organize and facilitate a better understanding of future studies of research methodologies. Many of the issues involved in the study of AI and AIEDAM research methodology using this layered model are discussed.
From general design theory to knowledge-intensive engineering
Authors: Tomiyama Tetsuo 
Published: March 2010

AbstractContributions of general design theory (GDT) proposed by Yoshikawa for the development of advanced CAD (computer-aided design) and for innovative design from the research results of a group at the University of Tokyo are illustrated. First, the GDT that formalizes design knowledge based on axiomatic set theory is reviewed. Second, this theoretical result is tested against experimental work on design processes. Although in principle the theoretical results agree with the experimental findings, some problems can be pointed out. From these problems a new design process model, called the refinement model, is established, which has better agreement with the experimental findings. This model implies three guiding principles in developing a future CAD system. One is that future CAD requires a mechanism for physics-centered modeling and multiple model management. Second, a mechanism for function modeling is also required, and the FBS (function-behavior-state) modeling is proposed. Third, intention modeling is also proposed for recording decision-making processes in design. These advanced modeling techniques enable creative, innovative designs. As an example, the design of self-maintenance machines is illustrated. This design example utilizes design knowledge intensively on a knowledge-intensive CAD. This is a new way of engineering and can be called knowledge-intensive engineering. The design of self-maintenance machines is, therefore, an example of knowledge-intensive design of knowledge-intensive products, which demonstrates the power of the design methodology derived from the GDT.
An integrated system for design of mechanisms by an expert system—DOMES
Authors: Yang B. , Datta U. , Datseris P. , Wu Y. 
Published: March 2010

Methodologies have been developed and implemented in LISP and OPS-S languages which address type synthesis of mechanisms. Graph theory and separation of structure from function concepts have been integrated into an expert system called DOMES (Design Of Mechanism by an Expert System) to effectively implement the following three activities: 1. enumeration of all non-isomorphic labelled graphs; 2. identification of those graphs which satisfy structural constraints; 3. sketching of mechanisms corresponding to a given graph.Developed theories and algorithms are applied to a robot gripper design and a variable-stroke piston engine design. The results from these two applications indicate that the automated techniques effectively identify all previously obtained solutions via manual techniques. Additional solutions are also identified and several errors of the manual process are detected. The developed methodologies and software appear to perform a complete and unbiased search of all possible candidate designs and are not prone to the errors of the manual process. Other important features of DOMES are: 1. it can learn and reason, by analogy, about a new design problem based on its experience of the problems previously solved by the system: 2. it has the capability to incrementally expand its knowledge base of rejection criteria by converting into LISP code information obtained through a query-based interactive session with a human designer; 3. it can select the set of rejection criteria relevant to a design problem from its knowledge base of rejection criteria. These procedures could become a powerful tool for design engineers, especially at the conceptual stage of design.
Constraint logic programming for the analysis and partial synthesis of truss structures
Authors: Lakmazaheri Sivand , Rasdorf William J. 
Published: March 2010

A general constraint-based formulation for the analysis and partial synthesis of two-dimensional truss structures is presented. This formulation is general in that it handles statically determinate and statically indeterminate trusses with pin and roller supports, and concentrated joint loads. The formulation is constraint-based in that the physical behavior of truss components is declaratively represented using constraints.The analysis and partial synthesis of a truss structure manifest themselves in proving the satisfiability of the constraints associated with the structural components. An artificial intelligence approach called constraint logic programming is used for representing and satisfying constraints. A constraint logic programming language, called CLP(R), is used for implementing the formulation. The implemented program consists of sixteen rules. These rules are used for both the analysis and partial synthesis of truss structures. Several truss analysis and synthesis examples using the formulation are presented.
Knowledge representation for reasoning: Tables, frames, and rules in a cutting fluids application
Authors: Moseley Laurence , Dobson Owain 
Published: March 2010

AbstractThis paper describes decisions made during the development of an expert system for advising on problems that arise in the use of cutting fluids in engineering. It covers the problems of knowledge acquisition and of knowledge representation and of the relationship between them. The need for iterative prototyping is noted, and the choice between a database and a rule-based approach is discussed. The paper model and the machine model may not be isomorphic, although both are useful, albeit for different purposes.
Machine learning in configuration design
Authors: Murdoch Tim , Ball Nigel 
Published: March 2010

AbstractNew methods of configuration analysis have recently emerged that are based on development trends characteristic of many technical systems. It has been found that though the development of any system aims to increase a combination of the performance, reliability and economy, actual design changes are frequently kept to a minimum to reduce the risk of failure. However, a strategy of risk reduction commits the designer to an existing configuration and an approved set of components and materials. Therefore, it is important to analyze the configurations, components, and materials of past designs so that good aspects may be reused and poor ones changed. A good configuration produces the required performance and reliability with maximum economy. These three evaluation criteria form the core of a configuration optimization tool called KATE, where known configurations are optimized producing a set of ranked trial solutions. The authors suggest that this solution set contains valuable design knowledge that can be reused. This paper briefly introduces a generic method of configuration evaluation and then describes the use of a self-organizing neural network, the Kohonen Feature Map, to analyze solution sets by performing an initial data reduction step, producing archetype solutions, and supporting qualitative clustering.
Symbolic calculus for volumetric reasoning about process plans
Authors: Lee Huaming , Scott Jon , Williams Jon Sims , Cox David 
Published: March 2010

AbstractA 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.
Intelligent critiquing and tutoring of spatial reasoning skills
Authors: Mengshoel Ole Jakob , Chauhan Sanjeev , Kim Yong Se 
Published: March 2010

AbstractThe ability to reason spatially is an important skill required for engineers, particularly in engineering design and construction. One aspect of spatial reasoning is visualizing and constructing three-dimensional (3D) solid objects from two-dimensional (2D) projections. To assist in teaching this to engineering students, an instructional software system is being developed at the University of Illinois. This instructional software system is comprised of the Visual Sweeper and the Visual Teacher. The Visual Sweeper is a geometric framework for solving missing view problems. In missing view problems, students create 3D solid objects from two 2D projections by applying operations inverse to orthographic projection. The Visual Teacher, which is the focus of this article, is an intelligent critiquing and tutoring module that gives feedback to the student regarding partial solutions to missing view problems. The Visual Teacher is comprised of a Recognizer and a Critiquer. The Recognizer identifies which solution solid the student's partial solution is closest to. Based on the solution solid and a student's partial solution, the Criti-quer gives critique and advice to the student. The Recognizer is based on an algorithm for bipartite graph matching, while the Critiquer uses a rule-based approach. This paper describes the Visual Teacher, gives examples of how it can be used, presents preliminary evaluation results, and discusses the system's assumptions and limitations.
Supporting conceptual design based on the function-behavior-state modeler
Authors: Umeda Yasushi , Ishii Masaki , Yoshioka Masaharu , Shimomura Yoshiki , Tomiyama Tetsuo 
Published: March 2010

AbstractThe relative significance of conceptual design to basic design or detail design is widely recognized, due to its influential roles in determining the product's fundamental features and development costs. Although there are some general methodologies dealing with functions in design, virtually no commercial CAD systems can support functional design, in particular so-called synthetic phase of design. Supporting the synthetic phase of conceptual design is one of the crucial issues of CAD systems with function modeling capabilities. In this paper, we propose a computer tool called a Function-Behavior-State (FBS) Modeler to support functional design not only in the analytical phase but also in the synthetic phase. To do so, the functional decomposition knowledge and physical features in the knowledge base of the modeler, and a subsystem Qualitative Process Abduction System (QPAS) play crucial roles. Modeling scheme of function in relation with behavior and structure and design process for conceptual design in the FBS Modeler are described. The advantages of the FBS Modeler are demonstrated by presenting two examples; namely, an experiment in which designers used this tool and the design of functionally redundant machines, which is a new design methodology for highly reliable machines, as its application.
Function–behavior–structure paths and their role in analogy-based design
Authors: Qian Lena , Gero John S. 
Published: March 2010

AbstractIn many creative design processes, cross-domain knowledge is required to inspire the new design result. Thus, in knowledge-based design, how we represent the cross-domain knowledge becomes a key issue. In this paper, we present a formalism for design knowledge representation. By analyzing function representation in different design domains, from graphic design and industrial design to architectural and engineering device designs, we find that although the focus of each kind of design is different, the function representation can be generalized into a small number of categories. This formalism can be used in an explorative model of design by analogy, where designs from different design domains are sources to help produce a new design.
Case adaptation in PROCASE: A case-based process planning system for machining of rotational parts
Authors: Yang Hao , Lu Wen F. 
Published: March 2010

AbstractThis paper presents an approach for the case adaptation, especially case repairing, in a case-based process planning system: PROCASE, for machining of rotational parts. In PROCASE, a new process plan is generated by adapting an existing similar process plan from its case library. Case adaptation is a crucial issue in achieving an automated case-based process planning system. This is because, usually, an existing process plan cannot necessarily produce an exact identical part as of the desired part. Adaptation is essential to tailor this existing plan to generate a new process plan for the new part. The case adaptation in this paper comprises case modification, case simulation, and case repairing. The modifier uses the knowledge extracted from case library to edit the retrieved similar plan. The simulator plays an important role in verifying the adapted plan as well as in directing the plan repairing. The repairing rules are indexed by the error messages obtained from the simulation. With the proposed case adaptation, the system will have the capability to repair the erroneous plans to achieve an automated and intelligent process planning system. This paper will first briefly introduce the case representation and case retrieval in PROCASE. Then the rest of the paper is dedicated to the case adaptation.