A Generative Theory Of Shape

The purpose of this book is to develop a generative theory of shape that has two properties we regard as fundamental to intelligence –(1) maximization of transfer: whenever possible, new structure should be described as the transfer of existing structure; and (2) maximization of recoverability: the generative operations in the theory must allow maximal inferentiability from data sets. We shall show that, if generativity satis?es these two basic criteria of - telligence, then it has a powerful mathematical structure and considerable applicability to the computational disciplines. The requirement of intelligence is particularly important in the gene- tion of complex shape. There are plenty of theories of shape that make the generation of complex shape unintelligible. However, our theory takes the opposite direction: we are concerned with the conversion of complexity into understandability. In this, we will develop a mathematical theory of und- standability. The issue of understandability comes down to the two basic principles of intelligence - maximization of transfer and maximization of recoverability. We shall show how to formulate these conditions group-theoretically. (1) Ma- mization of transfer will be formulated in terms of wreath products. Wreath products are groups in which there is an upper subgroup (which we will call a control group) that transfers a lower subgroup (which we will call a ?ber group) onto copies of itself. (2) maximization of recoverability is insured when the control group is symmetry-breaking with respect to the ?ber group.

The purpose of this book is to develop a generative theory of shape that has two properties we regard as fundamental to intelligence –(1) maximization of transfer: whenever possible, new structure should be described as the transfer of existing structure; and (2) maximization of recoverability: the generative operations in the theory must allow maximal inferentiability from data sets. We shall show that, if generativity satis?es these two basic criteria of - telligence, then it has a powerful mathematical structure and considerable applicability to the computational disciplines. The requirement of intelligence is particularly important in the gene- tion of complex shape. There are plenty of theories of shape that make the generation of complex shape unintelligible. However, our theory takes the opposite direction: we are concerned with the conversion of complexity into understandability. In this, we will develop a mathematical theory of und- standability. The issue of understandability comes down to the two basic principles of intelligence - maximization of transfer and maximization of recoverability. We shall show how to formulate these conditions group-theoretically. (1) Ma- mization of transfer will be formulated in terms of wreath products. Wreath products are groups in which there is an upper subgroup (which we will call a control group) that transfers a lower subgroup (which we will call a ?ber group) onto copies of itself. (2) maximization of recoverability is insured when the control group is symmetry-breaking with respect to the ?ber group.

GeometricModelingandProcessing(GMP)isabiennialinternationalconference on geometric modeling, simulation and computing, which provides researchers and practitioners with a forum for exchanging new ideas, discussing new app- cations, and presenting new solutions. Previous GMP conferences were held in Pittsburgh (2006), Beijing (2004), Tokyo (2002), and Hong Kong (2000). This, the 5th GMP conference, was held in Hangzhou, one of the most beautiful cities in China. GMP 2008 received 113 paper submissions, covering a wide spectrum of - ometric modeling and processing, such as curves and surfaces, digital geometry processing, geometric feature modeling and recognition, geometric constraint solving, geometric optimization, multiresolution modeling, and applications in computer vision, image processing, scienti?c visualization, robotics and reverse engineering. Each paper was reviewed by at least three members of the program committee andexternalreviewers.Basedonthe recommendations ofthe revi- ers, 34 regular papers were selected for oral presentation, and 17 short papers were selected for poster presentation. All selected papers are included in these proceedings. We thank all authors, external reviewers and program committee members for their great e?ort and contributions, which made this conference a success.

Artificial intelligence provides an environmentally rich paradigm within which design research based on computational constructions can be carried out. This has been one of the foundations for the developing field called "design computing". Recently, there has been a growing interest in what designers do when they design and how they use computational tools. This forms the basis of a newly emergent field called "design cognition" that draws partly on cognitive science. This new conference series aims to provide a bridge between the two fields of "design computing" and "design cognition". The papers in this volume are from the "First International Conference on Design Computing and Cognition" (DCC'04) held at the Massachusetts Institute of Technology, USA. They represent state-of-the art research and development in design computing and cognition. They are of particular interest to researchers, developers and users of advanced computation in design and those who need to gain a better understanding of designing.

Leyton's Process Grammar has been applied by scientists and engineers in many disciplines including medical diagnosis, geology, computer-aided design, meteorology, biological anatomy, neuroscience, chemical engineering, etc. This book demonstrates the following: The Process Grammar invents several entirely new concepts in biological morphology and manufacturing design, and shows that these concepts are fundamentally important. The Process Grammar has process-inference rules that give, to morphological transitions, powerful new causal explanations. Remarkably, the book gives a profound unification of biological morphology and vehicle design. The book invents over 30 new CAD operations that realize fundamentally important functions of a product. A crucial fact is that the Process Grammar is an example of the laws in Leyton's Generative Theory of Shape which give the ability to recover the design intents for which the shape features of a CAD model were created. The book demonstrates that the Process Grammar recovers important design intents in biological morphology and manufacturing design. In large-scale manufacturing systems, the recovery of design intents is important for solving the interoperability problem and product lifecycle management. This book is one of a series of books in Springer that elaborates Leyton's Generative Theory of Shape.

The application of the theory and practice of art to computer science: how aesthetics and art can play a role in computing disciplines.

This book constitutes the thoroughly refereed proceedings of the 20th IAPR International Conference on Discrete Geometry for Computer Imagery, DGCI 2017, held in Vienna, Austria, in September 2017. The 28 revised full papers presented together with 3 invited talks were carefully selected from 36 submissions. The papers are organized in topical sections on geometric transforms; discrete tomography; discrete modeling and visualization; morphological analysis; discrete shape representation, recognition and analysis; discrete and combinatorial topology; discrete models and tools; models for discrete geometry.

Lc number: 2006049946