WWW.KNIGA.SELUK.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА - Книги, пособия, учебники, издания, публикации

 

Pages:     | 1 |   ...   | 7 | 8 || 10 | 11 |

«ПРЕДСТАВЛЕНИЕ И ОБРАБОТКА ЗНАНИЙ В ГРАФОДИНАМИЧЕСКИХ АССОЦИАТИВНЫХ МАШИНАХ Под редакцией В.В. Голенкова Минск 2001 Учреждение образования Белорусский государственный ...»

-- [ Страница 9 ] --

• операция поиска в рамках указываемой формальной теории всех истинных высказываний, которые являются утверждениями, описывающими свойства (закономерности) понятий, обозначаемого указываемым sc-элементом;

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

Рассмотрим операцию поиска определения понятия указываемого sc-элемента Условием выполнения операции поиска определения понятия указываемого sc-элемента является наличие в памяти конструкции вида:

308 Раздел 1. Навигационно-описковая графодинамическая ассоциативная машина Результатом выполнения операции поиска определения понятия указываемого sc-элемента является генерация конструкции свидетельствующее о том, что запрос успешно обработан. Результаты операции находятся в cформированном множестве r s i.

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

Приведем пример работы операции поиска определения понятия.

Пусть требуется найти определение для понятия “ ч е т ы р е х у г о л ь н и к ”. Целевое множество выглядит следующим образом:

В результате выполнения операции в результирующем множестве будет следующая конструкция:

Здесь sc-узел с идентификатором “ О п р е д е л е н и е ч е т ы р е х у г о л ь н и к а ” обозначает формальное определение понятия ч е т ы р е х у г о л ь н и к. Так же этот sc-узел связан с определением понятия ч е т ы р е х у г о л ь н и к, которое записано на русском языке.

1.1.5. Семейство операций поиска семантической связи между (двумя или более) указываемыми sc-элементами В рассматриваемое семейство операций навигационно-поисковой графодинамической ассоциативной машины входят следующие операции:

• операция поиска теоретико-множественных связей между указываемыми sc-элементами;

• операция поиска семантической связи “определяемое-определяющее понятие” между двумя указываемыми sc-элементами;

• операция поиска вхождения указываемых sc-элементов в одни и те же утверждения;

• операция поиска минимальных теоретико-графовых маршрутов указываемых sc-элементов по связкам различных отношений.

310 Раздел 1. Навигационно-описковая графодинамическая ассоциативная машина семантической сети К л ю ч е в ы е п о н я т и я : гипертекстовая семантическая сеть, синонимы, омонимы.

В рассматриваемое семейство операций навигационно-поисковой графодинамической ассоциативной машины входят следующие операции:

• операция поиска всех синонимов и омонимов указываемого sc-элемента (синонимичные scэлементы – это семантические эквивалентные sc-элементы, имеющие разные идентификаторы;

омонимичные sc-элементы – это семантически неэквивалентные sc-элементы, имеющие одинаковые идентификаторы);

• операция поиска всех константных sc-узлов, содержимое каждого из которых представляет собой информационную конструкцию, являющуюся комментарием для указываемого sc-элемента.

Рассмотрим операцию поиска синонимов и омонимов указываемого sc-элемента.

Условием выполнения операции поиска всех синонимов и омонимов указываемого sc-элемента является наличие в памяти конструкции вида:

Здесь в множество g l i включаются те sc-элементы, синонимы и омонимы которых необходимо найти.

Результатом выполнения операции поиска всех синонимов и омонимов указываемого sc-элемента является формирование результирующего множества r s i, которое содержит синонимы и омонимы указываемого sc-элемента, а также с указанием отношений “ с и н о н и м и ч н ы е s c - э л е м е н т ы ”, “главный синоним”, “омонимичные sc-элементы” М и к р о п р о г р а м м а операции поиска всех синонимов и омонимов указываемого sc-элемента:

Шаг 1. Проверить условие выполнения операции, если конструкция найдена, то перейти к шагу 2, иначе шаг 1.

Найти множество sc-элементов (обозначим его g l i ), которое является описанием задачи.

Шаг 2.

Элементами этого множества являются sc-элементы, для которых надо найти синонимичные scэлементы и омонимичные sc-элементы 312 Раздел 1. Навигационно-описковая графодинамическая ассоциативная машина Сформировать множество (обозначим его r s i ), описывающее результат обработки Шаг 3.

запроса, т.е. надо сформировать следующую sc-конструкцию:

Для каждого sc-элемента (обозначим его e i ) из множества g l i найти знак множества Шаг 4.

синонимичных sc-элементов (обозначим его s i ), т.е. надо найти sc-конструкцию вида:

Включить все элементы множества s i в результирующее множество (r s i ), т.е. надо Шаг 5.

сформировать sc-конструкцию вида:

Для каждого sc-элемента (обозначим его e i ) из множества g l i найти знак множества Шаг 6.

омонимичных sc-элементов (обозначим его s i ), т.е. надо найти sc-конструкцию вида:

Включить все элементы множества s i в результирующее множество (r s i ), т.е. надо Шаг 7.

сформировать sc-конструкцию вида:

Для каждого sc-элемента, омонима, (обозначим его v i ) из множества s i найти главный Шаг 8.

синоним, т.е. надо найти sc-конструкцию вида:

Включить найденную sc-конструкцию в результирующее множество (r s i ).

Шаг 9.

314 Раздел 1. Навигационно-описковая графодинамическая ассоциативная машина Ш а г 1 0. Сгенерировать sc-конструкцию, свидетельствующую о том, что цель обработана, т.е удалить sc-дугу между ключевым узлом a c t i v e и sc-узлом цели (g li ) и сгенерировать sc-дугу между ключевым узлом c o n f i r m e d и sc-узлом цели (g l i ):

Конец микропрограммы.

Приведем пример работы операции поиска всех синонимов и омонимов указываемого sc-элемента.

Пусть требуется найти все синонимы и омонимы для понятия “ ч е т ы р е х у г о л ь н и к ”. Целевое множество выглядит следующим образом:

В результате выполнения операции в результирующем множестве будет следующая конструкция:

ч а с т ь п л о с к о с т и ” являются синонимами понятия ч е т ы р е х у г о л ь н и к. А sc-узел с идентификатором “ ч е т ы р е х у г о л ь н и к ” является нетривиальным омонимом (см. подраздел 6.4) Резюме к подразделу 7. Приведенная классификация операций навигационно-поисковой графодинамической ассоциативной машины является открытой, т.е. набор операций может быть легко расширен.

Если в структуре цели указан отправитель, т.е. цель инициирована пользователем, то результат выполнения цели выводится пользователю на виртуальный экран графодинамической ассоциативной машины (см. раздел 5 в [411] (П р о г р В А М - 2 0 0 1 к н )) ассоциативной машины К л ю ч е в ы е п о н я т и я : цель; изоморфный поиск; результат.

Рассмотрим работу навигационно-поисковой графодинамической ассоциативной машины на примере операции изоморфного поиска.

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

316 Раздел 1. Навигационно-описковая графодинамическая ассоциативная машина Конструкция цели выглядит следующим образом.

На первом этапе (шаги 1-7) происходит поиск запроса, разбор шаблона. Так константные элементы шаблона заносятся во множество f r o n t, ставятся в соответствие сами себе в рамках начального варианта, переменные дуги заносятся во множество a n a l A r c s :

Далее начинается разбор вариантов, находящихся во множестве s _ v a r. Берем любой элемент множества e _ f r o n t, например, возьмем узел S. Берем любую дугу инцидентную узлу S и принадлежащую множеству e _ a n a l A r c s. В нашем случае это будет дуга a 1, как единственно возможная. Затем формируется множество дуг, которые могут быть поставлены в соответствие этой дуге. То есть ищем все константные дуги, выходящие из узла S (т.к. этот узел константный, то он соответствует сам себе) и которые входят в константный узел (дуга a 1 входит в переменный узел), при этом найденные дуги и узлы, в которые они входят, должны не иметь соответствий в рамках данного варианта. В нашем случае это будут три дуги: ( S r 1 ), ( S r 2 ), ( S r 3 ). Формируем новые варианты и удаляем старый. Так, в результате обработки начального варианта получится три новых варианта:

318 Раздел 1. Навигационно-описковая графодинамическая ассоциативная машина Далее процесс повторяется: берем вариант из множества вариантов, проверяем, закончен ли он (если закончен, то множество a n a l A r c s будет пустым). Если вариант не закончен, то пытаемся развить его дальше. То есть берем элемент фронта, инцидентную ему дугу из множества a n a l A r c s и ищем те элементы, которые могут быть сопоставлены им. Если таких элементов не оказывается, то данный вариант уничтожается и процесс начинается сначала. В противном случае для каждого возможного соответствия генерируется новый вариант. Если множество вариантов оказывается пустым, то уничтожаем знак этого множества и указываем, что операция завершилась. Так выглядит результат выполнения операции в нашем примере:

Здесь результирующее множество r s 1 выглядит следующем образом:

320 Раздел 1. Навигационно-описковая графодинамическая ассоциативная машина А результирующее множество r s 2 выглядит следующим образом:

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

Одним из актуальных направлений использования навигационно-поисковой графодинамической ассоциативной машины являются ассоциативные электронные учебники, в которых учебный материал представлен в виде гипертекстовой семантической сети (см. подраздел 6.4). Подробно ассоциативные электронные учебники рассмотрены в книге [236] (И н т е л О С и В У О - 2 0 0 1 к н ).

Реализация навигационно-поисковой графодинамической ассоциативной машины и пользовательский интерфейс рассмотрены в книге [411] (П р о г р В А М - 2 0 0 1 к н ).

1. Графодинамические ассоциативные машины вывода В данном разделе описывается абстрактная графодинамическая ассоциативная машина вывода, обеспечивающая решение задач в рамках формальных теорий, описанных на языке SCL. Отметим, что графодинамическая ассоциативная машина вывода может быть легко интегрирована с навигационно-поисковой машиной описанной в разделе 7.

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

1.1. Семейство легко интегрируемых абстрактных графодинамических ассоциативных машин вывода К л ю ч е в ы е п о н я т и я : графодинамическая ассоциативная машина вывода, scl-операция, цель, и-подцель, или-подцель, микропрограмма.

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

Будем называть такие scl-машинами машины переработки знаний, которые: 1) в качестве внутреннего языка используют язык SCL, 2) в качестве вспомогательных информационных конструкций, необходимых для реализации микропрограмм, используют только sc-конструкции, хранимые в их памяти. Из вышесказанного, из определения sc-машин (см. подраздел 4.7) и из того, что язык SCL является подъязыком языка SC, следует, что все scl-машины относятся к семейству sc-машин. Как было отмечено в подразделе 4.7, все sc-машины имеют открытый характер и легко интегрируются друг с другом. Для интеграции абстрактных sc-машин необходимо интегрировать хранимые в их памяти sc-конструкции, склеив синонимичные sc-узлы, и объединить наборы их операций. Таким образом, абстрактные scl-машины, являющиеся частным видом абстрактных sc-машин, также имеют открытый характер и легко интегрируются друг с другом.

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

