Representing geometrical knowledge.

@article{Anderson1997RepresentingGK,
  title={Representing geometrical knowledge.},
  author={J. A. Anderson},
  journal={Philosophical transactions of the Royal Society of London. Series B, Biological sciences},
  year={1997},
  volume={352 1358},
  pages={
          1129-39
        }
}
  • J. A. Anderson
  • Published 1997
  • Medicine, Biology
  • Philosophical transactions of the Royal Society of London. Series B, Biological sciences
This paper introduces perspex algebra which is being developed as a common representation of geometrical knowledge. A perspex can currently be interpreted in one of four ways. First, the algebraic perspex is a generalization of matrices, it provides the most general representation for all of the interpretations of a perspex. The algebraic perspex can be used to describe arbitrary sets of coordinates. The remaining three interpretations of the perspex are all related to square matrices and… Expand
Robot Free Will
TLDR
The perspex machine is introduced, which unifies projective geometry and Turing computation and results in a supra-Turing machine, and it is argued that an axiom in symbolic logic can be the conclusion of a perspex theorem. Expand
Exact numerical computation of the rational general linear transformations
The rational, general-linear transformations can be computed exactly using rational, matrix arithmetic. A subset of these transformations can be expressed in QR form as the product of a rational,Expand
Perspex machine: V. Compilation of C programs
TLDR
Geometrically, it is interesting that program source can be converted automatically to a sequence of perspective transformations and conditional jumps, though the product of homogeneous transformations with normalisation can be non-associative. Expand
Perspex machine: VII. The universal perspex machine
TLDR
It is argued that nullity is as useful to a manufactured computer as zero is to a human computer and provides an upper bound on the computational properties of physical things, including manufactured computers and biological organisms, that have a cardinality no greater than the real-number line. Expand
Transreal numbers: Mathematics or Reverie?
Mathematics, known as an exact science, has the concept of number as one of its fundamental ideas. Nevertheless history shows that the understanding we have of numbers is not a dogma, but aExpand
Perspex Machine IX: transreal analysis
We introduce transreal analysis as a generalisation of real analysis. We find that the generalisation of the real exponential and logarithmic functions is well defined for all transreal numbers.Expand
Perspex Machine VIII: axioms of transreal arithmetic
Transreal arithmetic is a total arithmetic that contains real arithmetic, but which has no arithmetical exceptions. It allows the specification of the Universal Perspex Machine which unifies geometryExpand
Foundations of Transmathematics
Transmathematics has the ambition to be a total mathematics. Many areas of the usual mathematics have been totalised in the transmathematics programme but the totalisations have all been carried outExpand
Perspex Machine XII: Transfloating-point and transcomplex arithmetic with applications in mathematical physics
Transreal arithmetic received considerable public comment. We briefly review its development, set it in its proper mathematical context, and give a tutorial which is accessible to the general reader,Expand
Perspex machine II: visualization
  • James Anderson
  • Computer Science, Engineering
  • IS&T/SPIE Electronic Imaging
  • 2005
We review the perspex machine and improve it by reducing its halting conditions to one condition. We also introduce a data structure, called the “access column,” that can accelerate a wide class ofExpand
...
1
2
3
...

References

SHOWING 1-10 OF 20 REFERENCES
Oriented projective geometry
  • J. Stolfi
  • Computer Science, Mathematics
  • SCG '87
  • 1987
TLDR
It is argued here that oriented projective geometry — and its analytic model, based on signed homogeneous coordinates — provide a better foundation for computational geometry than their classical counterparts. Expand
Homogeneous transformation matrices for computer graphics
TLDR
A new approach to three dimensional viewing transformations is presented in which the final display, and a typical observer of this display, are modeled in world coordinates, and some new theorems in analytic projective geometry are proved. Expand
Canonical description of the perspective projections
TLDR
Preliminary monte-carlo tests show that the transformation algorithm is highly accurate, but that the projection algorithm cannot recover magnitude and shear parameters accurately, however, there is reason to believe that the projections algorithm might improve significantly with the use of many corresponding points, or with multiple perspective views of an object. Expand
Knowledge-based vision and simple visual machines.
  • D. Cliff, J. Noble
  • Computer Science, Medicine
  • Philosophical transactions of the Royal Society of London. Series B, Biological sciences
  • 1997
TLDR
It is concluded that representations argued for on a priori grounds by external observers of a particular vision system may well be illusory, and are at best place-holders for yet-to-be-identified causal mechanistic interactions. Expand
Euclidean and non-Euclidean geometries
Lecture 1 April 6 2013 Euclidean and Non-Euclidean geometries The earliest written text on geometry is an Egyptian papyrus dated to the 2 millennia B.C. The geometry at that time was a collection ofExpand
The Psychology of Perceptual Organization: A Transformational Approach
Abstract Psychological research on perceptual organization is reviewed, and a theoretical framework is presented to account for it. The review focusses on the organizational phenomena of shapeExpand
The knowledge used in vision and where it comes from.
  • H. Barlow
  • Computer Science, Medicine
  • Philosophical transactions of the Royal Society of London. Series B, Biological sciences
  • 1997
TLDR
Evidence is given about mechanisms analysing sensory redundancy in biological vision and neural mechanisms that discount established associative structure in the input messages by recoding them can improve survival by making new structure more easily detectable. Expand
A polyhedron representation for computer vision
TLDR
My approach to computer vision is best characterized as inverse computer graphics, where perceived television pictures are analyzed to compute detailed geometric models to generate synthetic television images. Expand
Homogeneous Coordinates and Projective Planes in Computer Graphics
  • Riesenfeld
  • Computer Science
  • IEEE Computer Graphics and Applications
  • 1981
Discrepancies between euclidean three-dimensional space and the projective space modeled by means of homogeneous coordinates account for seemingly paradoxical phenomena in computer graphics.
Generative models for discovering sparse distributed representations.
  • G. Hinton, Zoubin Ghahramani
  • Computer Science, Medicine
  • Philosophical transactions of the Royal Society of London. Series B, Biological sciences
  • 1997
TLDR
A hierarchical, generative model that can be viewed as a nonlinear generalization of factor analysis and can be implemented in a neural network that learns to extract sparse, distributed, hierarchical representations is described. Expand
...
1
2
...