Page:Advanced Automation for Space Missions.djvu/375



Hayes-Roth,Theory-DrivenProofsFrederick:Learning: andRefutationsforConceptPaper

asaBasisDiscovery. deliveredat the Workshopon MachineLearning,

Carnegie-Mellon Univ., July 1980.

Heer, Ewald: Toward Automated Operations in Space: An Introduction. Astronautics and Aeronautics, vol. 17, May 1979,pp. 16-18.

Hewitt, C.: Description and Theoretical Analysis (Using Schemata) of PLANNER: A Language for Proving Theorems and Manipulating Models in a Robot. Artificial Intelligence Laboratory Report AI-TR-258, MIT, Cambridge, Massachusetts, 1972.

Ho, Y. C.: Team Decision Theory and Information Structures. Proc. of the IEEE, vol. 68, June 1980, pp. 644-654.

IEEE Proceedings on Pattern Recognition and Image Processing, May 1979.

Kalush, R. J., Jr.: The Problem of Resolution in the LANDSAT Imagery. Remote Sensing Quarterly, vol. 2, 1980, pp. 3--48.

Kowalski, R. A.: Predicate Logic as Programming Language. Proc. IFIP 1974, North-itolland, Amsterdam, 1974, pp. 569-574.

Kraiss, F.: Decision-Making and Problem Solving with Computer Assistance. NASA TM-76008, January 1980. Krone, R. M.: Systems Analysis and Policy Sciences, Theory and Practice. John Wiley & Sons, Inc., 1980.

Kuipers, B. J.: Representing Knowledge of Large-Scale Space. Artificial Intelligence Laboratory Report AI-TR-418, MIT, Cambridge, Massachusetts, 1977.

Lakatos, Irate: Falsification and the Methodology of Scientific Research Programs. In Criticism and the Growth of Knowledge, lmre Lakatos and Alan Musgrave,

eds., Univ. Press, Cambridge, 1970a, pp. 91-196. Lakatos, Imre: The Changing Logic of Scientific Discovery. University Press, Cambridge, 1970b.

Lakatos, Imre: Proofs and Refutations: The Logic of Mathematical Discovery. Cambridge Univ. Press, Cambridge, 1976.

Lighthill, Sir James: Artificial Intelligence: A Paper Symposium, Science Research Council. Great Britain, 1972.

Lippay, Andrew L.: Multi-Axis Hand Controller for the Shuttle Remote Manipulator System. Paper delivered at the 13th Annual Conference on Manual Control, June

1977.

Martin, W. A.; and Fateman, R. J.: The MACSYMA System. In Proc. of tile ACM Second Symposium oil Symbolic and Algebraic Manipulation, S. R. Petrick, ed., Los Angeles, Calif., March 1971, pp. 23-25.

Matsushima, H.; Uno, T.; and Ejur, M.: Image Processing by Experimental Arrayed Processor. 6th International Joint Conference on Artificial Intelligence, Tokyo, 1979,

pp. S13-S15. Meade, E.; and Facility DescJanuary 1978. Nedwich, ription. B.: MNASA anipulator JSC-11029, Development Rev. A, 370

Miller, R. H.; and Smith, David B. S.: Extraterrestrial Pro

cessing and Manufacturing of Large Space Systems,

Volumes 1-3, NASA Contract NAS8-32925, NASA

CR-161293, September 1979.

Minsky, M.: A Framework for Representing Knowledge. In The Psychology of Computer Vision, P. H. Winston, ed., McGraw-Hill, New York, 1975, pp. 211-277.

Minsky, M.: Toward a Remotely-Manned Energy and Production Economy. MIT Artificial Intelligence Laboratory, A.I. Memo No. 544, September 1979. 19 pp. See also "Telepresence," Omni, vol. 2, June 1980, pp. 44-52.

Mitchell, O. R.; Meyers, C. R.; and Boyne, W. A.: A Max- Min Measure for Image Texture Analysis. IEEE Transactions on Computers, vol. C-25,1977, pp. 408-414.

Morgan, C. S.: ltypothesis Generation by Machine. Artificial Intelligence, vol. 2, 1971, pp. 179-187. Morgan, C. S.: On the Algorithmic Generation of Hypothesis, Scientia, vol. 108, 1973, pp. 585-598.

Murphy, L. P.; and Jarman, J. W.: The Role of Smart Sensors in Earth Resources Remote Sensing Programs. Progress in Astronautics and Aeronautics, vol. 67, AIAA, New York, 1979, pp. 101-109.

NASA Advisory Council: Future Directions for the Life Sciences in NASA. Report of the Life Sciences Advisory Committee of the NASA Advisory Council, November

1978. NASA SP-387: A Forecast of Space Technology, 19802000, 1976. Newell, A.; and Simon, H. A.: GPS: A Program that Simulates Human Thought. In Computers and Thought,

E. A. Feigenbaum, J. Feldman, eds., McGraw-Hill, New York, 1963, pp. 279-293. Nilsson, Nils J.: Problem-Solving Methods in Artificial Intelligence. McGraw-Hill, New York, 1971. Nilsson, Nils J.: Artificial Intelligence. Information Processing 74, vol. 4, Proceedings of IFIP Congress 74, 1974, pp. 778-801.

Nilsson, Nils J.: Principles of Artificial Intelligence. Tioga, Palo Alto, California, 1980. Office of Aeronautics and Space Technology (OAST):

NASA Space Systems Technology Model, volumes 1-3, NASW-2937, NASA Headquarters, Washington, D.C., May 1980. Peirce, Charles Sanders: Collected Papers, vols. 1-6,

Charles Hartshorne and Paul Weiss, eds. The Belknap Press of Harvard Univ. Press, Cambridge, 1960.

Peirce, Charles Sanders: Collected Papers, vols. 7-8. Arthur W. Burks, ed. The Belknap Press of Harvard Univ. Press, Cambridge, 1966.

Pohl, I.: Practical and Theoretical Considerations in Heuristic Search Algorithms. In Machine Intelligence, vol. 8,

E. W. Elcock, D. Michie, eds., Ellis Horwood Ltd. (Halsted Press), 1977, pp. 55-72. Pople, H. E., Jr.: The Formation of Composite Hypotheses in Diagnostic Problem-Solving: An Exercise in Synthetic

Reasoning.