Dark programming and the case for the rationality of programs

Journal of Applied Logic

Volumn 6, Issue 4, 2008, Pages 545-552

  Janlert, Lars Erik ^a  

^a UMEÅ UNIVERSITY   (Sweden)

Author keywords

Dark programming; Justifiability; Rationality of programs; Subjective method

Indexed keywords

DECISION MAKING; ENGINEERING RESEARCH; EVOLUTIONARY ALGORITHMS;

DARK PROGRAMMING; JUSTIFIABILITY; NEW TECHNIQUES; OBJECTIVE METHODS; RATIONALITY OF PROGRAMS; SPECIFIC STRUCTURES; SUBJECTIVE METHOD;

PROBLEM SOLVING;

EID: 54449099686     PISSN: 15708683     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jal.2008.09.003     Document Type: Article

References (23)

1. Abelson H., and Sussman G.J. Structure and Interpretation of Computer Programs. second ed. (1996), The MIT Press, Cambridge, MA
2. Bonabeau E., Dorigo M., and Theraulaz G. Swarm Intelligence: From Natural to Artificial Systems (1999), Oxford University Press, New York
3. Chikofsky E.J., and Cross J.H. Reverse engineering and design recovery: A taxonomy. IEEE Software 7 (1990) 13-17
4. Copeland B.J. Computation. In: Floridi L. (Ed). Philosophy of Computing and Information (2004), Blackwell, Oxford
5. Dennett D.C. Cognitive science as reverse engineering: Several meanings of "top-down and "bottom-up". In: Prawitz D., Skyrms B., and Westerståhl D. (Eds). Logic, Methodology and Philosophy of Science IX (1994), North-Holland, Amsterdam 679-689
6. Dennett D.C. Darwin's Dangerous Idea (1995), Simon & Schuster, New York
7. Dijkstra E.W. A Discipline of Programming (1976), Prentice-Hall, Englewood Cliffs, NJ
8. Fetzer J.H. Program verification: The very idea. CACM 31 9 (1988) 1048-1063
9. Friedell E. Kulturgeschichte der Neuzeit (1931), C.H. Beck, München
10. Goodman N. Languages of Art. An Approach to a Theory of Symbols (1968), The Bobbs-Merrill Company Inc, Indianapolis
11. Hillis W.D. Co-evolving parasites improve simulated evolution as an optimization procedure. In: Langton C.G., Taylor C., Farmer J.D., and Rasmussen S. (Eds). Artificial Life II (1990), Addison-Wesley, New York
12. Koza J.R., Bennett F.H., Andre M.A., and Keane D. Genetic Programming III: Darwinian Invention and Problem Solving (1999), Morgan Kaufmann, San Francisco, CA
13. Li M., and Vitányi P. An Introduction to Kolmogorov Complexity and Its Applications (1997), Springer, New York
14. McCllelland J.L., and Rumelhart D.E. Parallel Distributed Processing, vols. 1-2 (1986), The MIT Press, Cambridge, MA
15. Naess A. Interpretation and Preciseness: A Contribution to the Theory of Communication (1953), Det Norske Videnskapsakademi i Oslo, Oslo
16. Putnam H. The meaning of 'meaning'. In: Putnam H. (Ed). Mind, Language and Reality. Philosophical Papers, vol. 2 (1975), Cambridge University Press, Cambridge
17. Reichenbach H. Experience and Prediction (1938), University of Chicago Press, Chicago
18. Rotman B. Ad Infinitum. The Ghost in Turing's Machine (1993), Stanford University Press, Stanford
19. Russell S.J., and Norvig P. Artificial Intelligence: A Modern Approach. second ed. (1998), Prentice Hall, Upper Saddle River, NJ
20. Searle J.R. The Construction of Social Reality (1995), Simon & Schuster, New York
21. Simon H. The Sciences of the Artificial. third ed. (1998), The MIT Press, Cambridge, MA (First edition 1969.)
22. Smith B.C. On the Origin of Objects (1996), The MIT Press, Cambridge, MA
23. Veeramachaneni V., Makalowski W., Galdzicki M., Sood R., and Makalowska I. Mammalian overlapping genes: The comparative perspective. Genome Research 14 (2004) 280-286