Содержание раздела
Следуя различными путями дедуктивного и индуктивного мышления, осуществляя различные парадигмы обучения, человек стремился автоматизировать логику мышления. Продуктом этой деятельности явились такие языки логического вывода, как ЛИСП и ПРОЛОГ Более того, ПРОЛОГ следует считать венцом усилий по автоматизации логического вывода, эффективно описывающего, в частности, экспертные системы.
Язык представляет базу знаний как совокупность фактов и правил вывода; процедурная структура позволяет включать конструкции любых других алгоритмических языков, т.е. ПРОЛОГ является логической надстройкой, объединяющей лишь операции вывода. Формулируется цель логического вывода, и если она не противоречива, выявляются факты, ее породившие.
Рассмотрим упрощенную задачу в виде ПРОЛОГ программы, содержащую характерные элементы проблемы достижения сложной цели на основе фрагмента базы знаний, содержащего факты и правила.
Факты — клозы (отдельные предикаты высказывания принято называть клозами), которые не содержат правых частей, правила — клозы, которые содержат правые части; одноименные факты и правила объединяются в процедуры. Пусть база знаний имеет следующий вид.
Логическое программирование нейросети 2
Логическое программирование нейросети 3
Логическое программирование нейросети 4
Логическое программирование нейросети 5
Нейросеть для задачи логического вывода
Нейросеть для задачи логического вывода 2
Нейросеть для задачи логического вывода 3
Нейросеть для задачи логического вывода 4
Мужчина Иван Мужчина Василий Мужчина Петр Мужчина Федор Мужчина Юрий Женщина Марья Женщина Ирина Женщина Ольга Женщина Елена Марья родитель Ивана Иван родитель Елены Марья родитель Василия Федор р
