kunstig intelligens programmeringssprog, et computersprog udviklet udtrykkeligt til implementering af kunstig intelligens (AI) forskning. I løbet af deres arbejde på den Logik, Teoretiker og GPS, to tidlige AI-programmer, Allen Newell og Clifford J. Shaw af Rand Corporation og Herbert Simon fra Carnegie Mellon University, som er udviklet deres Behandling af Oplysninger Sprog (IPL), er et computer-sprog, som er skræddersyet til AI-programmering. I hjertet af IPL var en meget fleksibel datastruktur, som de kaldte en liste., En liste er simpelthen en ordnet sekvens af dataelementer. Nogle eller alle elementerne i en liste kan selv være lister. Denne ordning fører til rigt forgrenede strukturer.
I 1960 John McCarthy, en computer, forsker ved Massachusetts Institute of Technology (MIT), der kombineret elementer af IPL med lambda calculus (en formel matematisk-logiske system) til at producere programmeringssproget LISP (Liste Processor), som fortsat er det primære sprog for AI arbejde i Usa., (Lambda calculus selv blev opfundet i 1936 af Princeton University logician Alon .o kirke, mens han var at undersøge det abstrakte Entscheidungsproblem, eller “beslutning problem,” for prædikat calculus—det samme problem, at den britiske matematiker og logician Alan Turing havde angrebet, da han opfandt den universelle Turing maskine.)
det logiske programmeringssprog PROLOG (Programmation en logi .ue) blev udtænkt af Alain Colmerauer ved University of AI.-Marseille, Frankrig, hvor sproget først blev implementeret i 1973., PROLOG blev videreudviklet af logikeren Robert Ko .alski, et medlem af AI-gruppen ved University of Edinburgh. Dette sprog gør brug af en kraftfuld sætning-beviser teknik kendt som resolution, opfundet i 1963 på den amerikanske atomenergikommission ‘ s Argonne National Laboratory i Illinois af den britiske logiker Alan Robinson. PROLOG kan afgøre, om en given erklæring følger logisk fra andre givne udsagn., For eksempel, i betragtning af udsagnene “alle logikere er rationelle” og “Robinson er en logiker”, svarer et PROLOG-program bekræftende på forespørgslen “Robinson er rationel?”PROLOG er meget udbredt til AI arbejde, især i Europa og Japan .
forskere ved Institute for Ne.Generation Computer Technology i Tokyo har brugt PROLOG som grundlag for sofistikerede logiske programmeringssprog. Kendt som femte generation sprog, disse er i brug på nonnumerical parallelle computere udviklet på instituttet.,
andet nyligt arbejde inkluderer udvikling af sprog til ræsonnement om tidsafhængige data som “kontoen blev betalt i går.”Disse sprog er baseret på spændt logik, som tillader udsagn at være placeret i tidens strøm. (Spændt logik blev opfundet i 1953 af filosofen Arthur Prior ved University of Canterbury, Christchurch, ne..ealand.)
Skriv et svar