idw – Informationsdienst Wissenschaft
Nachrichten, Termine, Experten
Nachrichten, Termine, Experten
CeBIT Hannover (13. bis 20. März 2002), Halle 11, Stand D 27
Computer lernen logisches Denken
Die NASA hat Raumfahrzeuge durch fehlerbehaftete Software verloren. Airbus Industries hat festgestellt, dass bei der Anwendung herkömmlicher Methoden zur Validierung der Software für den Airbus A3XX die Validierung länger dauern würde als die Gesamtlebensdauer des Flugzeuges. Dies sind nur zwei Beispiele, die belegen, dass der Einsatz herkömmlicher Methoden und Techniken bei der Entwicklung von neuen High Tech Systemen an Grenzen stößt.
Diese und viele ähnliche neue Aufgabenstellungen erfordern enorm große Computerleistungen, die selbst schnellste Computer in ausreichender Zeit bei klassischer Modellierung nicht bewältigen. Die einzige Möglichkeit, komplexe Systeme so zu modellieren und einer besseren Verarbeitung zugänglich zu machen, besteht im verstärkten Einsatz von Methoden der Künstlichen Intelligenz. Und genau diesem Forschungsgebiet widmen sich Informatiker der TU Dresden.
Die Informatiker entwickelten einen sogenannten Unifikationsprozessor. Dieser ist ü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 bildet eine theoretisch fundierte Lösung zur Integration wissensverarbeitender Basisfunktionalität in Hardware. Der entwickelte Unifikationsalgorithmus ist 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.
Informationen: Doz. Dr.habil. Uwe Petersohn, Tel. (03 51) 4 63 - 3 84 31, E-Mail: peterson@inf.tu-dresden.de
Merkmale dieser Pressemitteilung:
Informationstechnik
überregional
Forschungsergebnisse
Deutsch
Sie können Suchbegriffe mit und, oder und / oder nicht verknüpfen, z. B. Philo nicht logie.
Verknüpfungen können Sie mit Klammern voneinander trennen, z. B. (Philo nicht logie) oder (Psycho und logie).
Zusammenhängende Worte werden als Wortgruppe gesucht, wenn Sie sie in Anführungsstriche setzen, z. B. „Bundesrepublik Deutschland“.
Die Erweiterte Suche können Sie auch nutzen, ohne Suchbegriffe einzugeben. Sie orientiert sich dann an den Kriterien, die Sie ausgewählt haben (z. B. nach dem Land oder dem Sachgebiet).
Haben Sie in einer Kategorie kein Kriterium ausgewählt, wird die gesamte Kategorie durchsucht (z.B. alle Sachgebiete oder alle Länder).