В качестве языка микропрограммирования, ориентированного на реализацию scl-машин, предлагается язык SCP (Semantic Code Programming), являющийся графовым языком параллельного процедурного программирования. Язык SCP и абстрактная scp-машина, определяющая операционную семантику этого языка, описаны в разделе 4 книги [411] (П р о г р В А М - 2 0 0 1 к н ). Интерпретируя scl-машину на scp-машине, осуществляется переход от sc-машины переработки знаний к sc-машине более низкого уровня.

Подробное рассмотрение базовых микропрограмм абстрактной scl-машины приведено в работе [153] (Г о л е н к о в В. В.. 1 9 9 6 м о - Б а з о в П Т Я S C L ). В этом подразделе ниже приведено естественноязыковое описание микропрограмм некоторых операций.

Во множестве scl-операций, в частности, можно выделить следующие классы:

1) операции, обеспечивающие выполнение элементарных заданий по преобразованию текущего состояния соответствующего знания, в состав которого указанные задания входят. К числу таких операций, обеспечивающих решение элементарных задач, относятся информационно-поисковые, арифметические, строковые, теоретико-множественные операции, например, операция эпизодического информационного поиска;

2) операции, обеспечивающие реализацию процедурных (в том числе продукционных) программ различного вида, а точнее, реализацию различных операторов, составляющих эти программы.

Процедурным программам каждого вида соответствует определенный набор операторов;

3) операции, обеспечивающие решение задач в базах знаний путем ассоциативного поиска подходящих программ, интегрированных в базы знаний;

4) набор операций, обеспечивающих сведение неэлементарных заданий к подзаданиям (в конечном счете – к элементарным заданиям), например, операция трассировки запроса сверху-вниз, операция трассировки запроса снизу-вверх, операция декомпозиции запроса;

5) операции, обеспечивающие выполнение неэлементарного задания после выполнения всех заданий, составляющих один из наборов И-подзаданий указанного неэлементарного задания, например, операция выполнения логических рассуждений;

6) операции стирания (снятия) всех явных и неявных подзаданий для уже выполненных заданий. При этом удаляются все сопутствующие вспомогательные структуры, в том числе и связки отношения s u b G o a l ;

7) операции дедуктивного логического вывода, например, операция реализации продукции;

8) операции поиска и устранения противоречий в знаниях (например, на основе высказываний об однозначности) ;

9) операции, обеспечивающие поиск синонимичных sc-узлов с последующим их склеиванием, например, операция склейки идентичных формул;

10) операции ввода, например, операция добавления факта и операция добавления высказывания;

11) операции, обеспечивающие вывод сформированных ответов на пользовательские запросы;

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

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

Операция информационного ассоциативного поиска осуществляет поиск ответа на некоторый вопрос, предполагая, что ответ на это задание непосредственно содержится в текущем состоянии scl-теории.

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

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

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

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

В качестве примера рассмотрим одну из операций сведения арифметической задачи к подзадачам.

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

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

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

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

Условием применения каждой scl-операции является наличие в памяти scl-машины соответствующей sc-конструкции. Разным scl-операциям соответствуют разные инициирующие их sc-конструкции.

1.1.1. Информационные конструкции, описывающие состояние абстрактной графодинамической ассоциативной машины вывода g o a l s, семантически близкие высказывания, фактографическое высказывание, релевантные sc-конструкции.

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

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

• g o a l s – знак множества множеств целей, факторизированных по принадлежности к различным формальным теориям;

• f o r m u l a – знак множества формул;

• a c t i v e _ – знак множества дуг принадлежности активной цели множеству целей формальной теории;

множеств дуг принадлежности цели множеству целей формальной теории. Такая цель подлежит первоочередной обработке соответствующей операцией;

searched, tracedDown, tracedUp, interpreted, produced, deduced, simplyAssociated, множеству целей формальной теории. Такая цель считается обработанной соответствующей операцией.

Опишем типичные конструкции, которые будут необходимы для функционирования операций scl-машины. Отношение a s s o c i a t i v e – отношение, соединяющее формулу f i с ассоциированными в рамках теории t i с ней формулами в результате действия операции поиска семантически близких формул:

associative Быть атомарным формулой f i, имеющим фактографическую интерпретацию:

factual интерпретацией (отношением релевантности) :

interpretation релевантность sc-конструкций релевантность ( ( formula f1 ), ( formula f2 ), interpretation_ : Interpretation ) ;

interpretation_ отношение_ ;

Отношение s e l e c t e d – отношение, связывающее формулу f i со множеством уже найденных для него релевантных формул (фактографических высказываний) :

selected Отношение, связывающее формулу f i со множеством S e t, множеством свободных для этой формулы переменных:

unassigned Отношение, связывающее формулу f 1, которая включает по структуре формулу f 2 :

inclusion Отношение между основной целью и множеством И-подцелей, используется для формирования ответа для основной цели и для объяснения процесса решения:

reasoning где C a u s e s – знак множества дуг принадлежности достигнутых И-подцелей множеству целей G o a l s определённой формальной теории, а E x p e c t a t i o n s – знак множества дуг принадлежности не достигнутых И-подцелей, g e – дуга принадлежности основной цели множеству G o a l s.

(достигнутые) задания (цели) или построенные системы И-подзаданий с объясняющими scl-высказываниями. После того, как решение задачи закончено и пользователя перестают интересовать объяснения результатов решения, автоматически формируется задание на "сборку мусора" для решенной задачи, в результате выполнения которого соответствующие e x p l a n a t i o n -структуры будут удалены.

Приведём конструкции, описывающие типичные запросы. Здесь и далее G o a l s – произвольный элемент множества g o a l s. Запрос на истинность высказывания f i :

active_ Запрос на ложность высказывания f i :

active_ Запрос на поиск интерпретации высказывательной формы f i :

active_ unassigned 1.1.2. Операции абстрактной графодинамической ассоциативной машины К л ю ч е в ы е п о н я т и я : scl-операции, микропрограмма scl-машины.

Рассмотрим некоторые операции абстрактной графодинамической ассоциативной машины логического вывода. Отметим, что каждая приведённая ниже операция имеет свой абсолютный приоритет выполнения, оцениваемый по шкале от 0 до 1 (см. подраздел 6.1).

Операция классификации и управления запросами (SCL query classification & control operation) в зависимости от структуры запроса включает его в соответствующее множество приоритетных запросов, обрабатываемых какой-либо из перечисленных ниже специализированных операций.

Условием выполнения операции классификации и управления запросами является наличие конструкции вида:

Здесь “P a t t e r n ” – образец конструкции запроса, а “G o a l s ” – множество целей данной формальной теории.

Результатом выполнения операции классификации и управления запросами могут являться конструкции, описывающие исходный запрос как запрос определённого вида, структура которых включает ключевой узел, являющийся знаком множества sc-элементов, предназначенных для первоочередной обработки соответствующей операцией (такими элементами множества всегда являются дуги вида ( G o a l s P a t t e r n ) ), а также позитивную константную дугу из ключевого узла в дугу ( G o a l s P a t t e r n ). При завершении операции классификации и управления запросами соответствующая дуга из ключевого узла a c t i v e _, как правило, удаляется.

Приведём пример выполнения данной операции. При наличии в базе знаний конструкции:

после выполнения операции мы получим, например, следующую конструкцию:

Операция трассировки запроса сверху вниз (SCL query trace-down operation) в зависимости от структуры запроса и типа формулы, к которой относится запрос, формирует запросы для всех формул, входящих в неё.

Условием выполнения операции трассировки запроса сверху-вниз является наличие конструкции вида:

Операция, в зависимости от типа запроса q i – запрос ли это на выяснение истинности, либо ложности исходного высказывания, либо запрос на поиск интерпретации исходной формулы – и типа исходной формулы, к которой относится запрос, формирует все возможные подзапросы к формулам, входящим в исходную, группируя по И-критерию сформированные подзапросы связками отношения r e a s o n i n g.

Результатом выполнения операции трассировки запроса сверху вниз в случае успеха является некоторое количество подзапросов сгруппированных связками отношения r e a s o n i n g. При завершении операции трассировки запроса сверху вниз соответствующая дуга из ключевого узла t r a c e D o w n удаляется.

Приведём пример выполнения данной операции. При наличии в базе знаний конструкции:

после выполнения операции мы получим следующую конструкцию:

Операция трассировки запроса снизу вверх (SCL query trace-up operation) в зависимости от структуры запроса и типа формулы, к которой относится запрос, формирует запросы для всех формул, включающих её.

Условием выполнения операции трассировки запроса снизу вверх является наличие конструкции вида:

Операция в зависимости от типа запроса – запрос ли это на выяснение истинности, либо ложности исходного высказывания, либо запрос на поиск интерпретации исходной формулы – и типа исходной формулы, к которой относится запрос, формирует все возможные подзапросы к формулам, включающим исходную, и их остальным подформулам, группируя по И-критерию сформированные подзапросы связками отношения r e a s o n i n g.

Приведём пример выполнения данной операции. При наличии в базе знаний конструкции:

после выполнения операции мы получим следующую конструкцию:

Операция выявления множества свободных или связываемых переменных (SCL free variable locating operation).

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

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

Приведём пример выполнения данной операции. При наличии в базе знаний конструкции:

findUnassigned allEqExpr existAtExpr после выполнения операции мы получим следующую конструкцию:

unassigned Операция формирования интерпретации формулы (SCL interpretation forming operation).

конструкции вида:

Формируется новая, отличная от уже сформированных, интерпретация атомарной формулы f i, используя все подтверждённые связки (связки, в которых компонент с атрибутом e x p e c t a t i o n s _ представляет собой пустое множество) отношения r e a s o n i n g, на базе существующих интерпретаций И-подцелей исходной цели, выражаемой атомарной формулой f i, подцелей связанных между собой используемыми связками отношения r e a s o n i n g.

operation).

Условием выполнения операции порождения интерпретации атомарной формулы является наличие конструкции вида:

Если атомарная формула f i является высказыванием, которое обладает истинностным значением, то порождается релевантная ей формула, которая включается в также формируемую связку отношения интерпретации.

Операция поиска семантически близких атомарным формулам формул без учёта значений переменных (SCL simple atom associating operation).

Условием выполнения операции поиска семантически близких атомарным формулам формул без учёта значений переменных является наличие конструкции вида:

Операция осуществляет поиск всех атомарных формул, включающих те же константы, что и исходная.

Формируется соответствующая связка отношения a s s o c i a t i v e.

М и к р о п р о г р а м м а операции поиска семантически близких атомарным формулам формул без учёта значений переменных имеет следующий вид:

Ш а г 1. Вначале операция проверяет структуру запроса: в запросе отыскиваются соответствующая атомарная формула ( f i ) и теория ( t i ), а в качестве допустимой разрешается структура запроса только следующего вида:

входящая в неё дуга из узла a s s o c i a t e S i m p l y. Если анализ структуры запроса прошёл успешно, то генерируется узел s, иначе – операция завершается с возвратом ошибки.

Формируется множество всех констант атомарной формулы f i.

Шаг 3.

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

