论文信息 - A Mathematical Framework for Studying Representation

A Mathematical Framework for Studying Representation

The ultimate goal of our research is a set of tools that will automate, or at least aid, the process of discovering a representation that is well-suited to a given task. An early step in this direction is a mathematical analysis of the nature of representation and representation change. The framework in which we propose to carry out this analysis is based on the flexible notion of logical semantics afforded by category theory. This paper motivates this line of research and describes the intuitions underlying the mathematical framework we are developing.

Robert C. Holte | Robert M. Zimmer | R. Holte | R. Zimmer

[1] Richard E. Korf,et al. Toward a Model of Representation Changes , 1980, Artif. Intell..

[2] Robert C. Holte. An Analytical Framework for Learning Systems , 1988 .

[3] Michael R. Lowry. Invariant Logic: A Calculus for Problem Reformulation , 1988, AAAI.

[4] Saul Amarel,et al. On representations of problems of reasoning about actions , 1968 .

[5] J. Ross Quinlan,et al. Learning Efficient Classification Procedures and Their Application to Chess End Games , 1983 .

[6] Larry A. Rendell,et al. A New Basis for State-Space Learning Systems and a Successful Implementation , 1983, Artif. Intell..