mesterséges intelligencia programozási nyelv, kifejezetten a mesterséges intelligencia (AI) kutatás végrehajtására kifejlesztett számítógépes nyelv. A tanfolyam a munka a Logika Teoretikus, majd a GPS-két korai AI programok, Allen Newell J. Clifford Shaw, a Rand Corporation Herbert Simon, a Carnegie Mellon Egyetemen fejlesztették az Információ-Feldolgozó Nyelv (IPL), a számítógépes nyelv szabott AI programozás. Az IPL középpontjában egy rendkívül rugalmas adatstruktúra volt, amelyet listának hívtak., A lista egyszerűen egy rendezett adatsor. Néhány vagy az összes elem a listában maguk is listák. Ez a rendszer gazdag elágazó szerkezetekhez vezet.
1960-Ban John McCarthy, egy számítógép tudós, a Massachusetts Institute of Technology (MIT), kombinált elemek IPL a lambda-kalkulus (formális, matematikai-logikai rendszer), hogy készítsen a LISP programozási nyelv (Lista Processzor), amely továbbra is a fő nyelv AI munkát az Egyesült Államokban., (Maga a lambda kalkulust 1936—ban találta ki a Princetoni Egyetem logikusa, Alonzo Church, miközben az absztrakt Entscheidungsproblem, vagy a “döntési probléma” predikátum kalkulus-ugyanazt a problémát, amelyet Alan Turing brit matematikus és logikus támadott, amikor feltalálta az univerzális Turing gépet.)
a PROLOG (Programmation en Logique) logikai programozási nyelvet Alain Colmerauer a franciaországi Aix-Marseille-i Egyetemen dolgozta ki, ahol a nyelvet először 1973-ban hajtották végre., A PROLOGOT tovább fejlesztette Robert Kowalski logikus, az Edinburgh-i Egyetem AI csoportjának tagja. Ez a nyelv egy erőteljes tétel-bizonyító technikát használ, amelyet felbontás néven ismertek, amelyet 1963-ban találtak fel az amerikai Atomenergia-Bizottság Argonne Nemzeti laboratóriumában Illinois-ban, Alan Robinson Brit logikus által. PROLOG meg tudja határozni, hogy egy adott kijelentés logikusan következik-e más adott kijelentésekből., Például, mivel a kijelentések “minden logicians racionális” és “Robinson egy logician,” a PROLOG program válaszol igenlő a lekérdezés ” Robinson racionális?”PROLOG széles körben használják az AI munka, különösen Európában és Japánban.
a Tokiói újgenerációs számítástechnikai Intézet kutatói a PROLOGOT használták a kifinomult logikai programozási nyelvek alapjaként. Az ötödik generációs nyelvként ismert, ezeket az intézetben kifejlesztett nem numerikus párhuzamos számítógépeken használják.,
egyéb friss munka magában foglalja a nyelvek fejlesztését az időfüggő adatok érvelésére,például: “a számlát tegnap fizették.”Ezek a nyelvek feszült logikán alapulnak, amely lehetővé teszi a kijelentések elhelyezését az idő áramlásában. (A feszült logikát 1953-ban Arthur Prior filozófus találta ki az Új-zélandi Canterburyi Egyetemen, Christchurchben.)
Vélemény, hozzászólás?