Page:Advanced Automation for Space Missions.djvu/74

 from failed ones. Required machine intelligence technologies include: ? Autonomous processing (essentially no programming) ? Autonomous "dynamic" memory ? Autonomous error-correction ? Inherently parallel processing ? Abductive/dialectic logical capabilities ? General capacity for acquisition and recognition of patterns ? Universal "Turing Machine" computability.

Numerous other supporting technologies also are essential for the staging of autonomous space exploration missions, including low-thrust propulsion systems; general- purpose surface exploration vehicles able to function on both solid and fluid surfaces; reconfigurable sensor nets and smart sensors; flexible, adaptive general-purpose robot manipulators; and distributed intelligence/database systems.

3.5 References

Alexander, Peter: A Preface to the Logic of Science. Sheed & Ward, London, 1963. Arden, Bruce W., ed.: What Can Be Automated? The Computer Science and Engineering Research Study (COSERS), MIT Press, 1980.934 pp. Bartlett, Frederic Charles: Remembering: A Study in Experimental and Social Psychology. The Cambridge Univ. Press, 1932. Revised Edition, 1961. Black, D. C., ed., Project Orion: A Design Study of a System for Detecting Extrasolar Planets, NASA SP-436, 1980. Boden, Margaret: Artificial Intelligence and Natural Man. Basic Books, Inc., 1977. Bruner, G. S.; Goodnow, J. J.; and Austin, G. A.: A Study of Thinking. Wiley, New York, 1956. Burks, Arthur: Peirce's Theory of Abduction. Philosophy of Science, vol. 13,1946, pp. 301-306. Cassenti, B. N.: A Comparison of Interstellar Propulsion Systems, AIAA paper 80-1229, AIAA/SAE/ASME 16th Joint Propulsion Conf., 30 June-2 July, 1980. Hartford, Connecticut. Cohen, Laurence Jonathan: The Implications of Induction. Methuen Press, London, 1970. Davis, William H.: Peirce's Epistemology. Martinus Nijhoff, The Hague, 1972. Dewey, John: Experience and Nature. W. W. Norton and Co., New York, 1929. Revised Ed. Dewey, John: Logic: The Theory of Inquiry. Henry Holt and Co., New York, 1938. Fann, ?. ?.: Peirce's Theory of Abduction. Martinus Nijhoff, The Hague, 1970. Frankfurt, Harry G.: Peirce's Notion of Abduction. J. of Philosophy, vol. 55, July 1958, pp. 593-597. Franks, Jeffrey J.; and Bransford, John D.: Abstraction of Visual Patterns. J. of Exper. Psych., vol. 90, no. 1,1971, pp. 65-74. Freitas, Robert A., Jr.: Interstellar Probes: A New Approach to SETI. J. British Interplanetary Soc., vol. 33, March 1980a, pp. 95-100. Freitas, Robert A., Jr.: A Self-Reproducing Interstellar Probe. J. British Interplanetary Soc., vol. 33, July 1980b,pp.251-264. Good, I. J.: Rationality, Evidence, and Induction in Scientific Inference. E. Elcock and D. Michil, eds., Machine Intelligence, Halstead Press, New York, 1977, pp.171-174. Gravander, Jerry Wallace: Newton's New Theory About Light and Color and the Hypothetico-Deductive Account of Scientific Method: Scientific Practice contra Philosophic Doctrine. Ph.D. dissertation, Univ. of Texas, 1975. Univ. Microfilms, Ann Arbor, Michigan, 1975. Gravander, Jerry Wallace: Mead's Logic of Discovery. Michael P. Jones et al., eds., The Individual and Society, The Southwestern J. Philosophy Press, Norman, Oklahoma, 1978,pp.187-207. Hajek, Peter; and Havranek, Tomas: Mechanizing Hypothesis Formation: Mathematical Foundations for a General Theory. Springer-Verlag, Berlin, 1978. Hanson, Norwood Russell: Patterns of Discovery: An Inquiry into the Conceptual Foundations of Science. Cambridge University Press, Cambridge, 1958. Hanson, Norwood Russell: Is There a Logic of Discovery? In H. Feigl and G. Maxwell, eds., Current Issues in the Philosophy of Science, Holt Rinehart and Winston, New York,1961, pp.20-35. Hansen, Norwood Russell: The Idea of a Logic of Discovery. Dialogue, vol. 4, 1965, pp. 48-61. Hanson, Norwood Russell: An Anatomy of Discovery, The Journal of Philosophy, vol. 64, 1967, pp. 321-352. Hanson, Norwood Russell: Perception and Discovery: An Introduction to Scientific Inquiry. Freeman, San Francisco, 1969. ?????,