tekoälyn ohjelmointi kieli, tietokoneen kieli on kehitetty nimenomaan täytäntöön tekoäly (AI) tutkimus. Aikana työnsä Logic Theorist ja GPS, kaksi aikaisin AI ohjelmia, Allen Newell ja J. Clifford Shaw ’ n ja Rand Corporation ja Herbert Simon Carnegie Mellon-Yliopistossa kehitetty niiden Information Processing Language (IPL), tietokoneen kieli räätälöity AI ohjelmointi. IPL: n ytimessä oli erittäin joustava tietorakenne, jota he kutsuivat listaksi., Luettelo on yksinkertaisesti tilattu sarja tietoja. Osa tai kaikki listan kohteet voivat olla itse listoja. Tämä järjestelmä johtaa runsaasti haarautuviin rakenteisiin.
Vuonna 1960 John McCarthy, tietokone, tutkija Massachusetts Institute of Technology (MIT), yhdistetty elementtejä IPL kanssa lambda calculus (virallinen matemaattis-looginen järjestelmä) tuottaa ohjelmointikieli LISP (List Processor), joka on edelleen pääasiallinen kieli AI työskennellä yhdysvalloissa., (Lambda calculus itse keksittiin vuonna 1936, jonka Princeton University loogikko Alonzo Church, kun hän tutki abstrakteja Entscheidungsproblem, tai ”päätös ongelma” predikaattilogiikka—sama ongelma, että Brittiläinen matemaatikko ja loogikko Alan Turing oli ollut hyökkää, kun hän keksi, että yleispalvelun Turing-kone.)
logiikka ohjelmointikieli PROLOG (Programmation en Logique) sikisi Alain Colmerauer University of Aix-Marseille, Ranska, jossa kieltä toteutettiin ensimmäisen kerran vuonna 1973., Prologia kehitti edelleen Edinburghin yliopiston AI-ryhmään kuulunut loogikko Robert Kowalski. Tämä kieli käyttää voimakas lause-todistaen, että tekniikka tunnetaan päätöslauselman, keksi vuonna 1963 YHDYSVALTAIN atomienergiakomissio on Argonne National Laboratoriossa Illinoisissa, jota Brittiläinen loogikko Alan Robinson. PROLOG voi määrittää, noudattaako tietty lausuma loogisesti muita annettuja lausumia., Esimerkiksi, kun otetaan huomioon lausunnot ”Kaikki logicians ovat rationaalisia” ja ”Robinson on loogikko,” a PROLOG-ohjelma vastaa myöntävästi kyselyyn ”Robinson on järkevä?”PROLOG on laajalti käytössä TEKOÄLYTYÖSSÄ, erityisesti Euroopassa ja Japanissa.
Tutkijat Instituutin Uuden Sukupolven tietotekniikan Tokiossa on käytetty PROLOG perustana hienostunut logiikka ohjelmointi kielillä. Tunnetaan viidennen sukupolven kielillä, nämä ovat käytössä nonnumerical rinnakkain tietokoneet kehitetty Instituutissa.,
muihin viimeaikaisiin teoksiin kuuluu kielten kehittäminen ajallisesti riippuvaisten tietojen kuten ”tili maksettiin eilen.”Nämä kielet perustuvat jännittyneeseen logiikkaan, jonka avulla lausumat voidaan sijoittaa ajanvirtaan. (Kireä logiikka keksittiin vuonna 1953 filosofi Arthur Prior Canterburyn yliopistossa Christchurchissa Uudessa-Seelannissa.)
Vastaa