nach oben

Erschienen in:

2018 | OriginalPaper | Buchkapitel

Can Machines Design? An Artificial General Intelligence Approach

verfasst von : Andreas M. Hein, Hélène Condat

Erschienen in: Artificial General Intelligence

Verlag: Springer International Publishing

Einloggen

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

search-config

KI-gestützte Suche

Aus

Abstract

Can machines design? Can they come up with creative solutions to problems and build tools and artifacts across a wide range of domains? Recent advances in the field of computational creativity and formal Artificial General Intelligence (AGI) provide frameworks towards machines with the general ability to design. In this paper we propose to integrate a formal computational creativity framework into the Gödel machine framework. We call the resulting framework design Gödel machine. Such a machine could solve a variety of design problems by generating novel concepts. In addition, it could change the way these concepts are generated by modifying itself. The design Gödel machine is able to improve its initial design program, once it has proven that a modification would increase its return on the utility function. Finally, we sketch out a specific version of the design Gödel machine which specifically aims at the design of complex software and hardware systems. Future work aims at the development of a more formal version of the design Gödel machine and a proof of concept implementation.

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

Vorheriges Kapitel Goal-Directed Procedure Learning

Nächstes Kapitel Resource-Constrained Social Evidence Based Cognitive Model for Empathy-Driven Artificial Intelligence

Boden, M.: Computer models of creativity. AI Mag. 30(3), 23 (2009)CrossRef

Bostrom, N.: Superintelligence: Paths, Dangers, Strategies. Oxford University Press, Oxford (2014)

Broy, M.: A logical basis for component-oriented software and systems engineering. Comput. J. 53(10), 1758–1782 (2010)CrossRef

Broy, M., Dederichs, F., Dendorfer, C., Fuchs, M., Gritzner, T.F., Weber, R.: The design of distributed systems: an introduction to focus. Technical report, Technische Universität München. Institut für Informatik (1992)

Broy, M., Feilkas, M., Herrmannsdoerfer, M., Merenda, S., Ratiu, D.: Seamless model-based development: from isolated tools to integrated model engineering environments. Proc. IEEE 98(4), 526–545 (2010)CrossRef

Cherti, M.: Deep generative neural networks for novelty generation: a foundational framework, metrics and experiments. Ph.D. thesis, Université Paris-Saclay (2018)

Colton, S., Goodwin, J., Veale, T.: Full-FACE poetry generation. In: ICCC, pp. 95–102 (2012)

Cope, D.: Computer Models of Musical Creativity. MIT Press, Cambridge (2005)

Elgammal, A., Papazoglou, M., Krämer, B.: Design for customization: a new paradigm for product-service system development. In: Procedia CIRP (2017)

10.

Fallenstein, B., Soares, N.: Problems of self-reference in self-improving space-time embedded intelligence. In: Goertzel, B., Orseau, L., Snaider, J. (eds.) AGI 2014. LNCS (LNAI), vol. 8598, pp. 21–32. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-09274-4_3CrossRef

11.

Gero, J.: Creativity, emergence and evolution in design. Knowl.-Based Syst. 9(7), 435–448 (1996)CrossRef

12.

Gödel, K.: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte für mathematik und physik 38(1), 173–198 (1931)MathSciNetCrossRef

13.

Goertzel, B.: Artificial general intelligence: concept, state of the art, and future prospects. J. Artif. Gen. Intell. 5(1), 1–48 (2014)CrossRef

14.

Golden, B.: A unified formalism for complex systems architecture. Ph.D. thesis, École Polytechnique (2013)

15.

Harel, D., Rumpe, B.: Meaningful modeling: what’s the semantics of semantics? Computer 37(10), 64–72 (2004)CrossRef

16.

Haskins, C., Forsberg, K., Krueger, M.: INCOSE systems engineering handbook. In: International Council On Systems Engineering INCOSE (2007)

17.

Hatchuel, A., Le Masson, P., Reich, Y., Weil, B.: A systematic approach of design theories using generativeness and robustness. In: Proceedings of the 18th International Conference on Engineering Design (ICED 11) (2011)

18.

Hein, A.: Artificial intelligence probes for interstellar exploration and colonization. arXiv, arXiv:1612 (2016)

19.

Hein, A.M.: The greatest challenge: manned interstellar travel. In: Beyond the Boundary: Exploring the Science and Culture of Interstellar Spaceflight, pp. 349–376, Lulu (2014)

20.

