Künstliche Intelligenz
1/07




KI Konferenz



KI Fachbereich

Böttcher IT Verlag

Heft 1/07

Schwerpunkt: 20 Jahre Planen und Konfigurieren

Sicherheit in der Künstlichen Intelligenz

Zusammenfassung:

Dieses Jahr wurde die Künstliche Intelligenz fünfzig Jahre alt. Aus einem esoterischen Randbereich der Informatik ist eine Kerndisziplin geworden. Techniken der Künstlichen Intelligenz (KI) werden inzwischen in fast allen Gebieten der Informatik eingesetzt. In dem Maße, in dem sich diese Techniken verbreiten, stellt sich verstärkt die Frage nach der Sicherheit. Wenn ich künftig einen Serviceroboter einsetze, wie kann ich sicher sein, dass er mich nicht verletzt? In diesem Artikel stellen wir drei Techniken vor, mit denen das Vertrauen in die Zuverlässigkeit von KI-Systemen erhöht werden kann. Als Beispiele betrachten wir typische KI-Systeme wie Theorembeweiser und Roboter. Für beide ist Sicherheit unerlässlich: ein Theorembeweiser ist nur dann nützlich, wenn wir sicher sein können, dass er nur korrekte Beweise erzeugt (und nicht etwa Widersprüche), und ein mobiler Roboter sollte nicht mit Hindernissen kollidieren.

Autoren:

Christoph Lüth, Bernd Krieg-Brückner

Seite/n:

51-52

Nummer:

1

Artikel als PDF

Back

 

Email: info(a)kuenstliche-intelligenz.de

©KI