Die NASA hat Raumfahrzeuge durch fehlerhafte Software verloren. Das wäre nach Ansicht der Informatiker der TU Dresden nicht passiert, hätte die amerikanische Weltraumbehörde Methoden der Künstlichen Intelligenz eingesetzt, die die ostdeutschen Forscher auf der CeBIT in Hannover (13. bis 19. März), Halle 11, Stand D27, präsentieren werden.
Die Programmierer entwickelten einen so genannten Unifikationsprozessor. Dieser sei überall dort einsetzbar, wo Methoden, Instrumente und Algorithmen der Informations- und Wissensverarbeitung auf der Grundlage von symbolverarbeitenden KI-Systemen in Anwendungen zu implementieren sind, die einem Nutzer im rationalen Denken und Handeln unterstützen können.
Das wesentliche Neue des auf der CeBIT ausgestellten Unifikationsrechners bilde eine theoretisch fundierte Lösung zur Integration wissensverarbeitender Basisfunktionalität in Hardware. Der entwickelte Unifikationsalgorithmus sei linear in der Zeit- und Speicherkomplexität, vom Befehlssatz voll beherrschbar und speziell für die direkte Hardware-Umsetzung geeignet und projektiert und kann in bestehende und neue Systeme integriert werden.
Kontakt: Uwe Petersohn, Tel.: 0351/463384 (günstigsten Tarif anzeigen)
Neueste Kommentare
1 Kommentar zu Computer lernen logisches Denken
Kommentar hinzufügenVielen Dank für Ihren Kommentar.
Ihr Kommentar wurde gespeichert und wartet auf Moderation.
marktrelevant?
Wenn ich den Artikel richtig verstehe, geht es um eine Art Prolog-Computer (Unifikation – dynamische Variablenbindung); lass mich aber gerne belehren. Es hat schon verschiedene Versuche gegeben, KI in Hardware zu gießen: japanisches "5th generation project" vor 10 Jahren, Neurocomputer…. Wo bleibt der Markterfolg (-> technischer Fortschritt bei "herkömmlicher" Hardware)?