Symbolic and Numerical Computation for Artificial Intelligence


Book Description

Over the last decade, there has been considerable progress in investigating methods of symbolic mathematics in many application areas of computer science and artifical intelligence, such as engineering design, solid and geometric modelling, robotics and motion planning, and machine vision. This research has produced few applications within engineering and robotics because of the combinatorial cost of symbolic techniques. Therefore, it is essential to investigate approaches for systematic integration of symbolic with numerical techniques which are efficient for handling the huge amount of data that arises in practical applications, while at the same time maintain a logically consistent solution framework. Symbolic and Numerical Computation for Artificial Intelligence gives an overview of applications in machine vision, robotics and engineering design where there is a need for integrating symbolic and numerical methods. It also illustrates the case for an integrated symbolic and numerical environment to support the needs of these applications. This book will be essential reading for researchers in applied mathematics, symbolic and algebraic manipulation, and applied artificial intell










Integration of Symbolic and Numerical Methods and Their Applications in Artificial Intelligence


Book Description

An indexed-based object recognition system using geometric invariance techniques has been designed, and used to recognize buildings in an image of a military site and for recognizing curved planar objects including gasless. New invariants and indexing techniques for polyhedral and curved objects with repetition or bilateral symmetry and objects with the imaged outline of a surface of revolution have been developed. A method to distinguish projectively equivalent but Euclidean distinct objects in an uncalibrated view has been investigated. A group-theoretic framework for relating quasi-invariants to invariants has been formulated. Computing invariants can be formulated as an algebraic manipulation problem involving variable elimination and solving nonlinear polynomial equations. Based on Dixon's formulation of resultants, new methods for eliminating variables have been developed and implemented. These methods are much faster and superior than other elimination techniques. A branch and prune approach for numerically solving polynomial equations has been developed. A simple algorithm for separating invariant relations among object and image features to compute invariants of object features has been designed. These algorithms can serve as a basis for building an invariant work-bench that would enable researchers to experiment with geometric configurations and investigate their geometric invariants.




Expert Systems for Engineering Design


Book Description

Expert Systems for Engineering Design presents the application of expert system methods to a variety of engineering design problems. This book provides the technical details on how the methods are used to solve specific design problems in chemical engineering, civil engineering, and several others. Organized into 12 chapters, this book begins with an overview of the synthesis, the creation, and development of alternative designs. This text then examines the nature of design expertise and the types of computer tools that can enhance the expert's decision-making. Other chapters consider the integration of tools into intelligent, cooperative frameworks. This book discusses as well the use of graphic interfaces with built-in knowledge about the designs being configured. The final chapter deals with the development of software tools for automatic design synthesis and evaluation within the integrated framework of a computer-aided mechanical design system known as CASE, which stands for computer-aided simultaneous engineering. This book is a valuable resource for engineers and architects.