Logo des Repositoriums

Auflistung nach Schlagwort "Automatisches Beweisen"

1 - 1 von 1
  • Textdokument
    Laßt hundert Blumen blühen
    (INFORMATIK 2020, 2021) Bibel, Wolfgang
    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.