Kunstig intelligens programming language, en datamaskin språk utviklet uttrykkelig for implementering av kunstig intelligens (AI) forskning. I løpet av sitt arbeid på Logikk Teoretiker og GPS, to tidlige AI programmer, Allen Newell og J. Clifford Shaw av Rand Corporation og Herbert Simon av Carnegie Mellon University utviklet sin informasjonsbehandling Språk (IPL), en datamaskin språk skreddersydd for AI programming. I hjertet av IPL var en svært fleksibel data struktur som de kalte en liste., En liste er rett og slett en ordnet sekvens av elementer av data. Noen av eller alle elementer i en liste, kan i seg selv være lister. Denne ordningen fører til en svært omfattende strukturer.
I 1960 John McCarthy, en forsker ved Massachusetts Institute of Technology (MIT), kombinert elementer av IPL med lambda kalkulus (en formell matematisk-logisk system) til å produsere programmeringsspråket LISP (Liste-Prosessor), som fortsatt er det viktigste språket for AI arbeid i Usa., (Lambda-kalkulus i seg selv ble oppfunnet i 1936 ved Princeton University logician Alonzo Church mens han var å undersøke abstrakte Entscheidungsproblem, eller «avgjørelse problem,» for prediktive kalkulus—det samme problemet som den Britiske matematikeren og logician Alan Turing hadde vært å angripe når han oppfant den universelle Turing maskinen.)
logikken programmeringsspråket PROLOG (Programmation no Logique) ble unnfanget av Alain Colmerauer ved University of Aix-Marseille i Frankrike, hvor språket ble innført i 1973., PROLOG ble utviklet videre av logician Robert Kowalski, medlem av AI gruppe ved University of Edinburgh. Dette språket gjør bruk av en kraftig teorem-beviser teknikk kjent som oppløsning, oppfunnet i 1963 i USA Atomic Energy Commission ‘ s Argonne National Laboratory i Illinois av den Britiske logician Alan Robinson. PROLOG kan avgjøre om et gitt uttalelse følger logisk fra andre gitt uttalelser., For eksempel, gitt uttalelser «Alle logicians er rasjonelle» og «Robinson er en logician,» et PROLOG-program svarer bekreftende til spørringen «Robinson er rasjonelle?»PROLOG er mye brukt for AI arbeid, spesielt i Europa og Japan.
Forskere ved Institutt for Nye Generasjon informasjonsteknologi i Tokyo har brukt PROLOG som grunnlag for sofistikerte logikk programmeringsspråk. Kjent som femte generasjons språk, og disse er i bruk på nonnumerical parallelle datamaskiner utviklet ved Instituttet.,
Andre nylige arbeidet omfatter utvikling av språk for begrunnelsen om tidsavhengig data, for eksempel «kontoen ble betalt i går.»Disse språkene er basert på spente logikk, som gjør det mulig å uttalelser for å være lokalisert i flyten av tid. (Spent logikk ble oppfunnet i 1953 av filosofen Arthur Før ved University of Canterbury, Christchurch, New Zealand.)
Legg igjen en kommentar