inteligență artificială limbaj de programare, un limbaj de calculator dezvoltat în mod expres pentru punerea în aplicare a inteligenței artificiale (AI) de cercetare. În cursul activității lor asupra teoreticianului Logic și GPS, două programe AI timpurii, Allen Newell și J. Clifford Shaw de la Rand Corporation și Herbert Simon de la Universitatea Carnegie Mellon și-au dezvoltat limbajul de procesare a informațiilor (IPL), un limbaj de calculator adaptat pentru programarea AI. În centrul IPL a fost o structură de date extrem de flexibilă pe care au numit-o listă., O listă este pur și simplu o secvență ordonată de elemente de date. Unele sau toate elementele dintr-o listă pot fi ele însele liste. Această schemă duce la structuri bogat ramificate.
Britannica Test
Calculatoare și Tehnologia Test
Calculatoare gazdă site-uri compuse de HTML și trimite mesaje text la fel de simplu ca…LOL. Hack în acest test și lăsați unele corespund tehnologiei scorul dvs. și dezvăluie conținutul pentru tine.,în 1960 John McCarthy, un informatician de la Massachusetts Institute of Technology (MIT), a combinat elemente de IPL cu calculul lambda (un sistem matematic-logic formal) pentru a produce limbajul de programare LISP (List Processor), care rămâne limba principală pentru munca AI în Statele Unite., (Lambda calcul în sine a fost inventat în 1936 de către Universitatea Princeton logician Alonzo Church, în timp ce el a fost investigarea abstract Entscheidungsproblem, sau „probleme de decizie,” pentru predicatul de calcul este aceeași problemă pe care Englezii matematician și logician Alan Turing a fost atacat când a inventat mașină Turing universală.limbajul de programare logică PROLOG (Programmation en Logique) a fost conceput de Alain Colmerauer la Universitatea din Aix-Marseille, Franța, unde limba a fost implementată pentru prima dată în 1973., PROLOG a fost dezvoltat în continuare de logicianul Robert Kowalski, membru al grupului AI de la Universitatea din Edinburgh. Acest limbaj folosește o tehnică puternică de demonstrare a teoremei cunoscută sub numele de rezoluție, inventată în 1963 la Laboratorul Național Argonne al Comisiei pentru Energie Atomică din Illinois de către logicianul britanic Alan Robinson. PROLOG poate determina dacă o anumită afirmație urmează sau nu logic din alte declarații date., De exemplu, având în vedere afirmațiile „toți logicienii sunt raționali” și „Robinson este logician”, un program PROLOG răspunde afirmativ la interogarea „Robinson este rațional?”PROLOG este utilizat pe scară largă pentru munca AI, în special în Europa și Japonia.cercetătorii de la Institute for New Generation Computer Technology din Tokyo au folosit PROLOG ca bază pentru limbaje sofisticate de programare logică. Cunoscute sub numele de limbi de generația a cincea, acestea sunt utilizate pe computere paralele non-numerice dezvoltate la Institut.,obține un abonament Britannica Premium și obține acces la conținut exclusiv. Aboneaza-te acum
alte lucrări recente include dezvoltarea de limbi pentru raționament cu privire la datele dependente de timp, cum ar fi „contul a fost plătit ieri.”Aceste limbi se bazează pe logica tensionată, care permite ca declarațiile să fie localizate în fluxul timpului. (Logica tensionată a fost inventată în 1953 de filosoful Arthur Prior la Universitatea din Canterbury, Christchurch, Noua Zeelandă.)
Lasă un răspuns