język programowania sztucznej inteligencji-język komputerowy opracowany specjalnie do realizacji badań nad sztuczną inteligencją (AI). W trakcie pracy nad logiką teoretyk i GPS, dwa wczesne programy AI, Allen Newell i J. Clifford Shaw z Rand Corporation i Herbert Simon z Carnegie Mellon University opracowali język przetwarzania informacji (IPL), język komputerowy dostosowany do programowania AI. Sercem IPL była bardzo elastyczna struktura danych, którą nazwali listą., Lista jest po prostu uporządkowaną sekwencją pozycji danych. Niektóre lub wszystkie pozycje na liście mogą być listami. Ten schemat prowadzi do bogato rozgałęziających się struktur.
w 1960 roku John McCarthy, informatyk z Massachusetts Institute of Technology (MIT), połączył elementy IPL z lambda calculus (formalnym systemem matematyczno-logicznym), aby wyprodukować język programowania LISP (procesor listy), który pozostaje głównym językiem pracy AI w Stanach Zjednoczonych., (Sam rachunek lambda został wynaleziony w 1936 roku przez logika Uniwersytetu Princeton Alonzo Churcha, podczas gdy badał abstrakcyjny Entscheidungsproblem, czyli „problem decyzyjny” dla rachunku predykatów—ten sam problem, który brytyjski matematyk i logik Alan Turing atakował, gdy wynalazł uniwersalną maszynę Turinga.)
język programowania logicznego PROLOG (Programmation en Logique) został stworzony przez Alaina Colmerauera na Uniwersytecie Aix-Marseille we Francji, gdzie język został po raz pierwszy zaimplementowany w 1973 roku., PROLOG został opracowany przez logistę Roberta Kowalskiego, członka grupy AI na Uniwersytecie w Edynburgu. Język ten wykorzystuje potężną technikę potwierdzania twierdzeń znaną jako rozdzielczość, wynalezioną w 1963 roku w Argonne National Laboratory Amerykańskiej Komisji Energii Atomowej w Illinois przez brytyjskiego logistę Alana Robinsona. PROLOG może określić, czy dana Instrukcja wynika logicznie z innych podanych instrukcji., Na przykład, biorąc pod uwagę stwierdzenia „wszyscy logicy są racjonalni” i „Robinson jest logikiem”, program PROLOG odpowiada twierdząco na zapytanie „Robinson jest racjonalny?”PROLOG jest szeroko stosowany do pracy z SI, szczególnie w Europie i Japonii.
naukowcy z Institute for New Generation Computer Technology w Tokio wykorzystali PROLOG jako podstawę zaawansowanych logicznych języków programowania. Znane jako języki piątej generacji, są one używane na nonnumerycznych komputerach równoległych opracowanych w Instytucie.,
Inne ostatnie prace obejmują rozwój języków do rozumowania o danych zależnych od czasu, takich jak „konto zostało wypłacone wczoraj.”Języki te opierają się na napiętej logice, która pozwala na umiejscowienie wypowiedzi w przepływie czasu. (Logika napięta została wynaleziona w 1953 roku przez filozofa Arthura Priora z University Of Canterbury, Christchurch, Nowa Zelandia.)
Dodaj komentarz