Ш а г 5. Ищется формула f j, входящая во множество атомарных формул, сформированное на четвёртом шаге: если такой формулы нет, то осуществляется переход на шаг 15.

Ш а г 6. Найденная формула f j исключается из множества формул, которое было сформировано на четвёртом шаге и формируется следующая конструкция:

Ш а г 7. Формируется множество s i – множество неатомарных формул, включающих хотя бы одну формулу из сформированного множества s j, и не включённых во множество s k.

Если во множестве s i находится формула t i, то осуществляется переход на шаг 13.

Шаг 8.

Если множество s i – пустое, то осуществляется переход на шаг 5.

Шаг 9.

Ш а г 1 0. Элементы множества s j добавляются ко множеству s k. После чего множество s j очищается.

Ш а г 1 1. Элементы множества s i добавляются ко множеству s j. После чего множество s i очищается.

Ш а г 1 2. Осуществляется переход на шаг 7.

Ш а г 1 3. Формула f j добавляется во множество s – формируется конструкция вида:

Ш а г 1 4. Осуществляется переход на шаг 5.

Ш а г 1 5. Операция успешно завершается с формированием конструкции вида:

Конец микропрограммы.

Операция поиска семантически близких неатомарным формулам формул (SCL molecular associating operation).

Условием выполнения операции поиска семантически близких неатомарным формулам формул является наличие конструкции вида:

Операция осуществляет поиск всех логически тождественных формул, включающих все те же (идентичные) формулы, что и исходная формула. Все найденные формулы включаются в формируемую связку отношения a s s o c i a t i v e.

Операция поиска семантически близких атомарным формулам формул с учётом значений переменных (SCL extensive atom associating operation).

Условием выполнения операции поиска семантически близких атомарным формулам формул с учётом значений переменных является наличие конструкции вида:

Операция осуществляет поиск всех атомарных формул, включающих те же константы и те же значения переменных, что и исходная формула f i, включённая в запрос q i. Формируется соответствующая связка отношения a s s o c i a t i v e.

Операция декомпозиции запроса на вывод атомарной формулы, на запросы к семантически близким атомарным формулам (SCL atom query distributing operation).

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

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

reasoning active_ Операция эпизодического информационного поиска (SCL atom episodic confirm_ation-by-facts operation).

Условием выполнения операции эпизодического информационного поиска является наличие конструкции вида:

Операция осуществляет информационный поиск конструкции, соответствующей включённой в запрос g q формуле f i в указанной области поиска. Поиск прерывается в случае достижения свободной переменной, которая не инцидентна ни одной связанной переменной. При поиске учитываются уже присвоенные значения переменных формулы f i и найденные интерпретации (отобранные образы).

Новый образ добавляется к отобранным и формируется запрос на формирование новой интерпретации. Результатом успешного завершения операции является конструкция вида:

factual Операция выявления идентичных, входящих и конфликтующих атомарных формул (SCL atom correlating operation).

Условием выполнения операции выявления идентичных, входящих и конфликтующих атомарных формул является наличие конструкции вида:

Операция анализирует структуру атомарных формул входящих в связку q i отношения a s s o c i a t i v e и формирует связки отношения бинарного структурного включения i n c l u s i o n между атомарными формулами. Если две формулы взаимно включают друг друга по структуре, и кванторы, которые навешены на переменные формул совпадают, то между такими формулами формируется связка отношения синонимии.

Результатом применения операции могут быть конструкции вида:

inclusion Formula1 Formula2 ;

Операция выявления идентичных, входящих и конфликтующих неатомарных формул (SCL molecular correlating operation). Аналогична предыдущей.

Условием выполнения операции выявления идентичных, входящих и конфликтующих неатомарных формул является наличие конструкции вида:

Операция анализирует структуру неатомарных формул входящих в связку q i отношения a s s o c i a t i v e и формирует связки отношения бинарного структурного включения i n c l u s i o n между формулами.

Если две формулы взаимно включают друг друга по структуре, и кванторы, которые навешены на переменные формул совпадают, то между такими формулами формируется связка отношения синонимии.

Результатом применения операции могут быть конструкции вида:

inclusion Formula1 Formula2 ;

Операция выполнения логических рассуждений (SCL reasoning operation).

Условием выполнения операции выполнения логических рассуждений является наличие конструкции вида:

Операция находит элемент v x включённой в связку q i отношения r e a s o n i n g, помеченный атрибутом e x p e c t a t i o n s _, проверяет являются ли все элементы найденного множества v x запросами, на которые получен ответ и если это так, то операция находит g a – компонент связки q i, помеченный атрибутом e f f e c t _. Если g a включён во множество d e n y _, то он также включается во множество d e n i e d _. Если g a включён во множество c o n f i r m _, то он также включается во множество c o n f i r m e d _. Если связка q i включена во множество временных конструкций, то она удаляется.

М и к р о п р о г р а м м а операции выполнения логических рассуждений имеет следующий вид:

Ш а г 1. Вначале операция проверяет структуру запроса: в качестве допустимой разрешается структура запроса только следующего вида, когда узел запроса является знаком связки отношения r e a s o n i n g :

reasoning Ш а г 2. Если проверка структуры запроса осуществлена безуспешно, то операция завершается с возвратом ошибки, иначе – удаляется дуга g q.

Ш а г 3. Отыскивается константная позитивная дуга g e, выходящая из узла q i и помеченная атрибутом e f f e c t _. Если поиск осуществлён безуспешно, то операция завершается с возвратом ошибки.

Ш а г 4. Ищется константная позитивная дуга g a, выходящая из узла G o a l s, входящая в искомый константный узел v a, в которую входит дуга g e. Если поиск осуществлён безуспешно, то операция завершается с возвратом ошибки.

Ш а г 5. Ищется константная позитивная дуга, выходящая из узла q i, входящая в искомый константный узел v x и помеченная атрибутом e x p e c t a t i o n s _. Если поиск осуществлён безуспешно, то осуществляется переход на шаг 7.

Ш а г 6. Во множестве v x отыскиваются элементы, которые не входят ни во множество d e n i e d _, ни во множество c o n f i r m e d _. Если найден хотя бы один такой элемент, то операция завершается успешно, иначе – удаляется узел v x.

Ш а г 7. Если дуга g a, включена хотя бы в одно из множеств d e n i e d _ и c o n f i r m e d _, то операция завершается успешно.

Ш а г 8. Если дуга включена во множество c o n f i r m _, то осуществляется генерация конструкции, удовлетворяющей образцу задаваемому узлом v a. Генерируемая конструкция включается в формулу, являющуюся соответствующим фактографическим высказыванием (либо квазиатомарной логической формулой), формируется полное соответствие интерпретации между образцом v a и сгенерированной формулой. В дугу v a генерируется дуга из узла c o n f i r m e d _.

Ш а г 9. Если дуга включена во множество d e n y _, то осуществляется генерация квазиатомарной формулы f j, удовлетворяющей образцу задаваемому узлом v a. Генерируемая конструкция включается в формулу f j, формируется полное соответствие интерпретации между образцом v a и сгенерированной формулой f j. В дугу v a генерируется дуга из узла d e n i e d _.

Ш а г 1 0. При наличии константной позитивной дуги из узла t e m p o r a r y в узел q i. Генерируется константная позитивная дуга из узла r e l e a s e в узел q i.

Ш а г 1 1. Операция завершается успешно.

Конец микропрограммы.

Операция реализации продукции (SCL producing operation).

Условием выполнения операции реализации продукции является наличие sc-конструкции вида:

Операция находит левую часть импликативной формулы f i и ищет формулу r i релевантную этой части. Если левая часть является атомарной формулой, то поиск новой формулы заключается в поиске структуры, которая является фрагментом обобщённого атомарного (фактографического) высказывания теории t i, структуры, изоморфной этой атомарной формуле с учётом привязки констант, и формировании узла, из которого проводятся константные позитивные дуги во все найденные элементы структуры, являющегося знаком искомой формулы. Если же левая часть является сложной формулой, то осуществляется поиск релевантной ей формулы, которая включена во множество t i. Между левой частью импликации и найденной релевантной ей формулой r i формируется конструкция отношения релевантности, в рамках которой каждая переменная формулы, являющейся левой частью импликации получает своё значение – константу, включённую в какую-либо атомарную формулу формулы r i. Затем операция находит правую часть формулы f i, которая является атомарной формулой и формирует релевантную ей формулу v n, являющуюся фактографическим высказыванием, структура которого изоморфна правой части импликации с учётом привязки констант. Затем все значения тех переменных из найденных левой и правой частей импликации, которые связаны квантором общности в рамках кванторной формулы a i, склеиваются.

Дуга g i удаляется. Элементы сформированной формулы v n добавляются в обобщённое атомарное (фактографическое) высказывание теории t i, а сама формула включается в теорию t i.

Результатом выполнения операции реализации продукции является следовательно конструкция вида:

Приведём пример выполнения данной операции. При наличии в базе знаний конструкции:

после выполнения операции реализации продукции мы получим следующую конструкцию:

М и к р о п р о г р а м м а операции реализации продукции имеет следующий вид:

Ш а г 1. Вначале операция осуществляет поиск неизвестных элементов конструкции, являющейся условием выполнения этой операции. Такими неизвестными элементами являются все элементы вышеприведённой конструкции-условия за исключением ключевых узлов: “ t h e o r y ”, “ i n i t _”, “ a l l ” и “ i m p l ”. В ходе выполнения этого шага операция находит, в частности, такие соответствующие элементы вышеприведённой конструкции-условия как: константную позитивную дугу g i, выходящую из ключевого узла “ i n i t _”, константный узел t i, являющийся знаком формальной теории, константный узел a i, являющийся знаком кванторной формулы, являющейся в рамках теории t i истинным высказыванием о всеобщности, а также константный узел f i, являющийся знаком импликативной формулы.

Ш а г 2. Если хотя бы один из элементов g i, t i, a i и f i или хотя бы одна соответствующая константная позитивная дуга из вышеприведённой конструкции не найдена на предыдущем шаге, то операция завершает свою работу, иначе – удаляется дуга g i.

Ш а г 3. Осуществляется поиск константного узла v c, в который входит константная позитивная дуга, выходящая из узла f i, которая является элементом ключевого множества “ i f _”. Из этого следует, что искомый узел v c является посылкой импликативной формулы f i. Таким образом формула f i и её посылка связаны между собой конструкцией вида:

Ш а г 4. Осуществляется поиск константного узла v e, в который входит константная позитивная дуга, выходящая из узла f i, которая является элементом ключевого множества “ t h e n _”. Из этого следует, что искомый узел v c является следствием импликативной формулы f i. Таким образом формула f i и её следствие связаны между собой конструкцией вида:

Ш а г 5. Осуществляется поиск константного узла v f, в который входит константная позитивная дуга, выходящая из узла a i, которая является элементом ключевого множества “ f i x _”. Из этого следует, что искомый узел v f является множеством переменных связываемых квантором общности в рамках кванторного высказывания о всеобщности a i. Таким образом искомое множество связываемых переменных и кванторная формула a i связаны между собой конструкцией вида:

