Vznik "Prologu" bol spôsobený vývojom logiky, matematiky a programovania. Naposledy hrá najdôležitejšiu úlohu. Špecialisti v oblasti logiky a matematiky sa pokúsili naplánovať programovanie na "správnu cestu", ale rozvoj informačných technológií ukázal úplne iný výsledok. Pragmatické imperatívne plánovanie sa ukázalo byť sľubnejšie. "Prolog" ako programovací jazyk sa uskutočnil, ale základ pre umelú inteligenciu sa nestal.

Klasické programovanie proti logike

Človek robí zložité rozhodnutia logicky a rozumne. Takmer bez myslenia človek prichádza inteligentne. Ak neberiete do úvahy rozhodnutia, ktoré vyžadujú zber informácií, ich analýzu a zložité výpočty, potom akýkoľvek výsledok - je to rýchle, presné a rozumné.


Táto skutočnosť vždy poskytla iluzórny základ, aby zvážil vytvorenie nástroja na rozhodovanie ako jednoduchú záležitosť. S príchodom "Prologu" sa zdalo: otázka umelej inteligencie - vec technológie, a šikovný človek prišiel s troma zákonmi robotiky. Umelecká inteligencia však zostala duchom a tri príbehy robotiky prišli z rozprávky - "Urob to, neviem čo." Programovanie v klasickom zmysle slova (často používajúce termíny "procedurálne", "imperatívne" alebo "funkčné") vyvinulo a úspešne prekonalo "plachý čas" 80. a 90. rokov, keď programovací jazyk bol nespočetný. Demonštračný boj medzi Pascalom a Xi trval dlhý čas, bol krutý, ale skončilneutrálne a tiché. Zostal myšlienka dobrého programovacieho jazyka a niektoré jeho úspešné vykonávanie. Nemožno povedať, že Prolog ako programovací jazyk sa nevyvíjal. Ale nedosiahol stanovené ciele. V súčasnej dobe, nemôžete jednoducho povedať, ale dokázať, "Prologue" - jazyk pre akademické:

Ciele učenia;

predikátová logika;

matematika;

Úzka aplikácia.

Je pochybné, že toto tvrdenie môže byť odmietnuté. Umelá inteligencia - je nielen široko používaný, ale príliš vážne udalosti, ktoré radikálne mení spoločenský poriadok a obraz sveta.


Programovací jazyk Prológ "Umelá inteligencia sa nestalo, po viac ako štyridsaťročnej histórii jazyka nebolo celkom nové, ktoré sa týkajú akcií zameraných na verejné povedomie naznačujú inak Objektívna realita je toto :. neprežije tak silný, ako populárne a relevantné

"Prologue." - to deklaratívne programovanie

majú nástroje opis faktov a pravidiel - v poriadku, ale čo to má zmysel skutočnosťou a pravidlá dobre ležať v normálnom databáze kvalifikovaný klasický programátor poskytuje interaktívne dialóg ?. Používateľ, a ten vyrieši ich problém. Ak je to potrebné dialóg dokončuje programátor a užívateľ dokončí databázu faktov a pravidiel. Má pracovné a testované v priebehu desaťročí z prevedení masy sú riešené a úloh deklaratívne vyhlásenia o skutočnostiach a pravidlách uplatňovania ľubovoľnom programovacom jazyku "Prologue" - konvencii, pokus formalizovať svoju realituintelektuálny štát. Normálne programovanie sa nedotýka intelektu. Klasické programovanie vyhovuje pozícii: popis a spracovanie údajov. Je tu veľa problémov, ale existuje veľa brilantných a pracovných riešení.
"Prolog" ako programovací jazyk je fakty:

mama Maria, Natalia); - Mária - matka Nataša;

otec (Jevgenij, Marina); - Jevgenij je otec Marina.

Tu sa okamžite ukáže skutočnosť: "Mary" a "Marina" - rôzne mená. Nie je nič, čo by bránilo tomu, aby:

otec (Eugene, Mary); - Eugene je otcom Márie.

Tieto popisy poskytujú pravidlá života:

otec (x, y)

