Artificial intelligence programming language

Artificial intelligence programming language, een computertaal die speciaal is ontwikkeld voor het uitvoeren van artificial intelligence (AI) onderzoek. In de loop van hun werk aan de Logic Theorist en GPS, twee vroege AI-programma ‘ s, Allen Newell en J. Clifford Shaw van de Rand Corporation en Herbert Simon van Carnegie Mellon University ontwikkelden hun Information Processing Language (IPL), een computertaal op maat voor AI-programmering. De kern van IPL was een zeer flexibele datastructuur die ze een lijst noemden., Een lijst is gewoon een geordende reeks gegevensitems. Sommige of alle items in een lijst kunnen zelf lijsten zijn. Deze regeling leidt tot rijkelijk vertakkende structuren.

Britannica Quiz

Computers en technologie Quiz

Computers hosten websites die bestaan uit HTML en verzenden tekstberichten zo eenvoudig als…LOL. Hack in deze quiz en laat wat technologie tally uw score en onthullen de inhoud aan u.,in 1960 combineerde John McCarthy, een computerwetenschapper aan het Massachusetts Institute of Technology (MIT), Elementen van IPL met de lambda calculus (een formeel wiskundig-logisch systeem) om de programmeertaal LISP (List Processor) te produceren, die de belangrijkste taal blijft voor AI-werk in de Verenigde Staten., (De lambdarekening zelf werd uitgevonden in 1936 door de logicus Alonzo Church van de Princeton University, terwijl hij het abstracte Entscheidungsproblem, of “beslissingsprobleem” voor predicaatrekening onderzocht—hetzelfde probleem dat de Britse wiskundige en logicus Alan Turing had aangevallen toen hij de universele Turingmachine uitvond.de logic programming language PROLOG (Programmation en Logique) werd bedacht door Alain Colmerauer aan de Universiteit van Aix-Marseille, Frankrijk, waar de taal voor het eerst werd geïmplementeerd in 1973., PROLOG werd verder ontwikkeld door de logicus Robert Kowalski, een lid van de AI-groep aan de Universiteit van Edinburgh. Deze taal maakt gebruik van een krachtige theorem-proving techniek bekend als resolutie, uitgevonden in 1963 in het Argonne National Laboratory van de U. S. Atomic Energy Commission in Illinois door de Britse logicus Alan Robinson. PROLOG kan bepalen of een gegeven verklaring logisch volgt uit andere gegeven verklaringen., Bijvoorbeeld, gegeven de uitspraken “alle logici zijn rationeel” en “Robinson is een logicus”, reageert een PROLOG-programma bevestigend op de vraag “Robinson is rationeel?”PROLOG wordt veel gebruikt voor AI-werk, vooral in Europa en Japan.

onderzoekers van het Institute for New Generation Computer Technology in Tokyo hebben PROLOG gebruikt als basis voor geavanceerde logische programmeertalen. Deze talen, die bekend staan als talen van de vijfde generatie, worden gebruikt op niet-numerieke parallelle computers die door het instituut zijn ontwikkeld.,

krijg een Britannica Premium abonnement en krijg toegang tot exclusieve content. Subscribe Now

ander recent werk omvat de ontwikkeling van talen voor het redeneren over tijdsafhankelijke gegevens zoals “the account was paid yesterday.”Deze talen zijn gebaseerd op gespannen logica, die het mogelijk maakt uitspraken te vinden in de stroom van de tijd. (Gespannen logica werd uitgevonden in 1953 door de filosoof Arthur Prior aan de Universiteit van Canterbury, Christchurch, Nieuw-Zeeland.)

Geef een reactie Antwoord annuleren