TECHNIQUES FOR INTEGRATING QUALITATIVE REASONING AND SYMBOLIC COMPUTATION IN ENGINEERING OPTIMIZATION
- 1 September 1987
- journal article
- research article
- Published by Taylor & Francis in Engineering Optimization
- Vol. 12 (2) , 117-135
- https://doi.org/10.1080/03052158708941088
Abstract
This paper presents techniques that extend theories from the fields of artificial intelligence (AI) and engineering optimization for automating design decision making at three levels of reasoning: qualitative, functional, and numerical. Qualitative reasoning about constraint activity is implemented in SYMON (SYmbolic MONotonicity analyzer) through monotonicity analysis and the maximal activity principle. Functional reasoning is employed in SYMFUNE (SYMbolic FUNclional Evaluator) in the form of algebraic manipulations of the constraint functions and the Karush-Kuhn-Tucker optimality conditions. The techniques are applied to a parametric multiobjective optimal design problem from the literatureKeywords
This publication has 11 references indexed in Scilit:
- A Maximal Activity Principle for Eliminating Overconstrained Optimization CasesJournal of Mechanical Design, 1986
- Automated Symbolic Derivation of Dynamic Equations of Motion for Robotic ManipulatorsJournal of Dynamic Systems, Measurement, and Control, 1986
- Uses of artificial intelligence in design optimizationComputer Methods in Applied Mechanics and Engineering, 1986
- A Production System for Use of Global Optimization KnowledgeJournal of Mechanical Design, 1985
- A COMPARISON OF PROCEDURAL AND DECLARATIVE PROGRAMMING LANGUAGES FOR THE COMPUTATION OF PARETO OPTIMAL SOLUTIONSEngineering Optimization, 1985
- Qualitative process theoryArtificial Intelligence, 1984
- Notes on the Operational Utility of Monotonicity in OptimizationJournal of Mechanical Design, 1983
- Global Non-Iterative Design Optimization Using Monotonicity AnalysisJournal of Mechanical Design, 1979
- Design and Testing of a Generalized Reduced Gradient Code for Nonlinear ProgrammingACM Transactions on Mathematical Software, 1978
- Application of Symbolic Manipulation to Time Domain Analysis of Nonlinear Dynamic SystemsJournal of Dynamic Systems, Measurement, and Control, 1975