Programmiersprache für künstliche Intelligenz, eine Computersprache, die speziell für die Implementierung der Forschung zur künstlichen Intelligenz (KI) entwickelt wurde. Im Zuge ihrer Arbeit über den Logiktheoretiker und GPS entwickelten zwei frühe KI-Programme, Allen Newell und J. Clifford Shaw von der Rand Corporation und Herbert Simon von der Carnegie Mellon University, ihre Informationsverarbeitungssprache (IPL), eine Computersprache, die auf die KI-Programmierung zugeschnitten ist. Das Herzstück von IPL war eine hochflexible Datenstruktur, die sie als Liste bezeichneten., Eine Liste ist einfach eine geordnete Folge von Datenelementen. Einige oder alle Elemente in einer Liste können selbst Listen sein. Dieses Schema führt zu reich verzweigten Strukturen.
1960 kombinierte John McCarthy, Informatiker am Massachusetts Institute of Technology (MIT), Elemente von IPL mit dem Lambda-Kalkül (einem formalen mathematisch-logischen System), um die Programmiersprache LISP (List Processor) zu erzeugen, die die Hauptsprache für KI-Arbeit in den Vereinigten Staaten bleibt., (Das Lambda-Kalkül selbst wurde 1936 vom Logiker Alonzo Church von der Princeton University erfunden, als er das abstrakte Entscheidungsproblem oder „Entscheidungsproblem“ für Prädikatskalkül untersuchte—das gleiche Problem, das der britische Mathematiker und Logiker Alan Turing hatte angegriffen, als er die universelle Turing-Maschine erfand.)
Die Logik – Programmiersprache PROLOG (Programmation en Logique) wurde von Alain Colmerauer an der Universität Aix-Marseille, Frankreich, konzipiert, wo die Sprache erstmals 1973 implementiert wurde., PROLOG wurde vom Logiker Robert Kowalski, Mitglied der AI Group an der University of Edinburgh, weiterentwickelt. Diese Sprache verwendet eine leistungsstarke theorembeweisende Technik, die als Resolution bekannt ist und 1963 vom britischen Logiker Alan Robinson am Argonne National Laboratory der US Atomic Energy Commission in Illinois erfunden wurde. PROLOG kann bestimmen, ob eine bestimmte Anweisung logisch aus anderen gegebenen Anweisungen folgt oder nicht., Angesichts der Aussagen „Alle Logiker sind rational“ und “ Robinson ist ein Logiker „antwortet ein PROLOG-Programm beispielsweise positiv auf die Abfrage“ Robinson ist rational?“PROLOG wird häufig für KI-Arbeiten verwendet, insbesondere in Europa und Japan.
Forscher des Instituts für Computertechnologie der neuen Generation in Tokio haben PROLOG als Grundlage für ausgefeilte Logikprogrammiersprachen verwendet. Diese als Sprachen der fünften Generation bekannten Sprachen werden auf nicht numerischen Parallelcomputern verwendet, die am Institut entwickelt wurden.,
Weitere aktuelle Arbeiten umfassen die Entwicklung von Sprachen zum Nachdenken über zeitabhängige Daten wie “ Das Konto wurde gestern bezahlt.“Diese Sprachen basieren auf einer angespannten Logik, die es erlaubt, Aussagen im Zeitfluss zu lokalisieren. (Tense logic wurde 1953 von dem Philosophen Arthur Prior an der University of Canterbury, Christchurch, Neuseeland, erfunden.)
Schreibe einen Kommentar