Ш а г 6. Проверяется наличие константной позитивной дуги, выходящей из узла, являющегося одним из двух таких ключевых узлов как: “ a t E x p r ” и “ e x i s t A t E x p r ”, и входящей в узел v c : если такой дуги нет, то осуществляется переход на шаг 30, иначе – наличие такой дуги означает что, посылка v c является атомарной формулой, либо кванторной формулой о существовании интерпретации атомарной формулы.

к о н с т р у к ц и й ”, которая включает узел v s, являющийся знаком связки, включающего формулу v c и узел “ 1 _ ” под атрибутом “ а т р и б у т _ ”. Таким образом искомая связка и известные формула v c и отношение “ р е л е в а н т н о с т ь s c - к о н с т р у к ц и й ” связаны конструкцией вида:

Если такая связка не найдена, то осуществляется переход на шаг 14.

Шаг 8.

Ш а г 9. Осуществляется поиск узла r i отличного от узла v c, который включён в одно из таких множеств как: “ a t E x p r ” и “ e x i s t A t E x p r ”, который также включён в искомую пару s d одновременно с узлом“ 2 _ ” под атрибутом “ а т р и б у т _ ”, в которую проведена константная позитивная дуга, выходящая из связки c i и не включённая во множество “ о т н о ш е н и е _ ”. Если узел r i не найден, то осуществляется переход на шаг 14.

Ш а г 1 0. Осуществляется поиск узла i i, в который проведена константная позитивная дуга из узла c i, в которую входит константная позитивная дуга из ключевого узла “ о т н о ш е н и е _ ”. Если узел i i найден, то осуществляется переход на шаг 18.

Ш а г 1 1. Элементы множества r i и только они включаются во множество, обозначенное узлом u f.

Ш а г 1 2. Множество r i очищается, то есть удаляются все выходящие из него константные позитивные дуги.

Ш а г 1 3. Осуществляется переход на шаг 16.

Ш а г 1 4. Осуществляется поиск всех элементов, в которые входят константные позитивные дуги из узла v c, если ни один такой элемент не найден, то операция завершается с возвратом ошибки.

Ш а г 1 5. Осуществляется поиск константного узла u f, в который входит константная позитивная дуга, выходящая из узла t i, которая является элементом ключевого множества “ u n i o n _”. Из этого следует, что искомый узел u f является обобщённым атомарным высказыванием формальной теории t i. Таким образом теория t i и формула u f связаны между собой конструкцией вида:

Ш а г 1 6. Осуществляется поиск конструкции, являющейся фрагментом конструкции, включенной во множество u f, – поиск фрагмента изоморфного (с учётом привязки констант) конструкции, которую образуют все элементы, найденные на четырнадцатом шаге. Искомый фрагмент – искомая конструкция будет являться изоморфной с учётом привязки констант в том и только в том случае, если каждому переменному узлу или переменному элементу неопределённого типа, найденному на четырнадцатом шаге соответствует некоторый константный узел или константный элемент соответственно, каждому константному узлу, дуге или элементу неопределённого типа – он сам, каждой переменной дуге – константная дуга аналогичной степени чёткости, выходящая из узла искомой конструкции, соответствующего узлу, из которого выходит переменная дуга, и входящая в элемент искомой конструкции, соответствующий элементу, в который входит переменная дуга, когда других элементов в искомой конструкции нет, причём для каждого элемента, найденного на четырнадцатом шаге соответствует один единственный элемент искомой конструкции. Все элементы искомой конструкции и только они включаются во множество, обозначенное узлом r i. Каждый элемент искомой конструкции e s, соответствующий какому-либо найденному на четырнадцатом шаге переменному элементу e i, связывается с этим переменным элементом ориентированной парой – парой вида:

Ш а г 1 7. Если поиск изоморфной конструкции прошёл безуспешно, то осуществляется переход на шаг 28, иначе – все сформированные на предыдущем шаге ориентированные пары и только они включаются во множество, обозначенное узлом i i.

Ш а г 1 8. Если узел c i не был найден (на седьмом шаге), то генерируется связка отношения добавляется во множество t i.

“отношение_”.

Ш а г 2 0. Проверяется наличие константной позитивной дуги, выходящей из узла, являющегося одним из двух таких ключевых узлов как: “ a t E x p r ”, “ e x i s t A t E x p r ”, и входящей в узел v e : если такой дуги нет, то осуществляется переход на шаг 28, иначе – наличие такой дуги означает что, посылка v e является атомарной формулой, либо кванторной формулой о существовании интерпретации атомарной формулы.

Ш а г 2 1. Генерируются узлы v n, v r, v o и i n. Генерируется конструкция вида:

Ш а г 2 2. Во множество i n включается каждая ориентированная пара b i, включённая во множество i i и имеющая в качестве первого элемента какую-либо переменную _ V a r, включённую во множества v f и v e, то есть пара, связанная конструкцией вида:

Ш а г 2 3. Во множество v n включается каждый элемент e v, являющийся вторым элементом хотя бы одной ориентированной пары b i, включённой во множество i n, то есть элемент, связанный конструкцией вида:

Ш а г 2 4. Каждый константный элемент множества v e включается во множество v n.

Ш а г 2 5. Для каждого переменного узла или переменного элемента неопределённого типа, включённого во множество v e и не включённого во множество v f, генерируется и включается во множество v n константный узел или константный элемент неопределённого типа соответственно. Для каждого генерируемого константного элемента генерируется включаемая во множество i n ориентированная пара, включающая в качестве второго этот генерируемый элемент, а в качестве первого – переменный элемент, соответствующий генерируемому константному элементу.

Ш а г 2 6. Для каждой переменной дуги, включённой во множество v e и не включённой во множество v f, генерируется и включается во множество v n константная дуга аналогичной степени чёткости, выходящая из узла, лежащего во множестве v n, соответствующего узлу, из которого выходит переменная дуга, и входящая в элемент, лежащий во множестве v n, соответствующий элементу, в который входит переменная дуга. Для каждой генерируемой константной дуги генерируется включаемая во множество i n ориентированная пара, включающая в качестве второго эту генерируемую дугу, а в качестве первого – переменную дугу, соответствующую генерируемой константной дуге.

Ш а г 2 7. Генерируется связка отношения “ р е л е в а н т н о с т ь s c - к о н с т р у к ц и й ”, в которую включаются узлы v o и v r, а также узел i n под атрибутом “ о т н о ш е н и е _ ” и только. Формула v n добавляется во множества t i и “ a t E x p r ”. Все не добавленные элементы множества v n добавляются в обобщённое атомарное (фактографическое) высказывание u f формальной теории t i, связанное с теорией t i конструкцией вида:

Ш а г 2 8. Осуществляется переход на шаг 34.

Ш а г 2 9. Если узел r i был найден на девятом шаге, то операция завершается с возвратом ошибки, иначе – осуществляется переход на шаг 28.

Ш а г 3 0. Проверяется наличие константной позитивной дуги, выходящей из узла, являющегося “ e x i s t ”, “ e q E x p r ” и “ i m p l ”, и входящей в узел v e : если такой дуги нет, то осуществляется переход на шаг 28.

Ш а г 3 1. Осуществляется поиск константного узла r i, в который проведена константная позитивная дуга из узла t i. Искомый узел r i кроме этого должен являться формулой релевантной формуле v c. В процессе поиска формируется связка c i отношения “ р е л е в а н т н о с т ь л о г и ч е с к и х ф о р м у л ”, в которую включены узел v s, являющийся знаком связки, в которую включен узел “ 1 _ ” под атрибутом “ а т р и б у т _ ” и узел s c, включающий всю структуру формулы v c. В связку c i также должен быть включён узел v d, являющийся знаком связки, в которую включен узел “ 2 _ ” под атрибутом “ а т р и б у т _ ” и узел s r, включающий всю структуру формулы r i. Кроме этого в связку c i также должен быть включён узел i i под атрибутом “ о т н о ш е н и е _ ”, являющийся знаком множества, ориентированных пар соответствия релевантности, которые выходят из элементов множества s c в соответствующие элементы множества s r. Таким образом искомые на данном шаге элементы в итоге будут связаны конструкцией вида:

Ш а г 3 2. Если такой узел r i не найден, то осуществляется переход на шаг 28.

Ш а г 3 3. Осуществляется переход на шаг 20.

Ш а г 3 4. Работа операции успешно завершается.

Конец микропрограммы.

Операция обработки положительного ответа на запрос (SCL positive answer processing operation).

Условием выполнения операции обработки положительного ответа на запрос является наличие конструкции вида:

Операция анализирует: не является подтверждённый запрос какой-либо ожидаемой И-подцелью и если это так, то операция переносит подцель из разряда ожидаемых (из компонента соответствующей связки отношения r e a s o n i n g, помеченного атрибутом e x p e c t a t i o n s _ ) в достигнутые (в компонент этой связки, помеченный атрибутом c a u s e s _ ), создавая условия для применения операции выполнения логических рассуждений.

Операция обработки отрицательного ответа на запрос (SCL negative answer processing operation).

Условием выполнения операции обработки отрицательного ответа на запрос является наличие конструкции вида:

Операция анализирует: не является опровергнутый запрос какой-либо ожидаемой И-подцелью и если это так, то операция переносит подцель из разряда ожидаемых (из компонента соответствующей связки отношения r e a s o n i n g, помеченного атрибутом e x p e c t a t i o n s _) в достигнутые (в компонент этой связки, помеченный атрибутом c a u s e s _ ), создавая условия для применения операции выполнения логических рассуждений.

Операция уничтожения промежуточных конструкций (SCL structure releasing operation). Операция уничтожает все конструкции, которые включены во множество удаляемых конструкций.

Операция склейки идентичных формул (SCL formula optimizing operation). Операция склеивает две синонимичные формулы.

Операция добавления факта (SCL fact adding operation). Операция добавляет факт в SCL теорию, если он не противоречит другим фактам и высказываниям.

Операция добавления высказывания (SCL expression adding operation). Операция добавляет высказывание в SCL теорию, если оно не противоречит фактам и другим высказываниям.

Более подробное рассмотрение операций абстрактной scl-машины приведено в работах 1.2. Решение задач в графодинамических ассоциативных машинах К л ю ч е в ы е п о н я т и я : задача, решение задачи, аксиома, определение, вывод.

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

Условие задачи:

/* Описание формальной теории из области планиметрии */ параллельность /* Формирование аксиоматики */ /* “через не лежащую на прямой точку можно провести параллельную этой прямой прямую и только одну” */ /* “для каждой прямой существуют точки принадлежащие ей и не принадлежащие ей” */ /* “через любые две точки можно провести прямую и только одну” */ /* “существуют две точки” */ /* “две прямые параллельны тогда и только тогда, когда ни одна точка не принадлежит их пересечению” */ /* “если элемент принадлежит прямой, то этот элемент – точка” */ /* “фигура прямолинейна тогда и только тогда, когда существует прямая включающая все элементы фигуры” */ Pln_basis allEqExpr Определение прямолинейной фигуры existAtExpr exist existAtExpr прямая /* “пересечением произвольного количества множеств является множество, включающее такие и только такие элементы, каждый из которых принадлежит каждому множеству, образующему пересечение” */ Pln_basis Set_basis Определение пересечения ;

