"Пролог" е език за програмиране или основа на изкуствен интелект

Появата на "Пролога" се дължи на развитието на логиката, математиката и програмирането. Последната играе най-важната роля. Специалистите по логика и математика се опитват да поставят програмирането на "правилния път", но развитието на информационните технологии е показало съвсем различен резултат. Прагматичното императивно програмиране се оказа по-обещаващо. "Пролог" като език за програмиране се е състоял, но основата за изкуствен интелект не стана.

Класическо програмиране срещу логика

Човек логично и разумно взема логични решения. Почти без мислене човек пристига интелигентно. Ако не вземете предвид решенията, които изискват събиране на информация, нейния анализ и сложни изчисления, тогава всеки резултат - това е бързо, точно и разумно.


Този факт винаги е давал илюзорна основа за разглеждане на създаването на инструмент за вземане на решения като прост въпрос. С появата на "Пролога" изглежда: въпросът за изкуствен интелект - въпрос на технология, и умен човек измисли три закона за роботиката. Въпреки това, изкуствен интелект остава призрак, и три закона на роботиката идва от една приказка - "Направи го, не знам какво". Програмирането в класическия смисъл на думата (често използвайки термините "процедурен", "императивен" или "функционален") се развива и успешно преодолява "плахите времена" от 80-те и 90-те години, когато програмният език е безброй. Демонстративната борба между Паскал и Си продължи дълго време, беше жестока, но завършинеутрален и тих. Остава идеята за добър език за програмиране и успешна реализация. Не може да се каже, че Пролог като програмен език не се е развил. Но той не постигна поставените цели. Днес е възможно не само да се каже, но и да се обоснове: "Пролог" е академичен език за:
  • образователни цели;
  • логика на предиката;
  • математика;
  • Тесно приложение.
  • Съмнително е, че това твърдение може да бъде отречено. Изкуственият интелект е не само широко разпространена употреба, но и прекалено сериозно събитие, което драстично променя обществения ред и картината на света.


    Програмирането на езика на пролога "за изкуствен интелект не се осъществи: за повече от четиридесет години език не е имало кардинално ново, релевантно за общественото съзнание събитие, което показва обратното. Обективната реалност е следната: не оцелява

    "Пролог" - езикът на декларативното програмиране

    Да има инструмент за описване на факти и правила - добър, но какъв е смисълът? Факти и правила са добре поставени в обичайната база данни. Квалифициран класически програмист осигурява интерактивен диалог. потребителят, а последният решава задачите си. Ако е необходимо програмист за фина настройка на диалога, а потребителят допълва базата данни с факти и правила. Абсолютно работеща и проверявана от десетилетия, възможността за изпълнение на масата на вече решени и разрешими задачи.
    Декларативно изложение на факти и правила за всяко прилагане на програмния език "Пролог" е конвенция, опит за формализиране на реалността в неговатаинтелектуална държава. Нормалното програмиране не докосва интелекта. Класическото програмиране отговаря на позицията: описание и обработка на данните. Тук има много проблеми, но има много блестящи и работещи решения.
    "Пролог" като език за програмиране е факт:
  • мама Мария, Наталия); - Мария - майка на Наташа;
  • баща (Евгений, Марина); - Евгени е бащата на Марина.
  • Тук веднага се оказва фактът: "Мери" и "Марина" - различни имена. Няма нищо, което да предотврати факта:
  • баща (Юджийн, Мери); - Юджин е бащата на Мария.
  • Тези описания дават житейски правила:
  • баща (x, y)
  • баща (x, y) Но те не ни позволяват да заключим, че папата е бащата на Марина, а Марина е майка на Мери. Този проблем е разрешен, може да се добави още едно правило, добавя се още един факт. Но колко такива действия трябва да се предприемат в реалната ситуация? В действителност, "Пролог" като език за програмиране е пример за декларация на факти и правила, но не и логиката, към която е свикнал съзнанието на класическия програмист. "Prologue" позиционира себе си като език на логиката на предиката, но ученето да програмира може да бъде само примери и примери на описания от разработчиците на конкретна езикова реализация.

    Фамилията Пролог

    Франция се счита за родното място на Пролетариата, а 1973 г. е годината на раждане. Интересът към езика периодично се подновява, но със завидна стабилност утихва. Мотото е: „Логиката на предикатите е елементарна! Това е начин да се обясни как работи мисленето - и остава мотото.
    Всяко прилагане на програмния език "Prologue" се придържа стриктно към логиката на предикатите, но винаги включва класическатаидеи за процедурно програмиране. По-правилно е да се каже "императив", тъй като този термин се използва по-формално, отколкото процедурен, функционален, обектно-ориентиран или друг.
    Всяко програмиране е данни и обработка. Езиковите конструкции трябва да описват точно разрешимия проблем, поради което всички известни реализации на Prologue: Turbo Prolog, Win Prolog, Prolog SWI, GNU Prolog, Visual Prolog и други съдържат, в допълнение към декларативни конструкции, обикновени императивни изречения. Смята се, че семейството на "Пролози" се развива в академични и изследователски организации и затова като общ език може да се говори само в концептуалния смисъл. Въпреки това, самият факт, че понятието „пролог” е жив и развиващ се, може да бъде разгледан: този език има област на приложение и се търси в определен спектър от задачи.

    Основата на изкуствения интелект

    Интересът към изкуствения интелект никога не е намалявал, почти започва да се говори, когато има друго движение, но никога "Пролог" не е свързан с изкуствен интелект повече от обичайния класически език за програмиране. В края на 80-те години беше истинско, релевантно и търсено интелектуален проект "Изобретателска машина". Направен е истински опит да се използва „Прологът“ за формализиране на огромни практически познания (данни) изобретения, физически, химически и други закони.

    Резултатът не бе постигнат, твърде много факти и правила трябваше да бъдат написани на „Пролог“ като език за програмиране, който има банален императивен характер. междувременноУспоредно с това на обикновените езици беше приложена маса от успешни софтуерни продукти.
    В началото на 90-те години успешно се реализира проект за истинска интелектуална система, моделираща поведението на дете под 3-годишна възраст на езика на асемблера на събранието на ЕС! Използването на Пролога дори не бе взето под внимание. Тази интелектуална система не само "аргументира" това, което е мама, татко и какво е различно от Мария от Марина, но без много стрес, тя скочи от знанията, получени от тези въпроси към топките и техните различия от кубовете до цветовете на обектите и (!) до елементарна математика: прости аритметични операции бяха нейните силни страни на базата на знанията, придобити при решаването на съвсем различни задачи. Може да се твърди, че класическото програмиране е пред "Пролога" като част от развитието на изкуствения интелект, но дава реални резултати. Що се отнася до разузнаването като задача - може би проблемът не е в езика, а в реализацията на идеята. Ако асемблерът от 1991 г. може да се превърне в основа за интелектуалната система на ситуационната интелигентност, то въпросът очевидно не е в езика на изпълнение, а в идеята.
  • Свързани публикации