Logo des Repositoriums
 

Laßt hundert Blumen blühen

dc.contributor.authorBibel, Wolfgang
dc.contributor.editorReussner, Ralf H.
dc.contributor.editorKoziolek, Anne
dc.contributor.editorHeinrich, Robert
dc.date.accessioned2021-01-27T13:34:10Z
dc.date.available2021-01-27T13:34:10Z
dc.date.issued2021
dc.description.abstractDer 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.de
dc.identifier.doi10.18420/inf2020_65
dc.identifier.isbn978-3-88579-701-2
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/34776
dc.language.isode
dc.publisherGesellschaft für Informatik, Bonn
dc.relation.ispartofINFORMATIK 2020
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-307
dc.subjectKünstliche Intelligenz
dc.subjectWissenschaftsgeschichte
dc.subjectMaschinelles Lernen
dc.subjectDeep Learning
dc.subjectAutomatisches Beweisen
dc.titleLaßt hundert Blumen blühende
gi.citation.endPage746
gi.citation.startPage729
gi.conference.date28. September - 2. Oktober 2020
gi.conference.locationKarlsruhe
gi.conference.sessiontitleKonzeptionelle Herausforderungen für die KI

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild nicht verfügbar
Name:
C9-4.pdf
Größe:
202.85 KB
Format:
Adobe Portable Document Format