Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
ATZ-Fachkongress

Chassis.tech plus 2024


4 Kongresse in einer Veranstaltung

Treffen Sie in München die Fachleute von Chassis, Lenkung, Bremsen sowie Reifen/Räder.
Erweiterte Suche
Anmelden
nach oben
Minds and Machines
Erschienen in: Minds and Machines 3/2017

08.02.2017

Algorithmic Iteration for Computational Intelligence

verfasst von: Giuseppe Primiero

Erschienen in: Minds and Machines | Ausgabe 3/2017

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Machine awareness is a disputed research topic, in some circles considered a crucial step in realising Artificial General Intelligence. Understanding what that is, under which conditions such feature could arise and how it can be controlled is still a matter of speculation. A more concrete object of theoretical analysis is algorithmic iteration for computational intelligence, intended as the theoretical and practical ability of algorithms to design other algorithms for actions aimed at solving well-specified tasks. We know this ability is already shown by current AIs, and understanding its limits is an essential step in qualifying claims about machine awareness and Super-AI. We propose a formal translation of algorithmic iteration in a fragment of modal logic, formulate principles of transparency and faithfulness across human and machine intelligence, and consider the relevance to theoretical research on (Super)-AI as well as the practical import of our results.
Vorheriger Artikel The Logic of Design as a Conceptual Logic of Information
Nächster Artikel A Constructionist Philosophy of Logic

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Fußnoten
1
For a recent list of technical breakthroughs in AI see http://​futureoflife.​org/​2015/​12/​29/​the-top-a-i-breakthroughs-of-2015/​. For a philosophical comment on how these represent more task solving successes than real progress in the mechanical definition of intelligence, see Floridi (2015).
 
2
See Goertzel and Pennachin (2007), p. VI.
 
3
For a complete overview, including a historical presentation, see e.g. Nilsson (2009).
 
4
See for example Voss (2007).
 
5
Citations are from Good (1965), considered the first speculation on machine super-intelligence. See Bostrom (2014) for the most up-to-date and complete analysis currently available for the problems, strategies and forecasts related to the possibility of an artificial super-intelligence.
 
6
See De Grave (2015), Preface.
 
7
For the historical roots of the analogy between ‘programming language’ and ‘mathematical machine’, see Daylight (2015).
 
8
For an introductory overview, see Gertler (2015).
 
9
For an introductory overview, see Bolander (2015).
 
10
See Schwitzgebel (2014) for a comprehensive overview.
 
11
The relevance of axiom 5 for negative introspection will be considered in Sect. 6.
 
12
See e.g. Aleksander (2007) for an overview.
 
13
See e.g. Kleinberg and Tardos (2005) for a modern overview of the discipline.
 
14
For an overview of this debate, see Menzel (2016).
 
15
We borrow the term computing mechanism in the technical sense introduced by Piccinini (2007).
 
16
Notice that determining which topology is associated with which action is a hard problem.
 
