Адаптивная машина логического вывода

Размещено на http://www.allbest.ru/

Адаптивная машина логического вывода

Е.В. Котельников, Д.А. Страбыкин

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

Введение

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

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

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

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

Для решения поставленной задачи предлагается использовать адаптивную машину логического вывода, основанную на абдуктивном методе модификации посылок [Котельников, 2006].

1. Структура интеллектуальной системы с адаптивной машиной логического вывода

Структура интеллектуальной системы, включающей адаптивную машину логического вывода, представлена на рис. 1.

Рис. 1. Структура интеллектуальной системы
с адаптивной машиной логического вывода

Интеллектуальная система состоит из трех подсистем: подсистемы интеллектуального интерфейса, подсистемы представления данных и знаний и подсистемы логического вывода.

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

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

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

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

2. Структура адаптивной машины логического вывода

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

Размещено на http://www.allbest.ru/

Рис. 2. Структура адаптивной машины логического вывода

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

– метода определения выводимости (блок классификации заключений и блок проверочного вывода);

– метода добавления посылок (блок добавления посылок);

– метода удаления посылок (блок удаления посылок).

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

Рассмотрим функции каждого блока машины.

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

Блок добавления посылок получает на вход множество исходных посылок (из базы знаний системы) и множество заключений из класса n/p (в этот класс входят заключения, которые на текущем шаге не выводятся, однако требуется, чтобы они выводились). На выход данного блока поступают семейства множеств (для каждого заключения - свое семейство) таких посылок, при добавлении которых во множество исходных посылок требования выводимости для данных заключений удовлетворяются.

На вход блока удаления посылок поступают множество исходных посылок и заключения, входящие в класс p/n (такие заключения, которые на текущем шаге выводятся, но требуется обеспечить их невыводимость из исходных посылок). Выходом блока являются семейства множеств посылок (для каждого заключения - свое семейство), при удалении которых из множества исходных посылок обеспечивается невыводимость соответствующих заключений.

Блок проверочного вывода позволяет определить, имеются ли конфликты требований выводимости для двух пар классов: n/p-n/n и p/n-p/p. Такие конфликты могут возникать, во-первых, когда блок добавления посылок предлагает такое множество посылок, при объединении которого с множеством исходных посылок нарушаются требования выводимости заключений класса n/n, а, во-вторых, когда для обеспечения требований выводимости заключений класса p/n удаляются такие посылки, которые служили для выводимости заключений класса р/р.

Блок управления и контроля предназначен для синхронизации работы всех блоков адаптивной машины, управления потоками данных, реализации основного цикла метода модификации посылок, проверки на наличие заключений в классах p/n и n/p. Ещё одна функция данного блока - выявление и разрешение ситуаций зацикливания посредством применения безусловной модификации через блок добавления или блок удаления посылок.

3. Функционирование адаптивной машины логического вывода

Интеллектуальная система с адаптивной машиной логического вывода имеет два основных режима работы - режим дедуктивного вывода (режим решения задач) и режим адаптации (режим формирования знаний).

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

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

В общем случае, все запросы делятся на два вида - запросы, которые система должна считать истинными, и запросы, которые система должна считать ложными. Таким образом, запросы в данном режиме являются обучающими.

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

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

Множество заключений m в блоке классификации заключений разделяется на четыре класса и, соответственно, на четыре подмножества:

1) m_pp - логический вывод успешен / должен быть успешен;

2) m_np - логический вывод неудачен / должен быть успешен;

3) m_pn - логический вывод успешен / должен быть неудачен;

4) m_nn - логический вывод неудачен / должен быть неудачен.

Блок управления и контроля осуществляет проверку, не пусты ли подмножества m_np и m_pn. Если оба подмножества пусты, то блок управления и контроля останавливает работу адаптивной машины с сообщением об успешном окончании адаптации базы знаний. Иначе выполняются следующие действия.

Заключения подмножества m_np поступают на вход блока добавления посылок, а заключения подмножества m_pn - на вход блока удаления посылок. Одновременно на вход обоих блоков приходит множество исходных посылок М (посылки базы знаний системы в текущий момент). В блоке добавления посылок для каждого заключения происходит генерация семейства множеств дополнительных посылок. В блоке удаления посылок для каждого заключения формируется семейство множеств посылок-кандидатов на удаление, причем эти посылки выбираются среди посылок множества М.

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

На следующем шаге множества M^np каждого семейства дополнительных посылок, сгенерированного в блоке добавления посылок, объединяются с множеством исходных посылок М и поступают на вход блока проверочного вывода совместно с подмножеством заключений m_nn. Выходом данного блока является сообщение, поступающее в блок управления и контроля, о наличии или отсутствии конфликта выводимости для каждого проверяемого множества M^np.

В случае отсутствия конфликта текущее множество M^np добавляется в базу знаний системы и под действием блока управления и контроля соответствующее заключение переходит из подмножества m_np в подмножество m_pp.

Далее множества M^pn каждого семейства множеств посылок-кандидатов на удаление вычитаются из множества исходных посылок М и приходят на вход блока проверочного вывода. На этот же вход поступает подмножество заключений m_pp. В блоке проверочного вывода определяется, имеются ли конфликты выводимости множеств M^pn и заключений подмножества m_pp.

В случае отсутствия таковых проверенное множество M^pn добавляется в базу знаний системы, а соответствующее заключение переходит из подмножества m_pn в подмножество m_nn.

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

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

Иначе в блоке управления и контроля проверяется, изменилось ли множество исходных посылок по сравнению с началом цикла. Если множество исходных посылок остается прежним, то имеет место ситуация зацикливания. В этом случае блок управления задействует механизм безусловной модификации, который изменяет базу знаний. В неё добавляется некоторое множество дополнительных посылок или удаляется множество посылок-кандидатов на удаление, причем преимущество отдается первым. Множество, модифицирующее базу знаний, должно оказывать минимальное влияние на классы p/p и n/n. После этого счетчик итераций увеличивается на единицу и начинается новый цикл.

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

Заключение

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

– наполнение первоначально пустой базы знаний;

– максимальный учет существующей в базе знаний информации;

– использование небольшого числа наблюдений;

– использование как положительных, так и отрицательных наблюдений.

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

Список литературы