Логические нейронные сети




ПРОЛОГ-программа


Следуя различными путями дедуктивного и индуктивного мышления, осуществляя различные парадигмы обучения,

человек стремился автоматизировать логику мышления, немыслимую без формализации. Продуктом этой деятельности

явились такие языки логического вывода, как ЛИСП и ПРОЛОГ. Язык ПРОЛОГ следует считать венцом усилий по автоматизации логического вывода, эффективно описывающего, в частности, экспертные системы.

ПРОЛОГ представляет базу знаний как совокупность фактов и правил (вывода). Процедурная структура позволяет включать конструкции любых других алгоритмических языков. То есть он является логической надстройкой,

сублимирующей лишь операции логического вывода. Формулируется цель логического вывода, и если она не противоречива, выявляются факты, из которых эта цель следует.

И сознавая, что Природа создала единственное средство мышления — мозг, мы снова и снова пристально

раздумываем, как же реализовать то, что гениально воплощено в языке логического программирования ПРОЛОГ?

…Представьте себе село, затерянное в далекой таежной глуши. Навечно изолированные от Большой Жизни, его обитатели долгими зимними вечерами, в перерывах благотворного интеллектуального напряжения игры "Тигра идет", в сумраке демократических потугов вооружившись мозолистыми кулаками, выясняют степень взаимного родства.

И тут являетесь вы! Словно светоч озарения, сосланный за непримиримость свободолюбивых устремлений,

вы, наконец, находите для себя непаханое поле действительно яркой деятельности, полной гуманизма и самопожертвования.

Вы решаетесь положить конец сомнениям, и подобно искусному укротителю, внедряете важные элементы государственного акта переписи населения…

Рассмотрим упрощенную задачу в виде ПРОЛОГ-программы, содержащую все характерные элементы решения проблемы удовлетворения (сложной) цели на основе лишь фрагмента базы знаний (БЗ), содержащего факты и правила.

Факты — клозы (отдельные предикаты-высказывания принято называть клозами), которые не содержат правых частей, правила — клозы, которые содержат правые части; одноименные факты и правила объединяются в процедуры.




Содержание    Вперед