WikiDer > Rahmenproblem

Frame-probleem

In dem künstliche Intelligenz ist der Rahmenproblem das Problem des effizienten Schreibens in a logischFormalismus was ändert sich und was ist? nicht Änderungen infolge einer Handlung. Mit effizient ist gemeint, dass man nicht für jede veränderbare Eigenschaft der Umgebung schreiben muss, dass sie sich nicht ändert, wenn eine Aktion ausgeführt wird. Es wurde erstmals formuliert von John McCarthy und Patrick J. Hayes 1969 in ihrer Veröffentlichung mit dem Titel Einige philosophische Probleme aus der Sicht der künstlichen Intelligenz. Später bekam das Rahmenproblem auch in der Philosophie fragen, wie Denksysteme bestimmen können, welche Informationen relevant sind und welche nicht, wenn sie über ein bestimmtes Ereignis nachdenken. Wenn ein Ereignis (zum Beispiel ein Ereignis, das aus einer geplanten Handlung resultiert) in der Welt auftritt, können wir uns fragen: (A) Welche Dinge ändern sich und welche nicht? Genauer:

  • (A1) Was sind die notwendigen und hinreichenden Bedingungen für den Eintritt eines Ereignisses?
  • (A2) Was sind die (potentiellen) Veränderungen, die durch das Ereignis verursacht werden?
  • (B) Wie stellen wir (A) dar?
  • (C) Wie können wir über (A) nachdenken?[1]

Das Problem

In einer Umgebung (wie einem Raum) gelten oft alle Arten von Eigenschaften, wie beispielsweise die Position oder Farbe von Objekten. Durch das Ausführen einer Aktion (z. B. das Verschieben eines Stuhls) werden einige von ihnen geändert, die meisten jedoch nicht: Die anderen Objekte befinden sich immer noch an derselben Stelle, aber viele andere Aspekte ändern sich nicht, z Land ist oder die Anzahl der Buchstaben im Alphabet.

In einem Formalismus sollte man eigentlich Folgendes angeben: wenn ein Merkmal zu einem Zeitpunkt gültig ist t und eine Aktion ausgeführt wird, dann ist nicht explizit bekannt, dass sie zu diesem Zeitpunkt noch gilt t 1. Dadurch entstehen sogenannte Rahmen-Axiome Ausdruck der Unveränderlichkeit der Umgebung: Für jede Handlung und jeden veränderlichen Aspekt muss angegeben werden, dass die Handlung den veränderlichen Aspekt nicht verändert (z t und der Stuhl wird verschoben, der Stuhl ist zu der Zeit auch rot t 1).

Vor dem ich Aktionen und nein veränderliche Aspekte (auch genannt fließend genannt) kommt es darauf an Ö(mn) Rahmenaxiome, die in vielen Problembereichen zu viele sind.

Geschichte

Das Rahmenproblem wurde zuerst formuliert von John McCarthy und Patrick J. Hayes 1969 in ihrer Veröffentlichung mit dem Titel Einige philosophische Probleme aus der Sicht der künstlichen Intelligenz. In dieser Veröffentlichung legten sie den Grundstein für die Situationsrechnung, ein Formalismus, mit dem Wissen über die Umwelt dargestellt werden kann.

Lösungen

Für das Rahmenproblem sind unter anderem Lösungen bekannt Situationsrechnung, flüssiges Rechnen und Ereignisrechnung. Kritikern zufolge nehmen diese Lösungen drei Formen an: Entweder handelt es sich um "Straußenlösungen", die das Rahmenproblem leugnen, oder das Rahmenproblem wird anerkannt, soll aber mit Heuristiken und einem Allheilmittel an Relevanz und Prominenz entkommen, oder es wird angenommen dass das Rahmenproblem nicht auf eine bestimmte Domäne zutrifft. Die "Lösungen" sind Logikismen, die davon ausgehen, dass getrennte Domänen durch "natürliche" primitive Begriffe gekennzeichnet sind.[1]

Rahmenproblem in der Philosophie

1978, Daniel Dennett In einer Veröffentlichung ist das Rahmenproblem der künstlichen Intelligenz Teil eines größeren Problems: Wie kann ein rational denkendes System bestimmen, welche Informationen in einer Argumentation im Zusammenhang mit der Ausführung einer Handlung relevant sind oder nicht. Die verfügbare Menge an Wissen muss sozusagen eingerahmt werden, aber die Frage ist, wie Sie feststellen können, ob Informationen relevant sind oder nicht.