conj Определение пересечения allImpl DD_forward DD_backward existAtExpr exist DD_def_f exist DD_def_b allEqExpr conj DD_def_conj DD_def_equivalence existAtExpr allEqExpr DD_def_equivalence_equivalence existAtExpr allImpl DD_implication existAtExpr /* “множество _s s является подмножеством множества _s, если каждый элемент _s s принадлежит множеству _s ” Set_basis conj Определение подмножества allImpl SSD_forward SSD_backward existAtExpr exist SSD_def_f conj allEqExpr SSD_def_b SSD_def_conj existAtExpr allImpl SSD_implication existAtExpr Далее следует формулировка запроса.

/* “существуют параллельные прямые” */ existAtExpr Приведём описание решения задачи на естественном языке.

Процесс решения состоит из следующих этапов:

понятий, обозначенных константными элементами в запросе;

2) для конкретной теории заранее формируется множество целей (запросов) и множество предположений;

3) начинается обработка запроса, определяется тип высказывания запроса;

4) проверяется выводимость отрицания высказывания в рамках формальной теории, перебираются все истинные интерпретации (этапы 5, 6), каждая интерпретация на каждом этапе и только на нём включается во множество предположений;

5) осуществляется поиск семантически близких истинных высказываний формальной теории, при необходимости используются факты формальной теории, в данном примере такими высказываниями 6) осуществляется протоколирующийся логический вывод с помощью отобранных на предыдущем этапе высказываний, этапы 5 и 6 повторяются, пока не закончатся семантически близкие высказывания или будет выявлено противоречие, в последнем случае высказывание ложно и при условии возникновения противоречия на каждой истинной интерпретации осуществляется переход на этап 10;

7) проверяется выводимость высказывания в рамках формальной теории, перебираются все ложные интерпретации (этапы 8, 9), каждая интерпретация на каждом этапе и только на нём включается во множество предположений;

8) осуществляется поиск семантически близких истинных высказываний формальной теории, при необходимости используются факты формальной теории;

9) осуществляется протоколирующийся логический вывод с помощью отобранных на предыдущем этапе высказываний, этапы 8 и 9 повторяются, пока не закончатся семантически близкие высказывания или будет выявлено противоречие, в последнем случае высказывание истинно;

10) на основании результатов полученных на этапах 6 и 9, формируется ответ: истинно ли, ложно или невыводимо высказывание в рамках текущей формальной теории; уничтожается множество предположений, выводится протокол решения;

11) процесс повторяется со второго этапа для каждой найденной формальной теории.

Рассмотрим более детально этот процесс для данного примера.

На первом этапе анализируются все константные элементы, входящие хотя бы в одно из атомарных высказываний запроса. В данном случае это элементы: “п р я м а я ”, “п а р а л л е л ьн о с т ь ”, то есть те элементы, которые также входят во множество, помеченное атрибутом “u n i o n _” в рамках какой-либо формальной теории. На основе этого анализа осуществляется построение множества “t h e o r y _ s e t ” всех таких формальных теорий. В данном примере множество “t h e o r y _ s e t ” будет содержать элемент “П л а н и м е т р и я ”.

На втором этапе формулируется запрос к каждой формальной теории:

На третьем этапе начинается обработка запроса (распишем последующие этапы по шагам) :

Ш а г 1. К запросу “q u e r y 1 ” применяется операция классификации и управления запросами, которая формирует конструкцию следующего вида:

Goals Ш а г 2. К запросу “q u e r y 1 ” применяется операция эпизодического информационного поиска.

Которая завершается безуспешно:

Goals factual Ш а г 3. К запросу “q u e r y 1 ” применяется операция классификации и управления запросами, которая формирует конструкцию следующего вида:

Goals Ш а г 4. К запросу “q u e r y 1 ” применяется операция трассировки запроса снизу-вверх в сложном высказывании, которая завершается безуспешно:

Goals Ш а г 5. К запросу “q u e r y 1 ” применяется операция классификации и управления запросами, которая формирует конструкцию следующего вида:

Goals Ш а г 6. К запросу “q u e r y 1 ” применяется операция трассировки запроса сверху-вниз, которая формирует конструкцию следующего вида:

reasoning Ш а г 7. К запросу “q u e r y _ a t o m 1 ” применяется операция классификации и управления запросами, которая формирует конструкцию следующего вида:

Goals Ш а г 8. К запросу “q u e r y _ a t o m 1 ” применяется операция эпизодического информационного поиска. Которая завершается безуспешно:

Goals factual Ш а г 9. К запросу “q u e r y _ a t o m 1 ” применяется операция классификации и управления запросами, которая формирует конструкцию следующего вида:

Goals Ш а г 1 0. К атомарному высказыванию “q u e r y _ a t o m 1 ” применяется операция простого ассоциирования атомарных формул. Среди таких формул будут формулы: “P S A _ a t o m ”, “S F D _ d e f ”. Будет построена конструкция:

associative Goals Ш а г 1 1. К атомарному высказыванию “q u e r y _ a t o m 1 ” применяется операция выявления идентичных, входящих и пересекающихся атомарных формул. Результатом применения операции будут конструкции:

inclusion inclusion inclusion inclusion inclusion inclusion inclusion inclusion inclusion qa1_PDda_intersection ) ) ;

inclusion inclusion SP_cause ) ) ;

inclusion SA_cause ) ) ;

inclusion inclusion Ш а г 1 2. К атомарным формулам “S A _ c a u s e ” и “S P _ c a u s e ” применяется операция склейки атомарных формул: в результате чего формируется формула “S _ _ c a u s e ”, а формулы “S A _ c a u s e ” и “S P _ c a u s e ” уничтожаются, а сгенерированные на предыдущем шаге конструкции преобразуются следующим образом:

inclusion inclusion inclusion inclusion Scause ) ) ;

inclusion Ш а г 1 3. К атомарному высказыванию “q u e r y _ a t o m 1 ” применяется операция декомпозиции запроса на вывод атомарной формулы на запросы к семантически близким атомарным формулам.

reasoning reasoning reasoning reasoning reasoning reasoning reasoning reasoning reasoning factual PD_atom, qa1_PDda_intersection, Scause, PSA_atom, PSA_effect, SPPA_effe ct, PD_def_atom, SFD_def ;

Ш а г 1 4. Остальные операции к высказыванию “q u e r y _ a t o m 1 ” не применимы, что выясняется в процессе применения к нему операции классификации и управления запросами.

Ш а г 1 5. Начиная с формулы “P S A _ c a u s e ” ко всем входящим формулам высказывания “А к с и о м а о п а р а л л е л ь н о й п р я м о й ” ставится запрос на применение и применяется операция формирования множества свободных или связываемых переменных. Формируются, в частности, конструкции:

unassigned unassigned unassigned Ш а г 1 6. После операции классификации и управления запросами к атомарной формуле “P S A _ a t o m ” применяется операция трассировки запроса снизу-вверх, которая находит формулу “P S A _ c a u s e ”. В результате формируется конструкция:

reasoning unassigned Ш а г 1 7. Затем к формуле “P S A _ c a u s e ” применяется операция трассировки запроса сверхувниз, которая находит формулу “P S A _ n e g ”. В результате формируется конструкция:

reasoning unassigned Ш а г 1 8. К формуле “P S A _ c a u s e ” применяется операция трассировки запроса снизувверх, которая находит априори истинное импликативное высказывание “А к с и о м а о п а р а л л е л ьн о й п р я м о й ”, следствием которого является формула “P S A _ e f f e c t ”. В результате формируются конструкции:

reasoning unassigned confirm_ трассировки запроса снизу-вверх. В результате формируется конструкция:

confirmed_ Ш а г 2 0. К формуле “P S A _ n e g ” применяется операция трассировки запроса сверху-вниз, которая находит формулу “P S A _ n e g _ a t o m ”. В результате формируется конструкция:

reasoning информационного поиска. Которая завершается безуспешно:

factual Ш а г 2 2. К атомарной формуле “P S A _ e f f e c t ” применяется операция трассировки запроса снизувверх, которая находит априори истинное импликативное высказывание “А к с и о м а о п а р а л л е л ьн о й п р я м о й ”, посылкой которого является формула “P S A _ c a u s e ”. В результате формируется конструкция:

reasoning Ш а г 2 3. К формуле “P S A _ c a u s e ” применяется операция трассировки запроса сверхувниз, которая находит формулы “P S A _ a t o m ” и “P S A _ n e g ”. В результате формируется конструкция:

reasoning Ш а г 2 4. К атомарной формуле “P S A _ a t o m ” применяется операция простого ассоциирования атомарных формул. Будет построена конструкция:

associative PA_cause, SPPA_effect, Аксиома о существовании двух Ш а г 2 5. К атомарной формуле “P S A _ a t o m ” применяется операция выявления идентичных, входящих и пересекающихся атомарных формул. Результатом применения операции будет:

inclusion inclusion Scause ) ) ;

inclusion qa1_PDda_intersection ) ) ;

inclusion inclusion inclusion SP_effect_effect ) ) ;

inclusion inclusion inclusion inclusion inclusion inclusion inclusion inclusion Ш а г 2 6. К атомарному формуле “P S A _ a t o m ” применяется операция декомпозиции запроса на вывод атомарной формулы на запросы к семантически близким атомарным формулам. В результате будут добавлены следующие конструкции:

reasoning reasoning reasoning reasoning reasoning reasoning reasoning reasoning reasoning reasoning reasoning factual SP_effect_effect, SA_effect_atom, SA_effect_neg_atom, SPPA_cause, Аксиома о существовании двух точек ;

Ш а г 2 7. К атомарной формуле “P S A _ e f f e c t ” применяется операция простого ассоциирования атомарных формул. Будет построена конструкция:

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

inclusion Scause ) ) ;

inclusion qa1_PDda_intersection ) ) ;

inclusion inclusion inclusion inclusion inclusion Ш а г 2 9. К атомарной формуле “P S A _ e f f e c t ” применяется операция декомпозиции запроса на вывод атомарной формулы на запросы к семантически близким атомарным формулам. В результате будут добавлены следующие конструкции:

reasoning reasoning factual Ш а г 3 0. Ко всем входящим формулам высказывания “А к с и о м а о п р я м о й ” ставится запрос на применение и применяется операция формирования множества свободных или связываемых переменных. Формируются, в частности, конструкции:

unassigned unassigned Ш а г 3 1. Применяется операция трассировки запроса снизу-вверх, которая находит априори истинное импликативное высказывание “А к с и о м а о п р я м о й ”, следствием которого является конъюнктивная формула “S A _ e f f e c t ”. В результате формируется конструкция:

reasoning unassigned confirm_ Ш а г 3 2. К формуле “А к с и о м а о п р я м о й ” применяется операция трассировки запроса снизувверх. В результате формируется конструкция:

confirmed_ Ш а г 3 3. К формуле “S A _ e f f e c t ” применяется операция трассировки запроса сверху-вниз, которая находит формулы: “S A _ e f f e c t _ n e g _ a t o m ” и “S A _ e f f e c t _ a t o m ”. В результате формируется конструкция:

