Laßt hundert Blumen blühen
| dc.contributor.author | Bibel, Wolfgang | |
| dc.contributor.editor | Reussner, Ralf H. | |
| dc.contributor.editor | Koziolek, Anne | |
| dc.contributor.editor | Heinrich, Robert | |
| dc.date.accessioned | 2021-01-27T13:34:10Z | |
| dc.date.available | 2021-01-27T13:34:10Z | |
| dc.date.issued | 2021 | |
| dc.description.abstract | Der 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.doi | 10.18420/inf2020_65 | |
| dc.identifier.isbn | 978-3-88579-701-2 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/34776 | |
| dc.language.iso | de | |
| dc.publisher | Gesellschaft für Informatik, Bonn | |
| dc.relation.ispartof | INFORMATIK 2020 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-307 | |
| dc.subject | Künstliche Intelligenz | |
| dc.subject | Wissenschaftsgeschichte | |
| dc.subject | Maschinelles Lernen | |
| dc.subject | Deep Learning | |
| dc.subject | Automatisches Beweisen | |
| dc.title | Laßt hundert Blumen blühen | de |
| gi.citation.endPage | 746 | |
| gi.citation.startPage | 729 | |
| gi.conference.date | 28. September - 2. Oktober 2020 | |
| gi.conference.location | Karlsruhe | |
| gi.conference.sessiontitle | Konzeptionelle Herausforderungen für die KI |
Dateien
Originalbündel
1 - 1 von 1