Abstract
The choice of representation can make an enormous difference to the ease with which a problem can be solved. We would like to build a system that can help a programmer to choose (or derive) a good representation — we call such a system a representation engineering system. To make this system possible requires well-founded knowledge about what makes a representation effective and what makes a representation sound. This paper is in part a catalogue of the kinds of mathematical reasoning that seem to be relevant to a well-founded study of representation and of problem decomposition (an important aspect of representation engineering). It describes also how mathematical methods are transforming hardware design systems, and how our representation engineering system can both benefit from that hardware design experience and carry the transformation further.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Rodney Brooks. Intelligence without representation. In workshop on Foundations of Artificial Intelligence, 1987.
Samuel Eilenberg. Automata, Languages and Machines, Vol. B. Academic Press, New York, 1976.
M.P. Fourman and R.M. Zimmer. Modular design as algebraic composition. In Intelligent CAD 1. Springer Verlag, 1987.
M.P. Fourman and R.M. Zimmer. An algebraic treatment of hierarchical composition. In preparation, 1989.
M.P. Fourman, W.J. Palmer, and R.M. Zimmer. Proof and synthesis. In International Conference of Computer Design, Rye, N. Y, 1988.
Robin Goldblatt. Topoi: The Categorical Analysis of Logic. North-Holland, Amsterdam, 1979.
Robert C. Holte and Robert M. Zimmer. A mathematical framework for studying representation. In Machine Learning Workshop, 1989.
Robert C. Holte. An analytical framework for learning systems. Technical Report AI88-72, University of Texas, 1988.
F. William Lawvere. Model Theory and Topoi. Lecture Notes in Mathematics 445. Springer Verlag, Berlin, 1975.
Charles Wells. A krohn-rhodes theorem for categories. Journal of Algebra, 1978.
Robert M. Zimmer. Categories and automata 1: A decomposition theory for categories. Technical report, Brunei University, 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Kluwer Academic Publishers
About this chapter
Cite this chapter
Zimmer, R.M. (1990). Representation Engineering and Category Theory. In: Benjamin, D.P. (eds) Change of Representation and Inductive Bias. The Kluwer International Series in Engineering and Computer Science, vol 87. Springer, Boston, MA. https://doi.org/10.1007/978-1-4613-1523-0_9
Download citation
DOI: https://doi.org/10.1007/978-1-4613-1523-0_9
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4612-8817-6
Online ISBN: 978-1-4613-1523-0
eBook Packages: Springer Book Archive