Мивары: 25 лет создания искусственного интеллекта - [17]

Шрифт
Интервал

Получается, что графовое представление семантических сетей не позволяет эффективно и разумно осуществлять обработку информации и поиск решений в непростых задачах, т.е. в любых более-менее сложных и реальных задачах. Как было отмечено и подчеркнуто, миварный подход создавался для решения реальных задач в максимально сложных условиях, поэтому мы искали альтернативу графовому подходу с полным перебором. Такое решение было найдено для очень многих задач, хотя, возможно, что не для всех. Миварные сети позволяют находить решение с линейной вычислительной сложностью, хотя некоторые ученые и не согласны с тем, что такой подход осуществляет логический вывод. В этих случаях для подобных формалистов мы применяем другой термин: "автоматический конструктор алгоритмов решения задач". Этот подход основан на представлении информации в виде специальной миварной матрицы и отличается от традиционного логического вывода только тем, что не используется исчисление предикатов и не рассматриваются в явном виде вопросы истинности или ложности высказываний. Для решений реальных задач достаточно построить алгоритм решения из модулей (сервисов, отношений и т.п.), где на основе входных данных можно вычислить или определить требуемые выходные данные. С точки зрения познающе-диагностических систем вопросы ложности высказываний в исчислениях предикатов вообще не имеют никакого практического смысла; для выполнения задач познания и диагностирования требуется только алгоритм вывода от входа к выходу, который на миварной матрице ищется за один проход и без циклов. В настоящее время мы исследуем проблемы ограничений описаний предметных областей для "интересных" реальных задач с точки зрения возможности применения миварных матриц. Пока не выявлено каких-либо существенных ограничений, если условия задач возможно сформулировать в терминах продукций при выделении условий и действий в основном формате продукций "если… то…". Далее более подробно это описано в сравнении и анализе работ Д.А. Поспелова, отмечавшего, что продукции в общем виде позволяю представить любые причинно-следственные зависимости. У Дж. Люгера по поводу продукционных систем написано, что они основаны на представлении знаний в виде продукционных правил и представляют собой обобщенную и мощную модель решения задач на основе поиска. Там же описана методология "классной доски" – стратегия решения сложных системных задач с привлечением разнородных источников знаний, взаимодействующих через общее информационное поле [264, стр. 70]. Отметим, что эти же методологии используются и в миварном подходе для решения самого разного класса задач.

При описании экспертных систем Дж. Люгер так же говорит о продукциях следующее: "В чисто продукционной системе, например, модификация одного правила не имеет глобальных синтаксических побочных эффектов. Правила могут добавляться или удаляться без необходимости дальнейших изменений всей программы. Разработчики экспертной системы часто объясняют, что легкость модификации базы знаний является главным фактором производства успешных программ. Следующей особенностью экспертных систем является использование эвристических методов решения проблем" [264, стр. 274].

В экспертной системе, основанной на правилах, знание представляется в форме правил "если… то…". База знаний содержит как общие знания, так и информацию о частных случаях. "Механизм вывода применяет знания при решении реальных задач. По существу, он является интерпретатором базы знаний. В продукционной системе механизм вывода совершает цикл распознавание-действие. Процедуры, которые выполняют этот управляющий цикл, отделены от самих продукционных правил" [264, стр. 275]. Далее у Дж. Люгера есть интерпретация понятия "истинность" для продукций: "В системе, основанной на правилах, пары "условие-действие" представляются правилами "если… то…", в которых посылка (часть "если") соответствует условию, а заключение (часть "то") – действию. Если условие удовлетворяется, экспертная система осуществляет действие, предусмотренное при истинности заключения. Данные частных случаев можно хранить в рабочей памяти. Механизм вывода осуществляет цикл продукционной системы распознавание-действие. При этом управление может осуществляться либо на основе данных, либо на основе цели" [264, стр. 282]. Таким образом, говоря о продукционных системах и миварных сетях, можно употреблять термин "логический вывод", но в контексте цикла распознавание-действие.

С точки зрения нашего исследования очень важно, что "экспертные системы строятся методом последовательных приближений. Выявляемые ошибки приводят к коррекции и наращиванию базы знаний. … программа никогда не должна рассматриваться как законченная. Эвристическая база знаний всегда будет иметь ограниченные возможности. Модульность модели продукционной системы позволяет естественным образом добавить новые правила или в любое время подкорректировать существующую базу правил" [264, стр. 278]. Все вышесказанное относится и к миварным сетям. А вот когда дело переходит от представления знаний к обработке, то начинаются важные отличия.


Рекомендуем почитать
Чудо общения с Богом

Мы можем общаться с Богом! Какая потрясающая истина! Но это только начало. Его воля в том, чтобы наши взаимоотношения становились все более близкими и глубокими. Он сказал, что хочет открыться нам в любви, славе и святости. И поскольку Сам Бог бесконечен, то и развитию отношений с Ним также нет предела. Эти отношения не только с одним, каким-то особенным человеком, Бог приглашает в общение и желает говорить с каждым верующим. Книга "Чудо общения с Богом" – реальная помощь тем, кто хочет жить в каждодневном общении со своим Творцом!


Узлы: карманный справочник: 40 пошаговых инструкций для начинающих

Мы каждый день сталкиваемся с узлами будь то шнурки, галстук или электрический шнур. Чтобы быстро и хорошо завязать необходимые узлы, следуйте нашим практическим советам и иллюстрированным схемам, которые помогут вам шаг за шагом научиться искусству завязывания узлов. В походах, на рыбалке, перед зеркалом или на кухне — узлы станут вашими лучшими друзьями в быту!


Литературный автопортрет

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


История России для каждого образованного человека

История России, нашего Отечества, насчитывает более тысячи лет, и это богатая событиями история. Удержать в памяти каждую важную деталь невероятно сложно, но в этом поможет этот иллюстрированный справочник. Он предлагает вниманию читателя множество кратких, но емких статей, объединенных наглядным «каркасом» дат — опорных точек, по которым легко составить представление о той или иной исторической эпохе и ее героях. Речь пойдет не только о великих битвах, героических победах и трагических поражениях, но и о выдающихся открытиях мореплавателей и ученых, гениальных творениях писателей, художников и архитекторов, о замечательных личностях и простых людях.


Список гениальных книг!

Составлено гением. Для ангеловедов, читателей и потомков. Подсчитаны книжные буквы за четверть века, математический подход. Самая финальная версия от 28 декабря 2020 года.«Ты сам всё увидишь. Ибо блажен тот, кто способен видеть. И, разумеется, способен читать» (с). Андрей Ангелов.


The Question. Самые странные вопросы обо всем

– Бывают ли крокодилы добрыми? – Кто на самом деле победил на выборах президента в 1996 году? – Может ли в мозгу закончиться место для памяти? – Почему в пупках возникают катышки? – Каково было учиться в советской школе? Эти и другие вопросы задавали пользователи сервиса The Question, а мы в течение последнего года каждый день искали тех, кто даст ответы. В этой книжке 297 самых странных вопроса. Мы не гарантируем, что вы станете умнее, если прочитаете ответы на них, но, по крайней мере, о потраченном времени вы не пожалеете. Книга может вызывать острые приступы любопытства.