Hein, A.M., Pak, M., Pütz, D., Bühler, C., Reiss, P.: World ships-architectures & feasibility revisited. J. Br. Interplanetary Soc. 65(4), 119–133 (2012)

21.

Herrmann, C., Krahn, H., Rumpe, B., Schindler, M., Völkel, S.: An algebraic view on the semantics of model composition. In: Akehurst, D.H., Vogel, R., Paige, R.F. (eds.) ECMDA-FA 2007. LNCS, vol. 4530, pp. 99–113. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-72901-3_8CrossRef

22.

Herzig, S.I.J., Brandstätter, M.: Applying software engineering methodologies to model-based systems engineering. In: Proceedings of 4th International Workshop on System & Concurrent Engineering for Space Applications SECESA (2010)

23.

Hutter, M.: Universal Artificial Intelligence: Sequential Decisions Based on Algorithmic Probability. Springer, Heidelberg (2004). https://doi.org/10.1007/b138233

24.

Mealy, G.H.: A method for synthesizing sequential circuits. Bell Labs Tech. J. 34(5), 1045–1079 (1955)MathSciNetCrossRef

25.

Muehlhauser, L.. Laurent Orseau on Artificial General Intelligence (2013)

26.

Myhill, J.: The abstract theory of self-reproduction. In: Views on General Systems Theory, pp. 106–118 (1964)

27.

Orseau, L., Ring, M.: Space-time embedded intelligence. In: Bach, J., Goertzel, B., Iklé, M. (eds.) AGI 2012. LNCS (LNAI), vol. 7716, pp. 209–218. Springer, Heidelberg (2012)CrossRef

28.

Orseau, L., Ring, M.: Self-modification and mortality in artificial agents. In: Schmidhuber, J., Thórisson, K.R., Looks, M. (eds.) AGI 2011. LNCS (LNAI), vol. 6830, pp. 1–10. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-22887-2_1CrossRef

29.

Rice, H.: Classes of recursively enumerable sets and their decision problems. Trans. Am. Math. Soc. 74(2), 358–366 (1953)MathSciNetCrossRef

30.

Riedl, M., Young, R.: Story planning as exploratory creativity: techniques for expanding the narrative search space. New Gener. Comput. 24(3), 303–323 (2006)CrossRef

31.

Rigger, E., Shea, K., Stankovic, T.: Task categorisation for identification of design automation opportunities. J. Eng. Des. 29(3), 131–159 (2018)CrossRef

32.

Ritchie, G.: The JAPE riddle generator: technical specification. Technical report (2003)

33.

Russell, S., Dewey, D., Tegmark, M.: Research priorities for robust and beneficial artificial intelligence. AI Mag. 36(4), 105–114 (2015)CrossRef

34.

Schmidhuber, J.: Developmental robotics, optimal artificial curiosity, creativity, music, and the fine arts. Connection Sci. 18(2), 173–187 (2006)

35.

Schmidhuber, J.: Ultimate cognition à la Gödel. Cogn. Comput. 1(2), 177–193 (2009)

36.

Schmidhuber, J.: Formal theory of creativity, fun, and intrinsic motivation (1990–2010). IEEE Trans. Auton. Ment. Dev. 2(3), 230–247 (2010)CrossRef

37.

Schmidhuber, J.: A formal theory of creativity to model the creation of art. In: McCormack, J., d’Inverno, M. (eds.) Computers and Creativity, pp. 323–337. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-31727-9_12

38.

Simon, H., Lea, G.: Problem solving and rule induction: a unified view (1974)

39.

Simons, P.: Parts: A Study in Ontology. Oxford University Press, Oxford (1987)

40.

Soares, N.: Formalizing two problems of realistic world-models. In: Technical report, Machine Intelligence Research Institute (2014)

41.

Todd, S., Latham, W.: Evolutionary Art and Computers. Academic Press, Cambridge (1992)

42.

Wiggins, G.: A preliminary framework for description, analysis and comparison of creative systems. Knowl.-Based Syst. 19(7), 449–458 (2006)CrossRef

Titel: Can Machines Design? An Artificial General Intelligence Approach
verfasst von: Andreas M. Hein
Hélène Condat
Verlag: Springer International Publishing
Buch: Artificial General Intelligence
Print ISBN: 978-3-319-97675-4

Electronic ISBN: 978-3-319-97676-1

Copyright-Jahr: 2018
DOI: https://doi.org/10.1007/978-3-319-97676-1_9

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

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

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"