programmeringsspråk för artificiell intelligens, ett datorspråk som utvecklats uttryckligen för att genomföra artificiell intelligens (AI) forskning. Under sitt arbete med Logikteoretiker och GPS utvecklade två tidiga AI-program, Allen Newell och J. Clifford Shaw från Rand Corporation och Herbert Simon från Carnegie Mellon University sitt Informationsbehandlingsspråk (IPL), ett datorspråk anpassat för AI-programmering. Kärnan i IPL var en mycket flexibel datastruktur som de kallade en lista., En lista är helt enkelt en ordnad sekvens av dataobjekt. Vissa eller alla objekt i en lista kan själva vara listor. Detta system leder till rikt förgreningsstrukturer.
1960 John McCarthy, en datavetare vid Massachusetts Institute of Technology (MIT), kombinerade delar av IPL med lambda calculus (ett formellt matematiskt-logiskt system) för att producera programmeringsspråket LISP (list Processor), som fortfarande är huvudspråket för AI-arbete i USA., (Lambda-kalkylen själv uppfanns 1936 av Princeton University logiker Alonzo Church medan han undersökte det abstrakta Entscheidungsproblemet eller ”beslutsproblemet” för predikatkalkyl—samma problem som den brittiska matematikern och logikern Alan Turing hade attackerat när han uppfann den universella turingmaskinen.prolog (Programmation en Logique)var tänkt av Alain Colmerauer vid universitetet i Aix-Marseille, Frankrike, där språket först genomfördes 1973., PROLOG utvecklades vidare av logikern Robert Kowalski, medlem i AI-gruppen vid University of Edinburgh. Detta språk använder sig av en kraftfull teorem-proving teknik som kallas resolution, uppfanns i 1963 vid US Atomic Energy Commission Argonne National Laboratory i Illinois av den brittiska logiker Alan Robinson. PROLOG kan avgöra om ett visst uttalande följer logiskt från andra givna uttalanden., Till exempel, med tanke på uttalandena ”alla logiker är rationella” och ”Robinson är en logiker”, svarar ett PROLOG-program jakande på frågan ”Robinson är rationell?”PROLOG används ofta för AI arbete, särskilt i Europa och Japan.
forskare vid Institute for new Generation Computer Technology i Tokyo har använt PROLOG som grund för sofistikerade logiska programmeringsspråk. Kallas femte generationens språk, Dessa används på icke-numeriska parallella datorer som utvecklats vid Institutet.,
andra senaste arbeten inkluderar språkutveckling för resonemang om tidsberoende data som ”kontot betalades igår.”Dessa språk är baserade på spänd logik, vilket gör att uttalanden kan placeras i tidens gång. (Spänd logik uppfanns 1953 av filosofen Arthur Före vid University of Canterbury, Christchurch, Nya Zeeland.)
Lämna ett svar