Literatur
Adelson, B., & Soloway, E. (2007). A model of software design. International Journal of Intelligent Systems, 1(3), 195–213, 1986 (republished).
Aleksander, I. L. (2007). Machine consciousness. In M. Velmans & S. Schneider (Eds.), The Blackwell companion to consciousness (pp. 87–98). New York: Blackwell Publishing.CrossRef
Arcuri, A., & Yao, X. (2014). Co-evolutionary automatic programming for software development. Information Sciences, 259, 412–432.CrossRef
Armstrong, D. M. (1981). The nature of mind and other essays. Ithaca: Cornell University Press.
Baeten, J. C. M., Luttik, B., & van Tilburg, P. J. A. (2013). Reactive turing machines. Information and Computation, 231, 143–166.MathSciNetCrossRefMATH
Balzer, R. (1985). A 15 year perspective on automatic programming. IEEE Transactions on Software Engineering, 11(11), 1257–1268.CrossRef
Barcan, R. C. (1946). A functional calculus of first order based on strict implication. Journal of Symbolic Logic, 11, 1–16.MathSciNetCrossRefMATH
Barstow, D. (1984). A perspective on automatic programming. AI Magazine, 5(1), 5–27.
Biermann, A. W. (1985). Automatic programming: A tutorial on formal methodologies. Journal of Symbolic Computation, 1, 119–142.CrossRefMATH
Bolander, T. (2002). Maximal introspection of agents. Electronic Notes in Theoretical Computer Science, 70(5), 183–198.CrossRefMATH
Bolander, T. (2003). Logical theories for agent introspection. Ph.D. thesis, informatics and mathematical modelling, Technical University of Denmark.
Bolander, T., & Andersen, M. B. (2011). Epistemic planning for single and multi-agent systems. Journal of Applied Non-Classical Logics, 21(1), 9–34.MathSciNetCrossRefMATH
Bostrom, N. (2014). Superintelligence: Paths, dangers, strategies. New York: Oxford University Press.
Byrne, A. (2005). Introspection. Philosophical Topics, 33(1), 79–104.CrossRef
Chalmers, D. (1996). The conscious mind: In search of a fundamental theory. Oxford: Oxford University Press.
Cox, M. T., & Ram, A. (1999). Introspective multistrategy learning: On the construction of learning strategies. Artificial Intelligence, 112(1–2), 1–55.CrossRefMATH
Curry, Haskell B., & Feys, R. (1958). Combinatory logic (Vol. I). North-Holland: Amsterdam.MATH
De Bruijn, N. (1983). Automath, a language for mathematics. Department of Mathematics, Eindhoven University of Technology, TH-report 68-WSK-05, 1968. Reprinted in revised form, with two pages commentary. In Automation and Reasoning, vol. 2, Classical papers on computational logic 1967–1970, pp. 159–200. Berlin: Springer.
De Grave, K. (Ed.) (2015). Formalism and intuition in software development. A conversation with Michael A. Jackson conducted by Edgar G. Daylight and Bas van Vlijmen. Conversations, Issue 5, Lonely Scholar.
Evans, G. (1982). The varieties of reference. Oxford: Oxford University Press.
Fallenstein, B., & Soares, N. (2015). Vingean reflection: Reliable reasoning for self-improving agents. Technical Report 2015-2, Machine Intelligence Research Institute.
Fischer, M. J., & Ladner, R. E. (1977). Propositional modal logic of programs. In STOC ’77 Proceedings of the ninth annual ACM symposium on theory of computing, pp. 286–294 .
Floridi, L. (2008). The method of levels of abstractions. Minds and Machines, 8(3), 303–329.CrossRef
Floridi, L. (2015). Singularitarians, aitheists, and why the problem with artificial intelligence is H.A.L. (humanity at large), not HAL. APA Newsletter, 14(2), 7–11.
Floridi, L., Fresco, N., & Primiero, G. (2015). On malfunctioning software. Synthese, 192(4), 1199–1220.CrossRef
Fox, S., & Leake, D. B. (2001). Introspective reasoning for index refinement in case-based reasoning. Journal of Experimental and Theoretical Artificial Intelligence, 13(1), 63–88.CrossRefMATH
Fresco, N. (2013). Information processing as an account of concrete digital computation. Philosophy and Technology, 26(1), 31–60.CrossRef
Fresco, N., & Primiero, G. (2013). Miscomputation. Philosophy and Technology, 26(3), 253–272.CrossRef
Gamez, D. (2008). Progress in machine consciousness. Consciousness and Cognition, 17, 887–910.CrossRef
Gilbert, S., & Lynch, N. (2002). Brewer’s conjecture and the feasibility of consistent, available, partition-tolerant web services. Newsletter ACM SIGACT News, 33(2), 51–59.CrossRef
Goel, A. K., Morse, E. L., Raja, A., Scholtz, J., & Stasko, J. T. (2009). Computational explanations for report generation in intelligence analysis. ExaCt, 37–47, 2009.
Goertzel, B., & Pennachin, C. (Eds.). (2007). Artificial general intelligence. Berlin: Springer.MATH
Good, I. J. (1965) Speculations concerning the First ultraintelligent machine. In F. L. Alt and M. Rubinoff (eds.), Advances in computers (Vol. 6, pp. 31–88).
Gurevich, Y. (2012). What is an algorithm? SOFSEM 2012: Theory and practice of computer science. Lecture Notes in Computer Science, (Vol. 7147, pp. 31–42).
Halpern, J. Y., & Vardi, M. (1994). Algorithmic knowledge. In R. Fagin (Ed.), Proceedings of the 5th conference on theoretical aspects of reasoning about knowledge (pp. 255–266). Morgan Kaufmann.
Harel, D., Kozen, D., & Tiuryn, J. (2000). Dynamic logic. London: MIT Press.MATH
Hibbard, B. (2012). Decision support for safe AI design. In J. Bach, B. Goertzel and M. Iklé (Eds.), Artificial general intelligence. Lecture notes in artificial intelligence (Vol. 7716, pp. 117–25). New York: Springer.
Hill, R. (2016). What an algorithm is. Philosophy and Technology, 29(1), 35–59.CrossRef
Hoare, C. A. R. (1969). An axiomatic basis for computer programming. Communications of the ACM, 12, 576–580.CrossRefMATH
Howard, W. A. (1980). The formulae-as-types notion of construction. In Seldin, Jonathan P., Hindley, J. Roger, To H.B. Curry: Essays on combinatory logic, lambda calculus and formalism (pp. 479–490). Boston, MA: Academic Press (original paper manuscript from 1969).
Jeffries, R., Turner, A. A., & Polson, P. G. (1981). The processes involved in designing software. In J. R. Anderson (Ed.), Cognitive skills and their acquisition, ch. 8. Hillsdale, NJ: Lawrence Erlbaum.
Kant, E. (1985). Understanding and automating algorithm design. IEEE Transactions on Software Engineering, SE-11, 1243–1253.
Kleinberg, J., & Tardos, E. (2005). Algorithm design. Reading, MA: Pearson Addison-Wesley.
Konolige, K. (1985). A computational theory of belief introspection. IJCAI, 85, 503–508.
Lakemeyer, G. (1996). Limited reasoning in first-order knowledge bases with full introspection. Artificial Intelligence, 84, 209–255.MathSciNetCrossRef
van Leeuwen, J. J., & Wiedermann, J. (2001). Beyond the Turing limit: Evolving interactive systems. In L. Pacholski, P. Ruzicka (Eds.), SOFSEM, in Lecture Notes in Computer Science (vol. 2234, pp. 90–109).
Moschovakis, Y. N. (1994). Sense and denotation as algorithm and value. In J. Oikkonen and J. Vaananen (Eds.), Lecture notes in logic (Vol. 2, pp. 210–249). Berlin: Springer
Moschovakis, Y. N. (2001). What is an algorithm? In B. Engquist and W. Schmid (Eds.), Mathematics unlimited—2001 and beyond (pp. 919–936). Berlin: Springer.
Moschovakis, Y. (2006). A logical calculus of meaning and synonymy. Linguistics and Philosophy, 29, 27–89.CrossRef
Nilsson, N. (2009). The quest for artificial intelligence: A history of ideas and achievements. Cambridge: Cambridge University Press.CrossRef
Piccinini, G. (2015). Physical computation—A mechanistic account. Oxford: Oxford University Press.CrossRefMATH
Pratt, V. R. (1976) Semantical considerations on Floyd-Hoare Logic. In SFCS ’76 proceedings of the 17th annual symposium on foundations of computer science, pp. 109–121
Primiero, G. (2015). Realist consequence, epistemic inference, computational correctness. In A. Koslow & A. Buchsbaum (Eds.), The road to universal logic, Part of the series Studies in Universal Logic (Vol. 2, pp. 573–588). Springer, Birkhauser.
Primiero, G. (2016). Information in the philosophy of computer science. In L. Floridi (Ed.), The Routledge handbook of philosophy of information, ch. 10 (pp. 90–106).
Rapaport, W. J. (2005). Implementation as semantic interpretation: Further thoughts. Journal of Experimental and Theoretical Artificial Intelligence, 17(4), 385–417.CrossRef
Shoemaker, S. (1994). Self-knowledge and ‘Inner-Sense’. Philosophy and Phenomenological Research, 54, 249–314. Reprinted in The First Person Perspective and other Essays, OUP, 1996.
Sonntag, D. (2008). On introspection, metacognitive control and augmented data mining live cycles. 0807.4417[CoRRabs].
Sørensen, M. H., & Urzyczyn, P. (2006). Lectures on the Curry-Howard isomorphism. Studies in Logic and the Foundations of Mathematics (Vol. 149). London: Elsevier.
Sotala, K., Yampolskiy, R. (2015). Responses to catastrophic AGI risk: A survey. Physica Scripta, 90. Royal Swedish Academy of Sciences, IOP.
van Ditmarsch, H., & French, T. (2011). On the interactions of awareness and certainty. Australasian Conference on Artificial Intelligence, pp. 727–738.
Voss, P. (2007). Essentials of general intelligence: The direct path to artificial general intelligence In B. Goertzel & C. Pennachin (Eds.), Artificial General Intelligence (pp. 131–157). Heidelberg: Springer.
Wiedermann, J. (2012). A computability argument against superintelligence. Cognitive Computation, 4(3), 236–245.CrossRef
Wright, C. (2000). Self-knowledge: The Wittgensteinean legacy. In C. Wright, B. Smith, & C. MacDonald (Eds.), Knowing our own minds. Oxford: Oxford University Press.CrossRef
Metadaten
Titel
Algorithmic Iteration for Computational Intelligence
verfasst von
Giuseppe Primiero
Publikationsdatum
08.02.2017
Verlag
Springer Netherlands
Erschienen in
Minds and Machines / Ausgabe 3/2017
Print ISSN: 0924-6495
Elektronische ISSN: 1572-8641
DOI
https://doi.org/10.1007/s11023-017-9423-8

Weitere Artikel der Ausgabe 3/2017

Minds and Machines 3/2017 Zur Ausgabe

OriginalPaper

Deterrence by Norms to Stop Interstate Cyber Attacks

EditorialNotes

Artificial Intelligence in a New Context: “Internal” and “External” Factors

OriginalPaper

The Logic of Design as a Conceptual Logic of Information

OriginalPaper

AI and the Origins of the Functional Programming Language Style

OriginalPaper

Artificial Intelligence, Cybercities and Technosocieties

OriginalPaper

A Constructionist Philosophy of Logic

Premium Partner

    Bildnachweise