otec (x, y) Ale neumožňujú dospieť k záveru, že pápež je otec Marina a Marina je matka Márie. Tento problém je riešiteľný, je možné pridať ďalšie pravidlo a pridať ďalší fakt. Ale koľko takýchto opatrení by malo byť vykonané v skutočnej situácii? V skutočnosti je "Prologue" ako programovací jazyk príkladom deklarácie faktov a pravidiel, ale nie logika, na ktorú si zvyklo vedomie klasického programátora. "Prologue" sa postaví ako jazyk predikátovej logiky, ale učenie sa programovať môže byť iba príkladmi a príkladmi popisov vývojárov konkrétnej implementácie jazyka.

Rodina prologov

Francúzsko sa považuje za rodisko proletariátu a rok 1973 je rokom narodenia. Záujem o jazyk pravidelne obnovoval, ale so závidiacou stabilitou ustúpil. Motto je: "Logika predikátov je základná! Toto je spôsob, ako vysvetliť, ako funguje myslenie "- a zostalo mottom.
Akákoľvek implementácia programovacieho jazyka "Prologue" prísne dodržiavala logiku predikátov, ale vždy zahŕňala klasickýmyšlienky procedurálneho programovania. Je správnejšie povedať "imperatív", pretože tento termín sa používa viac formálne ako procedurálne, funkčné, objektovo orientované alebo iné.

Každé programovanie je dátové spracovanie. Jazykové štruktúry by malo byť možné presne popísať problém vyriešiť, je dôvod, prečo všetky známe implementácia "prológu": Turbo Prológu, Win Prolog, Prológ sterilnej vody pre injekcie, GNU Prolog, Visual Prolog a ďalšie - majú okrem deklaratívny konštrukcií konvenčných naliehavých výkazov. Predpokladá sa, že rodina "Prologues" sa rozvíja v akademických a výskumných organizáciách, a preto ako všeobecný jazyk možno hovoriť len v koncepčnom zmysle. Avšak skutočnosť, že pojem "prológu" žije a rastie, možno považovať, v jazyku priestor, a požadoval konkrétny rad úloh.

na báze umelej inteligencie

Záujem o umelej inteligencii nikdy oslabená, len začať hovoriť o tom, kedy je ešte jeden dôvod, ale nikdy "Prologue" nie je spojený s umelou inteligenciou, ako je obvyklé klasické programovací jazyk. Koncom 80. rokov bol skutočným, relevantným a požadovaným intelektuálnym projektom "Inventive machine". Bol uskutočnený skutočný pokus použiť "Prologue" na formalizáciu obrovských praktických vedomostných (dátových) vynálezov, fyzických, chemických a iných zákonov.

Výsledok nebol dosiahnutý tiež treba zapísať do "prológu" ako programovací jazyk, ktorý je samozrejmosťou povinné mnoho faktov a pravidiel. medzitýmParalelne sa množstvo úspešných softvérových produktov implementovalo v bežných jazykoch.

V polovici 90. rokov bolo úspešné projekty real inteligentný systém, ktorý simuluje správanie dieťaťa do 3 rokov do jazyka symbolických inštrukcií ES EVM! Použitie Prologu sa ani nebralo do úvahy. Tento inteligentný systém nielen "uvažoval," čo Mami, oci, a líši sa od Marina Maria, ale bez namáhania sami pereskochyla získaných poznatkov o týchto záležitostiach k lopte a ich odlišnosti od kociek na objekty a farieb (!) na elementárnu matematiku: jednoduché aritmetické operácie boli jej silné stránky na základe poznatkov získaných pri riešení úplne odlišných úloh. Možno argumentovať, že klasické programovanie je pred "Prologom" ako súčasť vývoja umelej inteligencie, ale prináša skutočné výsledky. Čo sa týka inteligencie ako úlohy - možno, otázka tu nie je v jazyku, ale v implementácii myšlienky. Ak by sa zostavovateľ z roku 1991 mohol stať základom "pre intelektuálny systém situačnej inteligencie, potom otázka jasne nespočíva v jazyku implementácie, ale v myšlienke.