Huang, M & Waldron, K 1990, 'Relationship Between Payload And Speed In Legged Locomotion Systems', IEEE Transactions On Robotics And Automation, vol. 6, no. 5, pp. 570-577.
View/Download from: Publisher's site
Jay, CB 1990, 'A note on natural numbers objects in monoidal categories', Studia Logica, vol. 48, pp. 389-93.
Jay, CB 1990, 'Languages for triples, bicategories and braided monoidal categories', Cahiers de Topologie et Géométrie Différentielle Catégoriques, vol. 31, pp. 67-81.
Jay, CB 1990, 'The structure of free closed categories', Journal of Pure and Applied Algebra, vol. 66, pp. 271-285.
An architecture for reimplementing an existing expert system is described. The original application, called GOLD, identifies minerals in rock samples, using infrared spectral data, and was developed in the Prospector formalism. The development of GOLD's knowledge base became cumbersome when it was necessary to describe how the spectrum of one mineral is affected by the presence of another mineral in the same sample. This is due to Prospector's one-way flow of information in the inference net, from data to goals. Any form of unidirectional knowledge representation would suffer the same problem. A bidirectional energy minimization network is a more suitable form of knowledge representation. This is illustrated on a simplified version of the spectral interpretation problem.
Jay, CB 1990, Extending properties to categories of partial maps, no. ECS-LFCS 90–107, Edinburgh Univ., Dept. of Comp. Sci..