On the Notion of Developmental Computing Machine

• Antônio Carlos da Rocha Costa UCPel / UFRGS
• Graçaliz Pereira Dimuro UCPel

Resumo

A developmental machine is a machine that is able to increase its structure and functionality as it operates in interaction with its environment. This paper initially explains the importance that the notion of machine development may have for Computer Science. Next, it attempts to identify the main reasons why the research community that is keen to the foundational issues lacks a serious concern with such issue. Then, it presents some fundamental problems that apparently have to be tackled by any approach to the notion of developmental computing machine. Finally, the paper introduces the initial elements of the domain-theoretic model of machine development that we are constructing.

Referências

Cardelli, L. (2005). Abstract machines of systems biology. Transactions on Computational Systems Biology III, LNBI 3737:145–168.

Copeland, B. J., editor (2004). The Essential Turing – The ideas that gave birth to the computer age. Oxford University Press.

Costa, A. C. R. (1993). Machine Intelligence: sketch of a constructivist approach. PhD thesis, CPGCC/UFRGS, Porto Alegre. (in Portuguese).

Costa, A. C. R. and Dimuro, G. P. (2005). Interactive computation: Stepping stone in the pathway from classical to developmental computation. ENTCS, 141(5):5–31.

Demazeau, Y. and Müller, J.-P., editors (1990). Decentralized Artificial Intelligence. Elsevier, Amsterdam.

Dimuro, G. P. (1998). A Global Constructive Representation of Second Order Ordered Systems in Bi-Structured Interval Coherence Spaces, with an application in Interval Mathematics. PhD thesis, CPGCC/UFRGS, Porto Alegre. (in Portuguese).

Dimuro, G. P., Costa, A. C. R., , and Claudio, D. M. (2000). A coherence space of rational intervals for a construction of IR. Reliable Computing, 6(2):139–178.

Dimuro, G. P. and Costa, A. C. R. (2007). Toward a domain-theoretic model of developmental machines. In Kent, F., Löwe, B., and Sorbi, A., editors, CiE 2007: Computation and Logic in the Real World, Quaderni del Dipartimento di Scienze Matematiche e Informatiche ’Roberto Magari’ of the University of Siena.

Eberhart, R., Shi, Y., and Kennedy, J. (2001). Swarm Intelligence. Morgan Kaufmann, Amsterdam.

Escardo, M. H. (1993). On lazy natural numbers with applications to computability theory and functional programming. SIGACT News, 24(1):60–67.

Gierz, G., Hofmann, K. H., Keimel, K., Lawson, J. D., Mislove, M., and Scott, D. S. (2003). Continuous Lattices and Domains. Cambridge University Press, Cambridge.

Girard, J. Y. (1987). Linear logic. Theoretical Computer Science, 50:1–102.

Goldin, D., Smolka, S., and Wegner, P., editors (2006). Interactive Computation: The New Paradigm. Springer-Verlag, New York.

Hoare, C. A. R. (1985). Communicating Sequential Processes. Prentice-Hall.

Kleene, S. C. (1952). Introduction to Metamathematics. D. van Nostrand, New York.

Lewis, L. and Papadimitriou, C. (1997). Elements of the Theory of Computation. Prentice-Hall, NJ.

Milner, R. (1989). Communication and concurrency. Prentice-Hall, Englewood Cliffs.

Neumann, J. v. (1966). The Theory of Self-Reproducing Automata. University of Illinois Press, Urbana.

Newell, A. (1980). Physical symbol systems. Cognitive Science, 4:135–183.

Newell, A. (1982). The knowledge level. Artificial Intelligence, 18:87–127.

Newell, A. and Simon, H. (1972). Human Problem-solving. Prentice-Hall, E. Cliffs.

Piaget, J. (1971). Biology and Knowledge. Edinburgh University Press.

Piaget, J. (1979). Behaviour and Evolution. Routledge and Kegan Paul.

Piaget, J. (1980). Adaptation and Intelligence. University of Chicago Press.

Piaget, J. (1985). The Equilibration of Cognitive Structures: The Central Problem of Intellectual Development. University of Chicago Press.

Piaget, J. (2001). The Psychology of Intelligence. Routledge and Kegan Paul.

Rogers, H. (1967). Theory of Recursive Functions and Effective Computability. McGraw-Hill, New York.

Scott, D. S. (1970). Outline of a mathematical theory of computation. Tech. Monogr. PRG-2, Oxford, Oxford Univ. Comp. Lab.

Searle, J. R. (1980). Minds, brains, and programs. The Behavioral and Brain Sciences, 3(3):417–424.

Turing, A. M. (1936). On computable numbers, with an application to the entschei-dungsproblem. Proc. London Math. Soc., 42:230–265.

Wegner, P. (1997). Why interaction is more powerful than algorithms. Communications of the ACM, 40(5):80–91.

Wiener, N. (1948). Cybernetics - or, control and communication in the animal and the machine. MIT Press, Cambridge. (2nd ed.,1961).