Pojawienie się "Prologu" wynikało z rozwoju logiki, matematyki i programowania. Ostatnia grała najważniejszą rolę. Specjaliści od logiki i matematyki próbowali umieścić programowanie na "poprawnej ścieżce", ale rozwój technologii informatycznych wykazał zupełnie inny rezultat. Pragmatyczne programowanie imperatywne okazało się bardziej obiecujące. "Prolog" jako język programowania, ale nie stała się podstawą sztucznej inteligencji.
Klasyczne programowanie przeciw logice
Człowiek podejmuje decyzje logicznie i racjonalnie. Niemal bez myślenia osoba przybywa inteligentnie. Jeśli nie bierzesz pod uwagę decyzji, które wymagają gromadzenia informacji, ich analizy i złożonych obliczeń, to wszelkie wyniki - są szybkie, dokładne i uzasadnione.
Ten fakt zawsze dawał iluzoryczną podstawę do uznania stworzenia instrumentu podejmowania decyzji za prostą sprawę. Wraz z nadejściem "Prologu" wydawało się, że kwestia sztucznej inteligencji - kwestia technologii i sprytna osoba wymyśliła trzy prawa robotyki. Jednak sztuczna inteligencja pozostała duchem, a trzy prawa robotyki pochodziły z bajki - "Zrób to, nie wiem co". Programowanie w klasycznym znaczeniu tego słowa (często za pomocą terminów "procedural", "imperative" lub "functional") rozwijało i skutecznie przezwyciężyło "nieśmiałe czasy" lat 80. i 90., kiedy język programowania był niezliczony. Demonstracyjna walka pomiędzy Pascalem a Xi trwała długo, była okrutna, ale się skończyłaneutralny i cichy. Pozostał pomysł dobrego języka programowania i niektóre udane jego realizacji. Nie możemy powiedzieć, że „Prolog” jako język programowania opracowany. Ale nie osiągnął wyznaczonych celów. Dzisiaj nie można po prostu powiedzieć, ale udowodnić „Prolog” - język dla akademicki:
cele nauczania;
logika predykatów;
matematyka;
Wąski wniosek.
Jest wątpliwe, że stwierdzenie to może być obalone. Sztuczna inteligencja - jest nie tylko powszechnie stosowane, ale zbyt poważne wydarzenie, które radykalnie zmienia porządek społeczny i obraz świata.
język programowania Prolog „Sztuczna inteligencja nie stało, przez ponad czterdzieści lat historii języka nie było całkowicie nowe, istotne dla imprez uświadamiających sugerować inaczej obiektywna rzeczywistość jest taka:. Nie przetrwać tak silna, jak popularne i istotne
„Prolog”. - to programowanie deklaratywne
mają opis narzędzi faktów i zasad - w porządku, ale jaki jest sens faktów i reguł dobrze leżeć w normalnej bazy kwalifikowana klasyczny programista zapewnia interaktywny dialog?. użytkownika, a druga rozwiązuje ich problem. W razie potrzeby dialog finalizuje programista i użytkownik uzupełnia bazę faktów i zasad. Czy pracę i przetestowany przez dziesięciolecia Masy wykonań są rozwiązane i zadań.
deklaratywne zestawienie faktów i zasad wykonania dowolnego języka programowania „Prolog” - konwencję, próbę sformalizowania swoją rzeczywistośćstan intelektualny. Normalne programowanie nie dotyka intelektu. Programowanie klasyczne odpowiada pozycji: opis i przetwarzanie danych. Jest tu wiele problemów, ale istnieje wiele świetnych i działających rozwiązań. "Prolog" jako język programowania to fakty:
mama Maria, Natalia); - Maryja - matka Nataszy;
ojciec (Jewgienij, Marina); - Jewgienij jest ojcem Mariny.
Tutaj natychmiast okazuje się, że: "Mary" i "Marina" - różne imiona. Nic nie stoi na przeszkodzie, aby to uczynić:
ojciec (Eugeniusz, Maryja); - Eugene jest ojcem Maryi.
Te opisy podają zasady życia:
ojciec (x, y)
ojciec (x, y) Ale nie pozwalają nam dojść do wniosku, że papież jest ojcem Mariny, a Marina jest matką Maryi. Ten problem można rozwiązać, można dodać jeszcze jedną regułę, dodać jeszcze jeden fakt. Ale ile takich działań należy podjąć w rzeczywistej sytuacji? W rzeczywistości "Prolog" jako język programowania jest przykładem deklaracji faktów i reguł, ale nie logiki, do której przyzwyczaiła się świadomość klasycznego programisty. "Prolog" pozycjonuje się jako język logiki predykatów, ale uczenie się programowania może być tylko przykładami i przykładami opisów od twórców konkretnej implementacji językowej.
Rodzina Prologue
Francja jest uważana za miejsce narodzin proletariatu, a rok 1973 jest rokiem narodzin. Zainteresowanie językiem okresowo odnawiane, ale z godną pozazdroszczenia stabilność ustąpiła. Motto brzmi: "Logika predykatów jest elementarna! To jest sposób na wyjaśnienie, jak działa myślenie "- i pozostał motto. Każda implementacja języka programowania "Prolog" ściśle przestrzegała logiki predykatów, ale zawsze zawierała klasyczneproceduralne idee programowania. Poprawne powiedzieć „imperatyw” jako termin używany jest więcej niż formalności proceduralne, funkcjonalne, obiektowego lub w inny sposób.
Każdy programowania - do danych i przetwarzania. Struktury językowe powinno być możliwe, aby dokładnie opisać problem rozwiązany jest dlaczego wszystkie znane realizacja „Prologu”: Turbo Prologu, Win Prolog Prolog SWI, GNU Prolog, Visual Prolog i inne - mają, oprócz struktur deklaratywnych, konwencjonalne sprawozdania nadrzędnymi. Uważa się, że rodzina „Prolohov” opracowany w organizacjach naukowych i badawczych, a ze względu na wspólny język możemy mówić tylko w sensie koncepcyjnym. Jednakże fakt, że pojęcie „Prologu” żyje i rośnie, można uznać, w języku jest zakres, i zażądał określony zakres zadań.
oparty na sztucznej inteligencji
Zainteresowanie sztucznej inteligencji nigdy osłabione, po prostu zacząć mówić o tym, kiedy jest jeszcze jeden powód, ale nigdy „Prolog” nie wiąże się ze sztuczną inteligencją niż zwykle klasycznego języka programowania. W późnych latach 80-tych był prawdziwy, rzeczywisty popyt i inteligentny projekt „maszyna Yzobretayuschaya”. To była prawdziwa próba zastosowania „Prolog”, aby sformalizować ogromną praktyczną bazę wiedzy (dane) do wynalazków, fizycznych, chemicznych i innych ustaw.
Wynik nie został osiągnięty, zbyt wiele faktów i zasady muszą być napisane w „Prologu” jako język programowania, które są powszechne obowiązkowe. tymczasemRównocześnie masę udanych produktów oprogramowania wdrożono w zwykłych językach.
Na początku lat 90-tych było udane projekty prawdziwy inteligentny system, który symuluje zachowanie dziecka poniżej 3 lat w asemblerze ES EVM! Korzystanie z Prologu nie było nawet brane pod uwagę. Ten inteligentny system nie tylko „rozważał” co mama, tata, i różni się od Marina Maria, ale bez obciążania się pereskochyla nabytej wiedzy w tych kwestiach do piłki i ich różnic z kostkami do obiektów i kolorów (!) do matematyki elementarnej: prosta arytmetyka udowodnił sił na podstawie zdobytej wiedzy w rozwiązywaniu całkowicie różne problemy. Można argumentować, że klasyczne programowanie naprzód „Prolog” pod względem rozwoju sztucznej inteligencji, ale daje wymierne rezultaty. Odnośnie inteligencji jako problem - być może tu nie chodzi o to w języku, a realizacja tego pomysłu. Jeśli Assembler 1991 może być podstawą „dla sytuacyjnej inteligencji inteligentnego systemu, problem nie jest wyraźnie w realizacji języka i idei.
