Abstract The field of robotics is increasingly moving from robots confined to factory floors and assembly lines and bound to perform the same tasks over and over in an uncertainty-free, well foreseeable environment, to robots designed for operating in highly dynamic and uncertainty domains, like those of interest in space exploration. According to an idea of a “new system of formal logic less rigid than past and present formal logic” advocated by von Neumann for building a powerful theory of automata, such system should be “closer to another discipline which has been little linked in the past with logic, i.e. thermodynamics, primarily in the form it was received by Boltzmann”. Following that idea, which is particularly interesting now with the emerging computational nano-sciences, it is stressed here that a full set of isomorphisms can be established between the fundamental logical principles and the information flows, Hamiltonian or dissipative, in phase space. This form of logic, dubbed here kinetic logic, takes standard formal logic out of the field of combinatorics and into the field of the Boltzmannian form of thermodynamics, i.e. kinetics.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Devising an unconventional formal logic for bioinspired spacefaring automata


    Beteiligte:

    Erschienen in:

    Acta Astronautica ; 68 , 5-6 ; 629-635


    Erscheinungsdatum :

    2010-02-18


    Format / Umfang :

    7 pages




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch





    Spacefaring : the human dimension

    Harrison, Albert A. | SLUB | 2001


    Entering Space - Creating a Spacefaring Civilization

    Harris, Phillip R. | Online Contents | 2000


    Spacefaring : the human dimension

    Harrison, Albert A. | TIBKAT | 2001