reasoning reasoning Ш а г 3 4. Для атомарной формулы “S A _ e f f e c t _ a t o m ” выполняется операция эпизодического информационного поиска. Которая завершается безуспешно:

factual эпизодического информационного поиска. Которая завершается безуспешно:

factual Ш а г 3 6. Для атомарной формулы “S A _ e f f e c t _ a t o m ” выполняется операция трассировки запроса снизу-вверх, которая находит конъюнктивную формулу “S A _ e f f e c t ”. В результате формируется конструкция:

reasoning Ш а г 3 7. Для атомарной формулы “S A _ e f f e c t _ n e g _ a t o m ” выполняется операция трассировки запроса снизу-вверх, которая находит конъюнктивную формулу “S A _ e f f e c t ”. В результате формируется конструкция:

reasoning Ш а г 3 8. Для атомарной формулы “S A _ e f f e c t ” выполняется операция трассировки запроса снизу-вверх, которая находит априори истинное импликативное высказывание “А к с и о м а о п р я м о й ”, посылкой которого является формула “S A _ c a u s e ”. В результате формируется конструкция:

reasoning ассоциирования атомарных формул. Будет построена конструкция:

associative Ш а г 4 0. К атомарной формуле “S A _ e f f e c t _ a t o m ” применяется операция выявления идентичных, входящих и пересекающихся атомарных формул. Результатом применения операции будут конструкции:

inclusion inclusion SP_effect_effect ) ) ;

inclusion inclusion inclusion inclusion inclusion Ш а г 4 1. К атомарному формуле “S A _ e f f e c t _ a t o m ” применяется операция декомпозиции запроса на вывод атомарной формулы на запросы к семантически близким атомарным формулам. В результате будут добавлены следующие конструкции:

reasoning factual Ш а г 4 2. Начиная с формулы “S P _ e f f e c t ” ко всем входящим формулам высказывания “С в о й с т в о п р я м о й ” ставится запрос на применение и применяется операция формирования множества свободных или связываемых переменных. Формируются, в частности, конструкции:

unassigned unassigned Ш а г 4 3. Применяется операция трассировки запроса снизу-вверх, которая находит импликативную формулу “S P _ e f f e c t ”. В результате формируется конструкция:

reasoning reasoning unassigned Ш а г 4 4. Применяется операция трассировки запроса снизу-вверх, которая находит априори истинное импликативное высказывание “С в о й с т в о п р я м о й ”, посылкой которого является атомарная формула “S P _ c a u s e ”. В результате формируется конструкция:

reasoning reasoning unassigned Ш а г 4 5. К атомарной формуле “S _ _ c a u s e ” применяется операция простого ассоциирования атомарных формул. Будет построена конструкция:

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

inclusion qa1_PDda_intersection ) ) ;

inclusion Scause ) ) ;

inclusion inclusion inclusion inclusion inclusion Ш а г 4 7. К атомарному высказыванию “S _ _ c a u s e ” применяется операция декомпозиции запроса на вывод атомарной формулы на запросы к семантически близким атомарным формулам. В результате будут добавлены следующие конструкции:

Ш а г 4 8. Ко всем формулам высказывания “А к с и о м а о п р я м о й и д в у х т о ч к а х ” ставится запрос на применение и применяется операция формирования множества свободных или связываемых переменных. Формируется, в частности, конструкция:

unassigned Ш а г 4 9. Применяется операция трассировки запроса снизу-вверх, которая находит априори истинное импликативное высказывание “А к с и о м а о п р я м о й и д в у х т о ч к а х ”, которое включает формулу “S P P A _ c a u s e ” в качестве посылки. В результате формируется конструкция:

reasoning unassigned Ш а г 5 0. К атомарной формуле “S P P A _ c a u s e ” применяется операция простого ассоциирования атомарных формул. Будет построена конструкция:

associative Ш а г 5 1. К атомарной формуле “S P P A _ c a u s e ” применяется операция выявления идентичных, входящих и пересекающихся атомарных формул. Результатом применения операции будут конструкции:

inclusion inclusion inclusion SP_effect_effect ) ) ;

inclusion inclusion inclusion inclusion Ш а г 5 2. К атомарной формуле “S P P A _ c a u s e ” применяется операция декомпозиции запроса на вывод атомарной формулы на запросы к семантически близким атомарным формулам. В результате будут добавлены следующие конструкции:

reasoning reasoning операция эпизодического информационного поиска. Которая завершается безуспешно:

factual Ш а г 5 4. Применяется операция трассировки запроса снизу-вверх, которая выявляет истинность reasoning confirmed_ точек ] ;

Ш а г 5 5. Применяется операция формирования фиктивной интерпретации атомарной формулы, которая формирует следующую конструкцию:

confirmed_ где _a a и _b a соответственно переменные дуги, включённые в высказывание и входящие в _a и в _b.

Ш а г 5 6. К формуле “S P P A _ c a u s e ” применяется операция формирования интерпретации формулы, которая формирует аналогичную конструкцию:

interpretation confirmed_ Ш а г 5 7. К формуле “S P P A _ u V a r s ” применяется операция формирования интерпретации формулы, которая формирует конструкцию:

interpretation confirmed_ Ш а г 5 8. К высказыванию “S P P A _ e f f e c t ” применяется операция формирования интерпретации формулы, которая формирует конструкцию:

interpretation confirmed_ Ш а г 5 9. К высказыванию “S _ _ c a u s e ” применяется операция формирования интерпретации формулы, которая формирует конструкцию:

interpretation confirmed_ Ш а г 6 0. К высказыванию “S A _ u V a r s ” применяется операция формирования интерпретации формулы, которая формирует конструкцию:

interpretation confirmed_ refuse Ш а г 6 1. К высказыванию “S P _ u V a r s ” применяется операция формирования интерпретации формулы, которая формирует конструкцию:

interpretation confirmed_ интерпретации формулы, которая формирует конструкцию:

interpretation confirmed_ refuse интерпретации формулы, которая формирует конструкцию:

interpretation confirmed_ refuse интерпретации формулы, которая формирует конструкцию:

interpretation confirmed_ refuse интерпретации формулы, которая формирует конструкцию:

interpretation confirmed_ Ш а г 6 6. К высказыванию “P S A _ a t o m ” применяется операция формирования интерпретации формулы, которая формирует конструкцию:

interpretation confirmed_ Ш а г 6 7. К высказыванию “P S A _ a t o m ” применяется операция формирования интерпретации формулы, которая формирует конструкцию:

interpretation interpreted Ш а г 6 8. К высказыванию “P S A _ с a u s e ” применяется операция формирования интерпретации формулы, которая формирует конструкцию:

interpretation interpreted Ш а г 6 9. К высказыванию “P S A _ n e g ” применяется операция формирования интерпретации формулы, которая формирует конструкцию:

interpretation interpreted интерпретации формулы, которая формирует конструкцию:

interpretation interpreted ассоциирования атомарных формул. Будет построена временная конструкция:

Ш а г 7 2. К атомарному высказыванию “P S A _ n e g _ a t o m ” применяется операция выявления идентичных, входящих и пересекающихся атомарных формул. Результатом применения операции будут генерируемые конструкции:

inclusion in_ : ( formula PSA_neg_atom ) ) ;

inclusion in_ : ( formula PSA_neg_atom ) ) ;

Ш а г 7 3. К атомарному высказыванию “P S A _ n e g _ a t o m ” применяется операция декомпозиции запроса на вывод простого высказывания на запросы к семантически близким простым высказываниям. В результате будут добавлены следующие конструкция:

reasoning интерпретации формулы, которая формирует конструкцию:

interpretation denied_ Ш а г 7 5. К высказыванию “P S A _ n e g ” применяется операция формирования интерпретации формулы, которая формирует конструкцию:

interpretation confirmed_ Ш а г 7 6. К высказыванию “P S A _ с a u s e ” применяется операция формирования интерпретации формулы, которая формирует конструкцию:

interpretation interpreted Ш а г 7 7. К высказыванию “P S A _ a t o m ” применяется операция формирования интерпретации формулы, которая на основании формул “S _ _ c a u s e ” и “P S A _ с a u s e ” формирует конструкцию:

interpretation confirmed_ Ш а г 7 8. К высказыванию “P S A _ с a u s e ” применяется операция формирования интерпретации формулы, которая формирует конструкцию:

interpretation confirmed_ Ш а г 7 9. К высказыванию “А к с и о м а о п а р а л л е л ь н о й п р я м о й ” применяется операция формирования интерпретации формулы, которая формирует конструкцию:

interpretation confirmed_ Ш а г 8 0. К высказыванию “P S A _ e f f e c t ” применяется операция формирования интерпретации формулы, которая формирует соответствующую конструкцию.

Ш а г 8 1. К высказыванию “P D _ a t o m ” применяется операция формирования интерпретации формулы, которая формирует соответствующую конструкцию.

Ш а г 8 2. К высказыванию “q a 1 _ P D d a _ i n t e r s e c t i o n ” применяется операция формирования интерпретации формулы, которая формирует соответствующую конструкцию.

Ш а г 8 3. К высказыванию “q u e r y _ a t o m 1 ” применяется операция формирования интерпретации формулы, которая на основании формул “S _ _ c a u s e ” и “P S A _ с a u s e ” формирует соответствующую конструкцию.

высказывания. Высказывание приобретает истинностное значение истина:

Планиметрия Ш а г 8 5. Ко всем высказываниям входящим во множество “t e m p o r a r y ” применяется операция уничтожения промежуточных конструкций, которая удаляет интерпретации и различные служебные конструкции используемые исключительно для вывода.

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

В процессе решения будет сформирована конструкция, поясняющая результат решения.

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

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

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

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

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

• фактографический язык SCB (Semantic Code Basic), описанный в разделах 2 и 3;

• язык SC (Semantic Code), являющийся основой для построения различных логических языков и языков представления знаний, описанный в разделе 4;

• язык SCL (Semantic Code Logic), являющийся одним из возможных (но не единственно возможным) логических языков, построенных на основе языка SC, описанный в разделах 5 и 6;

• язык описания целей (заданий) в графодинамических ассоциативных машинах, описанный в разделе 6;

• навигационно-поисковая графодинамическая ассоциативная машина, описанная в разделе 7;

• графодинамические ассоциативные машины вывода, описанные в разделе 8.

2. Аспекты реализации графодинамических ассоциативных машин обработки знаний рассмотрены в книге [411] (П р о г р В А М - 2 0 0 1 к н ), которая является естественным продолжением данной книги.

В основе реализации графодинамических ассоциативных машин обработки знаний лежит язык программирования SCP (Semantic Code Programming), специально ориентированный на обработку информации в графодинамической (структурно перестраиваемой) ассоциативной памяти.

3. Применение графодинамических моделей обработки знаний в области автоматизации обучения рассмотрено в книге [236] (И н т е л О С и В У О - 2 0 0 1 к н ). В ней рассмотрены вопросы проектирования интеллектуальных обучающих систем и интеллектуальных виртуальных учебных организаций.

