Bibel, WolfgangReussner, Ralf H.Koziolek, AnneHeinrich, Robert2021-01-272021-01-272021978-3-88579-701-2https://dl.gi.de/handle/20.500.12116/34776Der Beitrag skizziert im ersten Teil einschlägige Aspekte der historischen Entwicklung der Künstlichen Intelligenz (KI) als Wissenschaft und daraus resultierender Technologie. Im zweiten Teil werden beispielhaft Synergien zwischen Verfahren des „deep learning“ (DL) und dem klassischen automatischen Beweisen erläutert. Aus diesen beiden Analysen werden im dritten Teil Empfehlungen für die weitere Entwicklung von Wissenschaft und Technologie der KI in Deutschland und Europa abgeleitet; spezifische Fragestellungen vor allem im Zusammenhang mit DL finden dabei eine besondere Berücksichtigung.deKünstliche IntelligenzWissenschaftsgeschichteMaschinelles LernenDeep LearningAutomatisches Beweisen10.18420/inf2020_651617-5468