Vznik "Prologu" byl způsoben vývojem logiky, matematiky a programování. Poslední hraje nejdůležitější roli. Specialisté v logice a matematice se pokoušejí programovat na "správné cestě", ale rozvoj informačních technologií ukázal úplně jiný výsledek. Pragmatické imperativní programování se ukázalo jako slibnější. "Prolog" jako programovací jazyk se uskutečnil, ale základ pro umělou inteligenci se nestal.

Klasické programování proti logice

Člověk dělá obtížné rozhodnutí logicky a rozumně. Téměř bez přemýšlení přichází osoba inteligentně. Pokud nezohledňujete rozhodnutí, která vyžadují shromažďování informací, jejich analýzu a složité výpočty, pak jakýkoli výsledek - je to rychlé, přesné a rozumné.


Tato skutečnost vždy dala iluzorní základ, aby zvážila vytvoření nástroje pro rozhodování jako jednoduchou záležitost. S příchodem "Prologu" se zdálo, že otázka umělé inteligence - věc technologie a chytrý člověk přišel se třemi zákony robotiky. Umělá inteligence však zůstala jako duch a tři zákony robotiky pocházejí z pohádky - "Udělej to, nevím co." Programování v klasickém smyslu slova (často používající termíny "procedurální", "imperativní" nebo "funkční") vyvinulo a úspěšně překonalo "plaché časy" 80. a 90. let, kdy programovací jazyk byl nesčetný. Demonstrační boj mezi Pascalem a Xi trval dlouhou dobu, byl krutý, ale skončilneutrální a tichý. Zůstala myšlenka na dobrý programovací jazyk a některé úspěšné jeho implementace. Nelze říci, že Prolog jako programovací jazyk se nevyvíjel. Ale nedosáhl stanovených cílů. V současné době, nemůžete prostě říct, ale dokázat, „Prologue“ - jazyk pro akademické:

Cíle učení;

predikátová logika;

matematika;

Úzká aplikace.

Je pochybné, že toto tvrzení lze popřít. Umělá inteligence - je nejen široce používán, ale příliš vážné události, které radikálně mění společenský řád a obraz světa.


Programovací jazyk Prolog „Umělá inteligence se nestalo, po více než čtyřicetileté historii jazyka nebylo zcela nové, které se týkají akcí souvisejících s veřejným povědomím naznačují jinak Objektivní realita je toto:. Nepřežijí tak silný, jak populární a relevantní

„Prologue.“ - to deklarativní programování

mají nástroje popis faktů a pravidel - v pořádku, ale co to má smysl skutečností a pravidla dobře ležet v normálním databázi kvalifikovaný klasický programátor poskytuje interaktivní dialog?. Uživatel, a ten vyřeší jejich problém. Je-li to nutné dialog dokončuje programátor a uživatel dokončí databázi faktů a pravidel. Má pracovní a testovány v průběhu desetiletí z provedení masy jsou řešeny a úkolů deklarativní prohlášení o skutečnostech a stanoví prováděcí pravidla k libovolném programovacím jazyce „Prologue“ - konvenci, pokus formalizovat svou realituintelektuální stát. Normální programování se nedotýká intelektu. Klasické programování vyhovuje pozici: popisu a zpracování dat. Tam je spousta problémů, ale existuje mnoho skvělých a pracovních řešení.
"Prolog" jako programovací jazyk jsou skutečnosti:

maminka Maria, Natalia); - Marie - matka Natashy;

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

Zde se okamžitě objevuje skutečnost: "Mary" a "Marina" - jiná jména. Není nic, co by bránilo tomu:

otec (Eugene, Marie); - Eugene je otcem Marie.

Tyto popisy poskytují pravidla života:

otec (x, y)

otec (x, y) Ale nedovolují, abychom dospěli k závěru, že papež je otcem Marina a Marina je matka Marie. Tento problém je řešitelný, lze přidat ještě jedno pravidlo, další fakt je přidán. Ale kolik takových opatření by mělo být provedeno v reálné situaci? Ve skutečnosti je "Prologue" jako programovací jazyk příkladem deklarace faktů a pravidel, ale ne logika, na kterou si zvyklo vědomí klasického programátora. "Prologue" se staví jako jazyk predikátové logiky, ale učení se programovat může být pouze příklady a příklady popisů od vývojářů konkrétní implementace jazyka.

Rodina prologů

Francie je považována za rodné místo proletariátu a rok 1973 je rokem narození. Zájem o jazyk pravidelně obnovoval, ale s záviděníhodnou stabilitou ustoupil. Motto je: "Logika predikátů je elementární! To je způsob, jak vysvětlit, jak funguje myšlení "- a zůstalo mottem.
Jakákoli implementace programovacího jazyka "Prologue" přísně dodržovala logiku predikátů, ale vždy zahrnovala klasickounápady procedurálního programování. Je správnější říci "imperativ", protože tento termín je používán formálnější než procedurální, funkční, objektově orientovaný nebo jiný.

Každé programování je datové a zpracování. Jazykové struktury by mělo být možné přesně popsat problém vyřešit, je důvod, proč všechny známé implementace „prologu“: Turbo Prologu, Win Prolog, Prolog sterilní vody pro injekce, GNU Prolog, Visual Prolog a další - mají kromě deklarativní konstrukcí konvenčních naléhavých výkazů. Předpokládá se, že rodina „Prolohov“ vyvinutý v akademických a výzkumných organizacích a v důsledku společného jazyka můžeme hovořit pouze v koncepčním smyslu. Nicméně skutečnost, že pojem „prologu“ žije a roste, lze považovat, v jazyce prostor, a požadoval konkrétní řadu úkolů.

na bázi umělé inteligence

Zájem o umělé inteligenci nikdy oslabena, jen začít mluvit o tom, kdy je ještě jeden důvod, ale nikdy „Prologue“ není spojen s umělou inteligencí, než je obvyklé klasické programovací jazyk. Koncem osmdesátých let byl skutečný, relevantní a požadovaný intelektuální projekt "Inventive machine". Došlo k opravdovému pokusu o použití "Prologu", který formalizoval rozsáhlé praktické znalosti (data) vynálezy, fyzické, chemické a jiné zákony.

Výsledek nebyl dosažen také třeba zapsat do „prologu“ jako programovací jazyk, který je samozřejmostí povinné mnoho faktů a pravidel. MezitímSouběžně byla realizována řada úspěšných softwarových produktů v běžných jazycích.

V polovině 90. let bylo úspěšné projekty real inteligentní systém, který simuluje chování dítěte do 3 let do jazyka symbolických instrukcí ES EVM! Použití Prologu nebylo ani zváženo. Tento inteligentní systém nejen „uvažoval,“ co Mami, tati, a liší se od Marina Maria, ale bez namáhání sami pereskochyla získaných poznatků o těchto záležitostech k míči a jejich odlišnosti od kostek na objekty a barev (!) na elementární matematiky: prostý aritmetický to dokázal silami na základě poznatků získaných při řešení úplně jiné problémy. Lze tvrdit, že klasický programovací dopředu „Prolog“, pokud jde o vývoj v oblasti umělé inteligence, ale dává skutečné výsledky. Co se týče inteligence jako úkolu - možná to není problém v jazyce, ale při realizaci této myšlenky. Pokud Assembler 1991 by mohly být základem „pro situační zpravodajského inteligentní systém, je otázka zjevně není v implementaci jazyků a nápady.