programovací jazyk umělé inteligence, počítačový jazyk vyvinutý výslovně pro implementaci výzkumu umělé inteligence (AI). V průběhu své práce na Logice, Teoretik a GPS, dva brzy AI programy, Allen Newell a J. Clifford Shaw z Rand Corporation a Herbert Simon z Carnegie Mellon University vyvinuli jejich Zpracování Informací Language (IPL), počítačový jazyk na míru pro AI programování. Jádrem IPL byla vysoce flexibilní datová struktura, kterou nazývali seznam., Seznam je jednoduše uspořádaná posloupnost položek dat. Některé nebo všechny položky v seznamu mohou být samy o sobě seznamy. Tato schéma vede k bohatě větveným strukturám.
V roce 1960, John McCarthy, počítačový vědec na Massachusetts Institute of Technology (MIT), v kombinaci prvků IPL s lambda kalkul (formální matematicko-logický systém) k výrobě programovací jazyk LISP (List Processor), který zůstává hlavním jazykem pro AI pracovat ve Spojených Státech., (Lambda kalkul sám byl vynalezen v roce 1936 na Univerzitě v Princetonu logik Alonzo Church, zatímco on vyšetřuje abstraktní Entscheidungsproblem, nebo „rozhodovací problém,“ pro predikátový kalkul—stejný problém, že Britský matematik a logik Alan Turing byl útočí, když vynalezl univerzální Turingův stroj.)
logický programovací jazyk PROLOG (Programmation en Logique) byl koncipován Alain Colmerauer na Univerzitě Aix-Marseille, Francie, kde jazyk byl poprvé realizován v roce 1973., PROLOG byl dále rozvíjen logikem Robertem Kowalskim, členem skupiny AI na univerzitě v Edinburghu. Tento jazyk využívá výkonný věta-proving techniky známé jako rozlišení, vynalezl v roce 1963 v USA Komise pro Atomovou Energii je Argonne National Laboratory v Illinois, Britský logik Alan Robinson. PROLOG může určit, zda dané prohlášení logicky vyplývá z jiných daných prohlášení., Například vzhledem k výrokům „všichni logici jsou racionální“ a „Robinson je logik“, program PROLOG reaguje kladně na dotaz “ Robinson je racionální?“PROLOG je široce používán pro práci s umělou inteligencí, zejména v Evropě a Japonsku.
vědci z Institutu pro výpočetní techniku nové generace v Tokiu použili PROLOG jako základ pro sofistikované logické programovací jazyky. Známé jako jazyky páté generace, které se používají na nenumerických paralelních počítačích vyvinutých v Ústavu.,
další nedávná práce zahrnuje vývoj jazyků pro uvažování o časově závislých datech, jako je „účet byl zaplacen včera.“Tyto jazyky jsou založeny na napjaté logice, která umožňuje, aby příkazy byly umístěny v toku času. (Napjatá logika byla vynalezena v roce 1953 filozofem Arthurem Priorem na univerzitě v Canterbury, Christchurch, Nový Zéland.)
Napsat komentář