Литература Абдрахманов Б.К.1990ст-ИсслеВРА Абдрахманов Б.К. Исследование возможностей распараллеливания алгоритмов функционирования экспертных систем и реализация их на однородной вычислительной среде //Методы и средства параллельной обработки данных в системах связи. - М.: Моск. ин-т связи, 1990. - с. 60-74.

Авербух А.Б..1990ст-оПринцПВЯ Авербух А.Б., Коваль В.Н., Рабинович З.Л. О принципах построения внутреннего языка ЭВМ, ориентированной на решение широкого класса задач искусственного интеллекта // II Всесоюзная конференция "Искусственный интеллект-90". - Минск, 1990. - Т. 2. - с. 121-124.

Агафонов В.Н..1988ст-ЛогичП Агафонов В.Н., Борщев В.Б., Воронков А.А. Логическое программирование в широком смысле (обзор) // Логическое программирование. - М.: Мир, 1988. - с. 298-366.

Агафонов В.Н.1982ст- ТипыИАД Агафонов В.Н. Типы и абстракция данных в языках программирования (обзор) // Данные в языках программирования. Абстракция и типология. - М.: Мир, 1982. - с. 265-327.

Агафонов В.Н.1990кн-СпециП Агафонов В.Н. Спецификация программ: понятийные средства и их организация. 2-е издание. - Новосибирск: Наука, 1990.

Агафонов В.Н.ред.1982сб-АбстрИТ Данные в языках программирования. Абстракция и типология: Сб. статей / Пер. с англ. под ред. Агафонова В.Н. - М.: Мир, 1982.

Агафонов В.Н.ред.1988сб-ЛогичП Логическое программирование: Сб. статей / Пер. с англ. и франц.; Под ред. Агафонова В.Н. - М.: Мир, Агеев В.Н.1984ст- ПримеГиГС Агеев В.Н. Примеры гипертекстовых и гипермедиа систем (обзор)// Компьютерные технологии в высшем образовании: Сб. статей. М.: Изд-во МГУ,1994.-с.225-229.

Айелло Л..1986ст-ПредсИИМ Айелло Л., Чекки К., Сартини В. Представление и использование метазнаний // ТИИЭР. - 1986. - Т. 74. – Айзерман М.А., Гусев Л.А., Петров С.В., Смирнова И.М., Тененбаум Л.А. Динамический подход к анализу структур, описываемых графами (основы графодинамики) // Исследования по теории структур. - М.: Наука, 1988. - с. 5-76.

Динамический подход к анализу структур, описываемых графами / Айзерман М.А., Гусев Л.А., Петров С.В., Смирнова И.М. // Автоматика и телемеханика. - 1977. - N 7. - с.136-151; - N 8. - с. 123-136.

Айлиф Дж. Принципы построения базовой машины / Пер. с англ. - М.: Мир, 1973.

Акофф Р., Эмери Ф. О целеустремленных системах. Пер. с англ. - М.: Сов.радио, 1974.

Александров В.В. Восприятие визуальной информации в системах искусственного интеллекта // Новости искусственного интеллекта. - 1992. - N 1. - с.25-45.

Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Н.А. Алешина, А.М. Анисов, П.И. Быстров и др.- - М.: Наука, 1990.

Амамия М., Танака Ю. Архитектура ЭВМ и искусственный интеллект: Пер. с япон.- М.: Мир, 1993.

Амосов Н.М., Касаткин А.М., Касаткина Л.М. Активные семантические сети в роботах с автономным управлением // Труды IV Международной объединенной конференции по искусственному интеллекту: Т.9.

Анастази А. Психологическое тестирование. Т.1.М., 1982.

Арбиб М. Мозг, машина и математика. - М.: Наука, 1968.

Арбиб М.А. Метафорический мозг / Пер. с англ. - М.: Мир, 1976.

АрлазаровВ.Л., Журавлев Ю.И., Ларичев О.И., Лохин В.М., Макаров И.М., Рахманкулов В.З., Финн В.К.

Теория и методы создания интеллектуальных компьютерных систем// Информационные технологии и вычислительные системы.- М, №1, 1998. - с.3-13.

Асельдеров З.М. Представление графов и операции над ними. - Киев, 1987. (Препринт / АН УССР. Ин-т кибернетики им. В.М.Глушкова; N 87-49).

Асратян Р.Э., Волков А.Ф., Лысиков В.Т. Аппаратная реализация синтаксического анализатора с помощью ассоциативной памяти // Автоматика и телемеханика. - 1979. - N 4.

Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов. - М.: Мир, 1979.

Ачасова С.М., Бандман О.Л. Корректность параллельных вычислительных процессов. - Новосибирск:

Наука. Сиб. отд-ние, 1990.

Бабаев И.О., Новиков Ф.А., Петрушина Т.И. Язык Декарт - входной язык системы СПОРА // Прикладная информатика. М.: Финансы и статистика, 1981. - Вып.1. - с. 35-73.

Бабаян Б.А. Уровень программирования и архитектурные принципы построения ЭВМ // Кибернетика и вычислительная техника. М.: Наука, 1986. - Вып. 2. - с. 18-27.

Базисный РЕФАЛ и его реализация на вычислительных машинах. Методическое пособие М.: ЦИИПИАС, Управляемый контекстом целенаправленный анализ изображений на основе использования семантической сети / Байков А.М., Кузин Е.С., Хахалин Г.К., Шамич А.П. // Вопросы радиоэлектроники. Сер. ЭВТ. Вып. 1. - с. 50-58.

Бакаев А.А., Гриценко В.Н., Козлов Д.Н. Оболочка экспертной системы со смешанной стратегией логического вы- вода. - Киев, 1989. (Препринт / АН УССР Ин-т кибернетики им. В.М. Глушкова; N 89-15).

Многофункциональные регулярные вычислительные структуры/ Балашов Е.П., Смолов В.Б., Петров Г.А., Пузанков Д.В. - М.: Сов. радио, 1978.

Специализированные процессоры для высокопроизводительной обработки данных / Бандман О.Л., Миренков Н.Н., Седухин С.Г. и др. - Новосибирск: Наука, 1988.

Бандман О.Л. О параллельных алгоритмах // Программирование. - 1983. - N 4. - с. 9-15.

Бандман О.Л. Асинхронная интерпретация параллельных микропрограмм // Кибернетика. - Киев, 1984. – Методы параллельного микропрограммирования / под ред. Бандман О.Л. - Новосибирск: Наука, 1981.

Барздинь Я.М., Калниньш Я.Я. Об одном языке преобразования графов, ориентированном на задание автоматов // Ав- томат. и выч. техн. - Рига, 1973. - N 5. - с. 22-28.

Барздинь Я.М. Некоторые правила индуктивного вывода и их применение // Семиотика и информатика. Вып. 19. - с. 59-89.

Батыршин И.3. Методы представления и обработки нечеткой информации в интеллектуальных системах // Новости искусств, интеллекта. - 1996. - №2. - С.9-65.

Башлыков А.А., Вагин В.Н., Еремеев А.П. Экспертные системы поддержки интеллектуальной деятельности операторов АЭС, Вестник МЭИ, М.: Изд-во МЭИ, 1995. - С. 27-36.

Белецкая И.П. Гипертекстовые системы. Современное состояние // Знания. Диалог. Решение. Часть I.

Теоретические основы и методы. Отчёт РГ-26 КНВВТ. - Киев, 1990.

Белецкий В.Н. Многопроцессорные и параллельные структуры с организацией асинхронных вычислений.

- Киев: Наукова думка, 1988.

Белнап Н., Стил Т. Логика вопросов и ответов. - М.: Прогресс, 1981.

Белов В.В., Воробьев В.М., Шаталов В.Е. Теория графов. - М.: Высшая школа, 1976.

Белоглазов В.Н., Скоробогатов В.А. Система автоматизации решения задач на графах // Вычислительные системы. Вып.69. Вопросы обработки информации при проектировании систем. - Новосибирск: Ин-т матем. СО АН СССР, 1974. - с. 24-39.

Беляев И.П., Капустян В.М., Медведев Б.Г. Комбинаторная память // Изв. АН СССР. Техн. кибернет. N 2. - с. 114-127.

Бениаминов Е.М. Алгебраический подход к моделям баз данных реляционного типа // Семиотика и информатика. - 1979. - Вып. 14. - с. 44-80.

Бениаминов Е.М. Основания категорного подхода к представлению знаний. Категорные средства // Изв.

АН СССР. Техн. кибернет. - 1988. - N 2. - с. 21-33.

Берж К. Теория графов и ее применения. - М.: ИЛ, 1962.

Берзтисс А.Т. Структуры данных. - М.: Статистика, 1974.

Берков В.Ф. Вопрос как форма мысли. - Мн.: БГУ, 1972.

Беркович С.Я., Кочин Ю.Я., Молчанов В.А. Об эффективности применения ассоциативной памяти в вычислительных процедурах // Вычислительные системы. - Новосибирск: ИМ СО АН СССР, 1975. - Вып. 62. с. 97-105.

Берштейн Л.С., Лисяк В.В., Рабинович В.А. Однородная программируемая структура для решения комбинаторно-логических задач на графах и гиперграфах // Методы расчета и автоматизация проектирования устройств в микроэлектронных ЦВМ. - Киев: ИК АН УССР, 1975. - с. 39-52.

Берштейн Л.С., Башмаков Д.М. Использование расплывчатых ориентированных гиперграфов второго рода для представления фреймовых моделей // Методы построения алгоритмических моделей сложных систем. - Таганрог, 1988. - Вып. 7.- с. 64-68.



Pages:     | 1 |   ...   | 7 | 8 || 10 | 11 |


Похожие работы:

«Осин А.В. Электронное издание в образовательном пространстве 1. Образование и компьютер. Компьютеризация, информатизация образования, компьютерные технологии обучения – эти термины сегодня, пожалуй, самые употребляемые в педагогическом сообществе. Информатизация образования вступает на качественно новый уровень: решается задача массового использования компьютерных технологий в общем и профессиональном образовании. По существу это означает, что время пилотных проектов, разных подходов и...»

«№ комн. Абоненты город мобильный внутр АДМИНИСТРАЦИЯ Cправочная (факс 41-66-84) 258 41-58-37 9066642228 6-92 Приемная, секретарь ректора (факс 76-04-66) 250 42-00-24 9065699889 6-04 Приемная, секретарь президента (факс 47-50-70) 234 43-26-06 9065698111 2-22 Первый проректор 232 41-32-92 9066606333 6-01 Проректор по научной работе (факс 41-67-34) 251 47-50-71 9066628889 6- Проректор по учебной работе 232 41-53-43 9066606333 6- Проректор по развитию и административным вопросам 253 43-26-00...»

«Тесты по темам программы предмета Прикладная информатика Тема Основные устройства ПК. Их назначение Вопросы, соответствующие низкому уровню 1. Что из перечисленного не является носителем информации? а) Книга б) Географическая карта в) Дискета с играми г) Звуковая плата 2. Какое имя соответствует жесткому диску? а) А: б) B: в) С: г) Я: 3. Что необходимо делать в перерывах при работе за ЭВМ? а) Почитать книгу б) Посмотреть телевидение в) Гимнастику для глаз 4. Какое устройство оказывает вредное...»

«РОССИЙСКАЯ АКАДЕМИЯ НАУК Санкт-Петербургский институт информатики и автоматизации Посвящается 30-летию Санкт-Петербургского института информатики и автоматизации Российской академии наук В.В. Александров С.В. Кулешов О.В. Цветков ЦИФРОВАЯ ТЕХНОЛОГИЯ ИНФОКОММУНИКАЦИИ Передача, хранение и семантический анализ ТЕКСТА, ЗВУКА, ВИДЕО Санкт-Петербург НАУКА 2008 1 УДК 004.2:004.6:004.7 ББК 32.973 А Александров В.В., Кулешов С.В., Цветков О.В. Цифровая технология инфокоммуникации. Передача, хранение и...»

«А.Н. ЛИБЕРМАН ТЕХНОГЕННАЯ БЕЗОПАСНОСТЬ: ЧЕЛОВЕЧЕСКИЙ ФАКТОР Санкт-Петербург 2006 Издание осуществлено при поддержке Центра информатики „Гамма-7” (г. Москва) Либерман Аркадий Нисонович Техногенная безопасность: человеческий фактор. СПб, 2006 г. В книге проведен анализ роли человеческого фактора в возникновении техногенных аварий и катастроф. Изложены критерии и методы количественной оценки риска и ущерба в результате негативного воздействия их последствий на здоровье людей. Сформулированы цели и...»

«Государственная публичная научно-техническая библиотека Сибирского отделения Российской академии наук Новости ГПНТБ СО РАН № 2 (апрель – июнь) 2007 НОВОСИБИРСК Составитель Е.Б. Соболева Ответственный за выпуск И.А. Гузнер Новости ГПНТБ СО РАН. № 2 (апрель – июнь 2007). – Новосибирск. – 2007. – 95 с. – Ежекв. Цель издания – информировать коллектив ГПНТБ СО РАН и библиотечную общественность о важнейших событиях и результатах работы по основным направлениям деятельности различных подразделений...»

«1 Государственное образовательное учреждение высшего профессионального образования Московской области Международный университет природы, общества и человека Дубна (Университет Дубна) ИСАУ Кафедра системного анализа и управления УЧЕБНО-МЕТОДИЧЕСКИЙ КОМПЛЕКС ДИСЦИПЛИНЫ Проектирование информационных систем для специальности 080801.65 – прикладная информатика (в менеджменте) Дубна, 2010 г. 2 УМК разработан ст. преп. каф. САУ Савватеевой Т.П. _ подпись Протокол заседания кафедры САУ № _ от 20 г....»

«МИНОБРНАУКИ РОССИИ ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ ЮЖНЫЙ ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ ТЕХНОЛОГИЧЕСКИЙ ИНСТИТУТ в г. ТАГАНРОГЕ В.В. БОГДАНОВ И.В. ЛЫСАК ИСТОРИЯ И ФИЛОСОФИЯ НАУКИ ФИЛОСОФСКИЕ ПРОБЛЕМЫ ИНФОРМАТИКИ ИСТОРИЯ ИНФОРМАТИКИ Учебно-методический комплекс по дисциплине Таганрог 2012 1 ББК 87я73 Богданов В.В., Лысак И.В. История и философия науки. Философские проблемы информатики. История информатики: Учебно-методический...»

«МИНИСТЕРСТВО КУЛЬТУРЫ РОССИЙСКОЙ ФЕДЕРАЦИИ Отчет по научно-исследовательской работе Анализ существующего уровня доступности культурного наследия, в том числе с использованием информационнокоммуникационных технологий, основные направления повышения информационной безопасности КНИГА 1 Государственный заказчик: Министерство культуры Российской Федерации Исполнитель: Общество с ограниченной ответственностью Компания МИС-информ Москва 2012 Анализ существующего уровня доступности культурного...»

«РОССИЙСКОЕ ОБЩЕСТВО СОЦИОЛОГОВ ДЕПАРТАМЕНТ ИНФОРМАЦИОННОЙ ПОЛИТИКИ ХАНТЫ-МАНСИЙСКОГО АВТОНОМНОГО ОКРУГА - ЮГРЫ ЦЕНТР НЕЗАВИСИМЫХ ИССЛЕДОВАНИЙ ГОРИЗОНТ Давыдов С. Г. Дерман Г. Н. Костерин И. М. Стожаров А. В. Стожарова Д. А. Информационное пространство Югры: состояние и динамика развития Санкт-Петербург – Ханты-Мансийск Издательство Любавич 2010 ББК 60.56в7(2Рос-4) Информационное пространство Югры: состояние и динамика развития Российское общество социологов, департамент информационной политики...»

«Федеральное агентство по образованию Владивостокский государственный университет экономики и сервиса В.М. ГРИНЯК, Е.И. КОГАЙ ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ УПРАВЛЕНИЯ ТОРГОВЛЕЙ Практикум Владивосток Издательство ВГУЭС 2010 ББК 65.01 Г 85 Рецензенты: П.В. Зиновьев, доцент кафедры ММ, ДВГТУ; С.М. Моисеев, директор фирмы Созвездие, г. Владивосток Гриняк, В.М., Когай, Е.И. ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ УПГ 85 РАВЛЕНИЯ ТОРГОВЛЕЙ [Текст] : практикум. – Владивосток : Изд-во ВГУЭС, 2010. – 152 с. Рассмотрены...»

«ТЕХНИЧЕСКИЙ КОДЕКС ТКП 211-2010 (02140) УСТАНОВИВШЕЙСЯ ПРАКТИКИ ЛИНЕЙНО-КАБЕЛЬНЫЕ СООРУЖЕНИЯ ЭЛЕКТРОСВЯЗИ. ПРАВИЛА ПРОЕКТИРОВАНИЯ ЛIНЕЙНА-КАБЕЛЬНЫЯ ЗБУДАВАННI ЭЛЕКТРАСУВЯЗI. ПРАВIЛЫ ПРАЕКТАВАННЯ Издание официальное Минсвязи Минск ТКП 211-2010 УДК 621.395.74.001.2 МКС 33.040.50 КП 02 Ключевые слова: кабельные линии электросвязи, сеть проводного вещания, трасса кабеля, кабели волоконно-оптические и электрические, канализация кабельная, траншея, колодцы, муфты, вводы кабельные, оборудование...»

«Министерство образования и науки РФ Новокузнецкий институт (филиал) федерального государственного бюджетного образовательного учреждения высшего профессионального образования Кемеровский государственный университет Факультет информационных технологий Кафедра математики и математического моделирования УТВЕРЖДАЮ Директор В.С. Гершгорин _20г. УЧЕБНО-МЕТОДИЧЕСКИЙ КОМПЛЕКС ДИСЦИПЛИНЫ Б2.Б.1.4 ДИСКРЕТНАЯ МАТЕМАТИКА Для направления 230100.62 Информатика и вычислительная техника Квалификация (степень)...»

«Министерство образования и науки Российской Федерации Сыктывкарский лесной институт (филиал) федерального государственного бюджетного образовательного учреждения высшего профессионального образования Санкт-Петербургский государственный лесотехнический университет имени С. М. Кирова Кафедра теплотехники и гидравлики ПРОЦЕССЫ И АППАРАТЫ ХИМИЧЕСКОЙ ТЕХНОЛОГИИ Сборник описаний лабораторных работ для подготовки дипломированных специалистов по направлениям 240406.65 Технология химической переработки...»

«МИНИСТЕРСТВО ОБРАЗОВАНИЯ МОСКОВСКОЙ ОБЛАСТИ АКАДЕМИЯ СОЦИАЛЬНОГО УПРАВЛЕНИЯ АНАЛИЗ РЕЗУЛЬТАТОВ ЕДИНОГО ГОСУДАРСТВЕННОГО ЭКЗАМЕНА ПО ПРЕДМЕТАМ ПО ВЫБОРУ НА ТЕРРИТОРИИ МОСКОВСКОЙ ОБЛАСТИ В 2013 ГОДУ Сборник методических материалов АСОУ 2013 Анализ результатов единого государственного экзамена по предметам по выбору на территории Московской области в 2013 г.: Сборник методических материалов. – М.: АСОУ, 2013. – 178 с. Сборник содержит анализ результатов единого государственного экзамена 2013 г. на...»

«Мультиварка RMC-M150 РУКОВОДСТВО ПО ЭКСПЛУАТАЦИИ УВАЖАЕМЫЙ ПОКУПАТЕЛЬ! Благодарим вас за то, что вы отдали предпочтение бытовой технике REDMOND. REDMOND — это качество, надежность и неизменно внимательное отношение к потребностям наших клиентов. Надеемся, что вам понравится продукция нашей компании, и вы также будете выбирать наши изделия в будущем. Мультиварка REDMOND RMC-M150 — современный много- Чтобы вы могли быстрее освоить технику приготовления в функциональный прибор нового поколения для...»

«ТЕХНИЧЕСКИЙ КОДЕКС ТКП 011-2005 (02140) УСТАНОВИВШЕЙСЯ ПРАКТИКИ ОРГАНИЗАЦИЯ И ПОРЯДОК ПРОВЕДЕНИЯ РАБОТ ПО ВЫБОРУ ИЗМЕРИТЕЛЬНОГО ОБОРУДОВАНИЯ АРГАНIЗАЦЫЯ I ПАРАДАК ПРАВЯДЗЕННЯ РАБОТ ПА ВЫБАРУ ВЫМЯРАЛЬНАГА АБСТАЛЯВАННЯ Издание официальное Минсвязи Минск ТКП 011-2005 УДК 389.14 МКС 17.020 КП 02 Ключевые слова: измерительное оборудование, метрологическая характеристика, тендер Предисловие Цели, основные принципы, положения по государственному регулированию и управлению в области технического...»

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

«Общая методика преподавания информатики 3 Введение В 1985 году в школе появился предмет Основы информатики и вычислительной техники, а с 1986 г. в учебные планы педагогических вузов включен курс Методика преподавания информатики (в Государственном образовательном стандарте 2000 г. – Теория и методика обучения информатике). Старое название курса сохранено в фундаментальном пособии М.П. Лапчика и др. [51], такое же название решил оставить и автор настоящего пособия. К настоящему времени...»

«Санкт-Петербургский институт информатики и автоматизации РАН В.В.АЛЕКСАНДРОВ ИНТЕЛЛЕКТ И КОМПЬЮТЕР Санкт-Петербург 2004 г. ББК 32.973-04 УДК 681.327.1 В.В. Александров Интеллект и компьютер. - СПб.: Издательство Анатолия, 2004. -285 с. Аннотация Основное содержание книги – гимн компьютерному интеллекту, цель которого – помочь заблуждающемуся разуму человека преодолеть катастрофические последствия, порожденные как персональным, так и коллективным бессознательным. Искусство и творчество, казалось...»














 
© 2014 www.kniga.seluk.ru - «Бесплатная электронная библиотека - Книги, пособия, учебники, издания, публикации»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.