Главная > Документ


Само внутреннее представление БЗ говорит о структуре памяти Интеллсист и распределения элементов знаний. Вот некоторые соображения общего свойства.

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

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

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

Каждый ЯПП предназначен для ввода знаний конкретных предметной и проблемной областей в БЗ. Работа с текстами ЯПП весьма затруднительна из-за слабой форматности записей. Работа ВМ связана с обработкой хорошо структурированных сообщений. Поэтому первым шагом ввода знаний должен быть шаг, связанный с формализацией текстов ЯПП. Средством представления формализаций текстов является ФЯ Лейбниц. Имеется несколько потенциальных схем для технической реализации перевода (трансляции) текстов ЯПП на ФЯ [Красилов75]. Прямая трансляция перерабатывает исходный текст в запись его на ФЯ. Вторая схема предусматривает претранслятор с некоторого подмножества ЯПП (например, связанного с много этажностью представления формул) на ЯПП. Третья схема может еще предусматривать распознаватели самых различных классов. Например, распознаватель многоэтажных текстов-таблиц, распознаватель текстов после чтения сканером, распознаватель речевых сигналов и т.п. Будем рассматривать вопросы реализации прямой трансляции, а наращиваниесистемы претрансляторами пока оставим без рассмотрения. Но, например, транслятор ЯПП --> SQL предназначен для генерации формул. Такие системы тожецелесообразно рассматривать.

Целесообразны схемы с посттрансляторами. В нашем случае, выходной информацией трансляции ЯПП --> ФЯ должны быть деревья, представляющие формулы языка Лейбниц. В случае, когда транслятор формирует логические формулы, то будем иметь дело с обратной трансляцией. Будем придерживаться схемы трансляции, при которой результатом трансляции будут деревья, они обеспечивают эффективную работу МЛВ по запросам пользователей. Применение прямого транслятора потребует еще одного просмотра текста посттранслятором для оформления результатов логического вывода или счета. Объединение транслятора с пост транслятором экономит ресурсы системы. Язык Лейбниц в таком случае будет виртуальным - внешним представлением внутренней кодировки данных о текстах.

Определенная сложность имеется и в представлении деревьев [Ахо78]. Во-первых, вспомним, что каждый абзац - это законченная мысль, формальное представление которой определяется формулой, а для внутреннего представления - деревом. Исходный текст всего знания состоит из сотен абзацев, а, следовательно, число деревьев велико. Поэтому прямоепредставление всех деревьев в памяти МЛВ недопустимо из-за емкости записей и из-за сложности манипулирования такими объектами. Эта же проблема ставится и передпредставлениемодного дерева. В таком случае необходимо решать проблему оптимального представления дерева. Во-вторых, всю совокупность деревьев, представляющую емкость знания, также необходимо представить в памяти МЛВ оптимально. Будем ориентироваться на общий случай представления оптимальной совокупности оптимальных деревьев. При тиражировании деревьев тогда будут тиражироваться только ссылки на деревья. Это утверждение верно и для поддеревьев, и для листьев дерева, представленных операндами.

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

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

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

Из программистской литературы [Джехани88, Бауэр76] известны различные формы представления данных в виде деревьев. Их содержательная функция - внутреннее представление формул в бесскобочном виде с учетом приоритета каждой операции. Использование древовидного представления формул значительно эффективнее строчного (или тем более многоэтажного) представления, которое является основным представлением в алгоритмических языках. Работа с формулами (программирование операций над формулами) во время аналитическихвыкладок с ними складывается из некоторого набора операций. Совокупность операций, реализованнаяавтономно от программ, составляет процессор. В данном случае будем его именовать процессором деревьев, подразумевая при этом, что процессор будет использоваться для преобразования формул при производстве аналитических выкладок в МЛВ.

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

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

  1. Лексический анализатор: исходный текст перерабатывается в текст-результат на языке лексических элементов - символы (ключевые или зарезервированные слова), ссылки на переменные и константы.

  2. Составление словарей: внешнее представление слов, знаков и терминов перерабатывается в деревья слов и терминов.

  3. Грамматический анализатор: последовательность лексических элементов перерабатывается в текст-результат на ФЯ SQL для передачи СУБДу. Грамматический анализатор используется для контроля орфографии и грамматики текстов.

  4. Генератор вопросов пользователю для уточнения текста запроса.

  5. Генератор текстов ошибок для подведения итогов грамматическогоразбора.

  6. Диспетчер мыслишек для постепенного формирования целой мысли.

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

7.5. Генератор вопросов

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

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

Интеллсист задает вопросы относительно неопределенных операций. При этом формируется в Интеллсист стандартный вопрос: «Будете ли уточнять операции?». Если ответ пользователя есть «да», то высвечиваются оставшиеся в записях операции, которые не раскрыты в фактах, а также возможно комбинации операций. Операции или комбинации операций в вопросах следует определить аксиоматически или описательно. Затем задаются вопросы относительно неопределенных величин. При этом формируются вопросы: «Будете ли уточнять величины?». Если ответ есть «да», то высвечиваются оставшиеся в записях величины, которые не раскрыты в фактах, а также возможно комбинации величин и операций. Величины или комбинации величин и операций в вопросах следует определить аксиоматически или явно в описаниях. Если ответ пользователя «нет», то Интеллсист формирует либо получающийся результат, либо СП, если генератор программ вновь не задаст вопросы относительно величин и операций. После уточнения операций через дополнительный запрос МЛВ продолжает работу и возможно повторяет свои вопросы или завершает работу при построении всех альтернатив совместных фактов или СП.

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

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

7.6. Алгоритмы и их запись

Интеллсист предусматривает работы, связанные с получением программ или синтезом программ. Здесь ограничимся только отдельными замечаниями. Более подробно проблема синтеза программ обсуждается в реководства программисту по комплексу Интеллсист.

Программист может воспользоваться средствами ИП для построения программ. Для этого используются обращения к процедурам, помеченные логические выражения, стандартные процедуры и операция соединения текстов для указания потока управления. Операцией является знак .^ или ;^, соединяющий части алгоритма или программы. Чаще всего программист будет использовать готовые программы, вызов которых реализуется средствами языка Вызов.

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

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

7.7. Диспетчер мыслишек

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

Под мыслишками условно понимается неполное знание. Оно может пополниться или уточниться в контексте или извне. Извне означает, что пользователь добавит некоторые фразы, через которые неопределенность исчезнет. Будем рассматривать случаи определения или доопределения по контексту, то есть последовательность «соседних» терминов должна определить смысл неопределенного или определенного не полностью термина. Здесь рассматривается начальная схема диспетчера (или анализатора) мыслишек. Со временем начальная схема должна развиться так, чтобы максимально моделировать деятельность человека по пониманию текстов с помощью контекста (учет всего текста записи знаний или запросов, поиск в библиотеке или в Интернет).

Часть текста (предложение или фраза) называется мыслишкой. Из них состоит вся мысль, если смысл текста можно установить по контексту этой части. Полный текст или его часть (мыслишка) состоят излексических элементов - чисел, строк, символов, терминов (представляющих понятия), комментариев, прагм и ограничителей. Их синтаксис определяется в ЯЛ. Выделениелексических элементов важно (это видно по грамматикам ЕЯ). Только полная лексема передает мысль или ее часть - мыслишку. Система реализует два параллельных просмотра исходного текста. Мыслишка должна быть правильной. При обнаружении ошибок в мыслишках (как в лексических элементах) трансляция данной мыслишки считается не состоявшейся. Если мыслишки в совокупности не определяют мысли, то система делает попытку уточнения некоторых мыслишек, которых недостает для формирования смысла. Для уточнения смысла система формирует вопросы для пользователя и по ответу доформировывает мысль.

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

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

  • каждый лексический элемент может порождать начало новой мыслишки, которая может и не закончиться;

  • осталась одна законченная мыслишка - это благоприятный вариант грамматического анализа;

  • не осталось ни одной законченной мыслишки - это порождает ошибку, которую можно назвать смысловой;

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

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

Литература

[Абрамов89] Абрамов С.А., Зима Е.В. Начала информатики М., Наука, 1989. - 256 с.

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

[Агафонов87] Агафонов В.Н. Спецификация программ: понятийные средства и их организация. Новосибирск, Наука, 1987

[Айзерман90] Айзерман М.А., Алескеров Ф.Т. Выбор вариантов. Основы теории. - М., Наука, 1990, - 237 с.

[Айламазян89] Айламазян А.К., Стась Е.В. Информатика и теория развития. - М., Наука, 1989. - 174 с.

[Алгоритмы82] Алгоритмы, математическое обеспечение и архитектура многопроцессорных вычислительных систем. - М., Наука, 1982. - 336 с.

[Алгоритмы90] Алгоритмы и программы решения задач на графах и сетях. - М., Наука, 1990, - 515 с.

[Александров78] Александров В.В., Лапин А.Н. К проблеме построения диалоговых систем хранения знаний. //В кн.: Автоматизация исследований и проектирования. - М., 1978

[Александров75] Александров Е.А. Основы теории эвристических решений. - М., Советское радио, 1975, - 254 с.

[Алексеев68] Алексеев П.М. Частотный словарь английского подъязыка электроники. //В сб.: Статистика речи. - Л., 1968

[Алексеева84] Алексеева З.Я., Стефанюк В.А. Экспертные системы - состояние и перспективы. //Изв. АН СССР, Техническая кибернетика, 1984, N 5

[Алексеева97] Алексеева Т.Н., Алексеев А.В., Гаврилин А.В., Товбис М.Б., Удалов В.А., Яковлева Т.А. О региональном стандарте по информатике (предложение по разработке и внедрению). - М., Информатика и образование, 1997, N 5, с.8-10

[Алиев90] Алиев Р.А., Абдикеев Н.М., Шахназаров М.М. Производственные системы с искусственным интеллектом. - М., Радио и связь, 1990, - 264 с.

[Алиев91] Алиев А.С., Восков Л.С., Ильин В.Н., Матвеев В.И., Садеков А.С., Сыпчук П.П., Чиннова И.И. Интеллектуальные САПР технологических процессов в радиоэлектронике. - М., Радио и связь, 1991, 262 с.

[Альтшуллер73] Альтшуллер Г.С. Алгоритм изобретения. - М., Московский рабочий, 1973. - 296 с.

[Альтшуллер79] Альтшуллер Г.С. Творчество как точная наука. Теория решения изобретательских задач. - М., Сов.радио, 1979, - 176с.

[Амамия93] Амамия М., Танака Ю. Архитектура ЭВМ и искусственный интеллект. - М., Мир, 1993, - 400 с.

[Амосов79] Амосов Н.М. Алгоритмы разума. - Киев, Наукова думка, 1979, -220 с.

[Анализ84] Анализ и оптимальный синтез на ЭВМ систем управления. - М., Наука, 1984

[Анисимов83] Анисимов Б.В., Курганов В.Д., Злобин В.К. Распознавание и цифровая обработка изображений. - М., Высшая школа, 1983, - 295 с.

[Анохин73] Анохин П.К. Философский смысл проблемы естественного и искусственного интеллекта. - М., Вопросы философии, 1973, N 6

[Антонюк86] Антонюк Б.Д. Экспертные системы в программе стратегической инициативы США. // В кн.: Персональные компьютеры и локальные сети. - Тбилиси, 1986, - с. 9-10.

[Апресян74] Апресян Ю.Л. Лексическая семантика. - М., Наука, 1974

[Арбиб68] Арбиб М. Мозг, машина и математика. - М., Наука, 1968, - 224с.

[Аристотель] Аристотель. Сочинение. Т.1, - М., Мысль, 1976

[Арсак90] Арсак Ж. Программирование игр и головоломок.- М., Наука,1990, - 224 с.

[Атлантис] Документация по СУБД Атлантис.

[Ахо78] Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. - М., Мир, 1978. Т.1. Синтаксический анализ. - 614с. Т.2. Компиляция. - 488 с.

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

[Баженов64] Бежанов Л.Б. О некоторых философских аспектах проблемы моделирования мышления кибернетическими устройствами. //В кн.: Кибернетика, мышление, жизнь. - М., 1964

[Базилевич89] Л.А.Базилевич. Автоматизация организационного проектирования. - Л., Машиностроение ЛО, 1989. - 176 с.

[Бакланов78] Бакланов В.М., Попов Э.В. ";Понимание"; фраз ограниченного русского языка. - М., Изв. АН СССР, Техническая кибернетика, 1978, N 4.

[Бар88] Бар Р. Язык Ада в проектировании систем. - М., Мир, 1988

[Барздинь82] Барздинь Я.М. Некоторые правила индуктивного вывода и их применения. //В сб. Семиотика и информатика, вып. 19, - М., ВИНИТИ, 1982

[Баронец86] Баронец В.Д. Проектирование лингвистических устройств на основе нечеткой логики. //Автоматика и телемеханика, 1986, N 12

[Баррон74] Баррон Д. Рекурсивные методы в программировании. - М., Мир, 1974, - 80 с.

[Батурин] Батурин Ю.М. Проблемы компьютерного права. - М., Юридическая литература, 1991, - 272 с.

[Бауэр76] Бауэр Ф.Л., Гооз Г. Информатика. Вводный курс. - М., Мир, 1976

[Бауэр78] Бауэр Ф.Л., Гнац Р., Хилл У. Информатика. Задачи и решения.- М., Мир, 1978, - 355 с.

[Бектаев69] Бектаев К.Б., Зубов А.В., Ковалевич Е.Ф., Машкина Л.Е., Нехай .А. К исследованию законов распределения лингвистических единиц. //В сб.: Статистика текстов. .Лингвостатистические исследования. - Минск, 1969

[Бектаев71] Бектаев К.Б., Лукьяненко К.Ф. О законах распределения единиц письменной речи. //В сб.: Статистика речи и автоматический анализ текста. - Л., 1971, 1973, 1974

[Бектаев74] Бектаев К.Б., Пиотровский Р.Г., Шабес В.Я. Тезаурусное распознавание смысла документа в АСУ и АИСП. //В сб.: Лингвистическое обеспечение автоматизированных систем управления и информационно-поисковых систем. - Тюмень, 1974

[Белецкая91] Белецкая Л.В., Липницкий С.Ф., Машковская И.П., Млынчик И.И. Словарь по информатике. - Минск, Университетское, 1991, - 160 с.

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

[Белоногов79] Белоногов Г.Г., Новоселов А.П. Автоматизация процессов накопления, поиска и обобщения информации. - М., Наука, 1979

[Белый10] Белый А. Мысль и язык (философия языка А.А.Полтебни). //В сб.: Логос. - М., 1910

[Беляев86] Беляев И.П. Структурная модель представления знаний. // В кн.: Психологическое обеспечение АСОУ. - Одесса, 1986. - с. 60-65.

[Бенерджи71] Бенерджи Р. Теория решения задач. Подход к созданию искусственного интеллекта. - М., Мир, 1971, - 224 с.

[Берг76] Берг А.И.,Бирюков Б.В.,Геллер Е.С.,Поваров Г.И. Управление, информация, интеллект. - М., 1976

[Берж62] Берж К. Теория графов и ее применения. - М., ИЛ, 1962, - 320с.

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

[Бешенков97] Бешенков С.А., Давыдов А.Л., Матвеева Н.В. Гуманитарная информатика в начальном обучении. - М., Информатика и образование, 1997, N 4, с.62-64

[Бидер76] Бидер И.Г., Большаков И.А. Формализация морфологического компонента модели ";смысл-текст";. 1. Постановка проблемы и основные понятия. - М., Изв. АН СССР, Техническая кибернетика, 1976, N 6

[Библиотека81] Библиотека алгоритмов 151б - 200б. Справочное пособие. Вып.4. - М., Радио и связь, 1981

[Бирюков65] Бирюков Б.В. О взглядах Г.Фреге на роль знаков и исчисления в познании. //В сб.: Логическая структура научного знания. - М., 1965

[Блох87] Блох А.Ш. Граф-схемы и алгоритмы. - Минск, Высшая школа, 1987, 144 с.

[Богодист74] Богодист В.И. Измерение смысловой информации лингвистической единицы французского языка. - Л., 1974

[Бойченко85] Бойченко Е.В., Кальфа В., Овчинников В.В. Локальные вычислительные сети. - М., Радио и связь, 1985. - 304 с.

[Бонгард67] Бонгард М.М. Проблема узнавания. - М., Наука, 1967, - 320 с.

[Бондаренко97] Бондаренко Н.В., Северова Т.С., Соколовский М.В., Толстых Г.Д. О концепции обучения информатике в школе. - М., Информатика и образование, 1997, N 1, с.19-22

[Бордовский91] Бордовский Г.А., Извозчиков В.А., Исаев Ю.В., Морозов В.В. Информатика в понятиях и терминах. Книга для учащихся старших классов средней школы. - М., Просвещение, 1991, - 208с.

[Борисов89] Борисов А.Н., Алексеев А.В., Меркурьев Г.В., Слядзь Н.Н., Глушков В.И. Обработка нечеткой информации в системах принятия решений. - М., Радио и связь, 1989. -304с.

[Бохуа82] Бохуа Н.К., Геловани В.А., Ковригин О.В., Смольянов Н.Д. Экспертная система диагностики различных форм артериальной гипертензии. - М., Изв. АН СССР, Техническая кибернетика, 1982, N 6

[Боэм85] Боэм Б.У. Инженерное проектирование программного обеспечения. - М., Радио и связь, 1985, - 511 с.

[Брандон70] Брандон Д.Х. Организация работы на вычислительном центре. - М., Статистика, 1970, - 296 с.

[Братко90] Братко И. Программирование на языке Пролог для искусственного интеллекта. - М., Мир, 1990, - 560 с.

[Братчиков75] Братчиков И.Л. Синтаксис языков программирования. - М., Наука, 1975

[Браун77] Браун П. Микропроцессоры и мобильность программного обеспечения. - М., Мир, 1977, - 255 с.

[Бриллюэн66] Бриллюэн Л. Научная неопределенность и информация. - М., Мир, - 271 с.

[Бритон79] Бритон Д.Б. Новая компьютерная архитектура, основанная на потоке данных. - М., Электроника, 1979, N 9

[Бродская81] Бродская И.М., Камынин С.С. Система машинного видения для анализа сцен. //В кн.: Проблемы машинного видения в робототехнике. ИПМ АН СССР, - М., 1981

[Броуди90] Броуди Л. Начальный курс программирования на языке Форт. - М., Финансы и статистика, 1990, - 352 с.

[Брукс79] Брукс Ф.П. мл. Как проектируются и создаются программные комплексы. Мифический человеко-месяц. Очерки по системному программированию. - М., Наука, 1979, - 152 с.

[Брусницов79] Брусницов Н.П. Микрокомпьютеры. - М., Наука, 1979

[Брябрин81] Брябрин В.М. Ф-язык - формализм для представления знаний в интеллектуальной системе. //В сб.: Прикладная информатика. Вып. 1, Финансы и статистика, - М., 1981

[Брябрин88] Брябрин В.М. Программное обеспечение персональных ЭВМ. - М., Наука, 1988, - 271 с.

[Булос94] Дж.Булос, Р.Джеффри. Вычислимость и логика. - М., Мир, 1994, - 397 с.

[Бусленко78] Бусленко Н.П. Моделирование сложных систем. - М.,Наука,1978, 399 с.

[Вагин86] Вагин В.Н. Параллельная дедукция на семантических сетях. //Изв. АН СССР, Техническая кибернетика, 1986, N 5

[Вагин87] Вагин В.Н., Захаров В.Н., Розенблюм Л.Я. К логическому выводу на сетях Петри. //Изв.АН СССР, Техническая кибернетика, 1987, N 5

[Ван Дейк78] Ван Дейк Т. Вопросы прагматики текста. //В кн.: Новое в лингвистике. Вып. VIII. Лингвистика текста. - М., 1978

[Василеску90] Василеску Ю. Прикладное программирование на языке Ада. - М., Мир, 1990, - 350 с.

[Вегнер83] Вегнер П. Программирование на языке Ада. - М.,Мир,1983,- 240с.

[Вейль89] Вейль Герман. Математическое мышление. - М., Наука,1989,- 400с.

[Велихов86] Велихов Е.П. Информатика - актуальное направление развития советской науки. //Кибернетика. Становление информатики. - М., Наука, 1986, с.10-21

[Вельбицкий80] Вельбицкий И.В., Ходаковский В.Н., Шолмов Л.И. Технологический комплекс производства программ на машинах ЕС ЭВМ и БЭСМ-6. - М., Статистика, 1980, - 263 с.

[Ветров68] Ветров А.А. Семиотика ее основные проблемы. - М., 1968

[Винер66] Винер Н. Творец и робот. Обсуждение некоторых проблем, в которых кибернетика сталкивается с религией. - М., Прогресс, 1966

[Винер68] Винер Н. Кибернетика или управление и связь в живом и машине. - М., Советское радио, 1968, - 340 с.

[Виноград76] Виноград Т. Программа, понимающая естественный язык. -М., Мир, 1976

[Виноградов86] Виноградов В.И. Информационно-вычислительные системы: Распределенные модульные системы автоматизации. - М., Энергоатомиздат, 1986. - 336 с.

[Вирт77а] Вирт Н. Систематическое программирование: Введение. - М., Мир, 1977

[Вирт77б] Вирт Н. Язык программирования Паскаль (Пересмотренное сообщение). //В сб.: Алгоритмы и организация решения экономических задач. вып. 9, - М., Статистика, 1977

[Вирт85] Вирт Н. Алгоритмы + структуры данных = программы. - М., Мир, 1985, - 408 с.

[Власов88] Власов В.К., Королев Л.Н., Сотников А.Н. Элементы информатики. - М., Наука, 1988. - 320 с.

[Воз84] Воз Л. Решение некоторых открытых проблем с помощью программы для автоматического доказательства теорем. //Кибернетический сборник. Вып.21, - М., Мир, 1984, с.235-263

[Воронов90] Воронов Ю.П. Компьютеризация: Шаг в будущее. - Новосибирск: Наука, 1990. - 336 с.

[Восилюс80] Восилюс С.К., Мачераускас В.Ю. Фреймовое представление знаний в системах управления качеством. //В кн.: Представление знаний в системах искусственного интеллекта. - М., 1980

[Вудс76] Вудс В.А. Сетевые грамматики для анализа естественного языка. Кибернетический сборник, вып. 13, - М., Мир, 1976

[Вулф87] Вулф А. Модули на базе однокристального Лисп-процессора для ЭВМ военного назначения. //Электроника, 1987, т.60, N 5, с.27-31

[Высоцкий70] Высоцкий Г.Я., Рудный Б.Н., Трунин-Донской В.Н., Цемель Г.И. Опыт речевого управления вычислительной машиной. Изв. АН СССР, Техническая кибернетика, 1970, N 2

[Выч67] Вычислительные машины и мышление. - М., Мир, 1967, - 552 с.

[Выч78] Вычислительная техника и обработка данных. Терминологический толковый словарь фирмы IBM. - М., Статистика, 1978, - 232 с.

[Гаврилова00] Гаврилова Т.А., Хорошевский В.Ф. Базы знаний интеллектуальных систем (Учебник). Санкт-Петербург, Москва – Харьков – Минск, 2000, - 384 с.

[Гавурин63] Гавурин М.К. О ценности информации. Вестник ЛГУ. Сер. математики, механики и астрономии. N 19, вып. 4, 1963

[Гаек84] Гаек П., Гавранек Т. Автоматическое образование гипотез. Математические основы общей теории. - М., Наука, 1984. - 278 с.

[Гантер81] Гантер Р. Методы проектирования программного обеспечения. - М., Мир, 1981

[Гетманова95] Гетманова А.Д. Логика. Для педагогических учебных заведений. -М., Новая школа, 1995, - 416 с.

[Ги86] Ги К. Введение в локальные вычислительные сети. - М., Радио и связь, 1986. - 176 с.

[Гилой81] Гилой В. Интерактивная машинная графика: структуры данных, алгоритмы, языки. - М., Мир, 1981, - 384 с.

[Гильберт79] Гильберт Д., Бернайс П. Основания математики. Логические исчисления и формализация арифметики. - М., Наука, 1979, - 558с.

[Гильберт82] Гильберт Д., Бернайс П. Основания математики. Теория доказательств. - М., Наука, 1982, - 653 с.

[Гинзбург70] Гинзбург С. Математическая теория контекстно-свободных языков. - М., Мир, 1970, - 327 с.

[Гласс82] Гласс Р. Руководство по надежному программированию. - М., Финансы и статистика, 1982

[Гласс83] Гласс Р., Нуазо Р. Сопровождение программного обеспечения. - М., Мир, 1983, - 156 с.

[Глушков71] Глушков В.М., Гринченко Г.А. АНАЛИТИК. - К., Кибернетика,1971, N 3

[Глушков79] Глушков В.М. Фундаментальные исследования и технология программирования. //В кн.: Технология программирования. - К., ИК АН УССР, 1979

[Глушков82] Глушков В.М. Основы безбумажной информатики. - М., Наука, 1982, - 552 с.

[Глушков90] Глушков В.М. Кибернетика, вычислительная техника, информатика. Избранные труды в трех томах. Т.1. Математические вопросы кибернетики. - 264 с. Т.2. ЭВМ - техническая база кибернетики. - 268 с. Т.3. - Киев, Наукова думка, 1990

[Голендер81] Голендер В.Е. Индуктивная логика и методы обнаружения закономерностей. //В кн.: Машинные методы обнаружения закономерностей. - Рига, 1981

[Головкин80] Головкин Б.А. Параллельные вычислительные системы. - М., Наука, 1980. - 520 с.

[Горстко88] Горстко А.Б. Кочковая С.В. Азбука программирования. (Информатика для всех). - М., Знание, 1988, - 144 с.

[ГОСТ89] ГОСТ 28195-89. Оценка качества программных средств. Общие положения. Государственный комитет СССР по стандартам. - М., Издательство стандартов, 1989, - 38 с.

[Грей89] Грей П. Логика, алгебра и базы данных.- М., Машиностроение,1989,- 368 с.

[Гренандер83] Гренандер У. Лекции по теории образов. - М., Мир. Т.1.Синтез образов. 1979, - 384 с. Т.2. Анализ образов. 1981, - 446 с. Т.3. Регулярные структуры. 1983, - 345 с.

[Грис75] Грис Д. Конструирование компиляторов для цифровых вычислительных машин. - М., Мир, 1975, - 416 с.

[Грис84] Грис Д. Наука программирования. - М., Мир, 1984, - 416 с.

[Гришин82] Гришин Е.А., Билялитдинов А.Х. Структура языка представления знаний KRL. //Техника средств связи. Сер. АСИ, N 1, 1982

[Громов85] Громов Г.Р. Национальные информационные ресурсы: Проблемы промышленной эксплуатации. - М., Наука, 1985, - 237 с.

[Громов87] Громов Г.Р. Игровая компонента персональных ЭВМ: стимулятор творчества, педагогический прием, жанр киноискусства. - М., Микропроцессорные средства и системы, 1987, N 3

[Гросс71] Гросс М., Лантен А. Теория формальных грамматик. - М., Мир, 1971

[Гудман81] Гудман С., Хидетниеми С. Введение в разработку и анализ алгоритмов. - М., Мир, 1981, - 368 с.

[Гудстейн70] Гудстейн Р.Л. Рекурсивный математический анализ. - М., Наука, 1970, - 472 с.

[Гутер75] Гутер Р.Ц., Полунов Ю.Л. От абака до компьютера. - М., Знание, 1975, - 208 с.

[Дал69] Дал У., Мюрхауг Б., Нюгорд К. СИМУЛА 67 - универсальный язык программирования. - М., Мир, 1969

[Дал75] Дал У., Дейкстра Э., Хоор К. Структурное программирование. - М., Мир, 1975, - 248 с.

[Дейкало84] Дейкало Г.Ф., Новиков Б.А., Рухлин А.П., Терехов А.Н. Новые средства программирования на ЕС ЭВМ. Транслятор с языка Алгол 68 и диалоговая система JEС. - М., Финансы и статистика, 1984, - 208 с.

[Дейкстра78] Дейкстра Э. Дисциплина программирования. - М., Мир, 1978, - 277 с.

[Дейт80] Дейт К. Введение в системы базы данных. - М., Наука, 1980

[Дейт88] Дейт К. Руководство по реляционной СУБД DB2. - М.: Финансы и статистика, 1988. - 320 с.

[Дембаускас87] Дембаускас А.П. Финансовая информатика. - М., Финансы и статистика, 1987, 207 с.

[Деметрович89] Деметрович Я., Кнут Е., Радо П. Автоматизированные методы спецификации. - М., Мир, 1989. - 115 с.

[Денинг84] Денинг В., Эссиг Г., Маас С. Диалоговые системы ";человек-ЭВМ";. Адаптация к требованиям пользователя. - М., Мир, 1984

[Джадд75] Джадд Д.Р. Работа с файлами. - М., Мир, 1975

[Джехани88] Джехани Н. Язык Ада. - М., Мир, 1988, - 552 с.

[Джордж63] Джордж Ф. Мозг как вычислительная машина. - М., ИИЛ,1963, - 546 с.

[Добровольский89] ДобровольскийВ.Ю. Текстовый процессор microsoft WORD (для IBM совместимых персональных компьютеров). Версия 4.0, руководство по эксплуатации. - М., 1989, 122 с.

[Доорс90] Доорс Дж., Рейблейн А.Р., Вадера С. ПРОЛОГ - язык программирования будущего. - М., Финансы и статистика, 1990, - 143 с.

[Дородницын85] Дородницын А.А. Информатика: Предмет и задачи. Вестник АН СССР, N 2, 1985, с.85-89

[Дрейфус78] Дрейфус Х. Чего не могут вычислительные машины? Критика искусственного разума. - М., Прогресс, 1978

[Дробушевич78] Дробушевич Г.А. Справочник программиста. - Минск, Вышятная школа, 1978, - 192 с.

[Дуда76] Дуда Р., Харт П. Распознавание образов и анализ сцен. - М., Мир, 1976

[Дэвис82] Дэвис Д., Барбер Д., Прайс У., Соломонидес С. Вычислительные сети и сетевые протоколы. - М., Мир, 1982. - 562 с.

[Дюбуа90] Дюбуа Д., Прад А. Теория возможностей. Приложения к представлению знаний в информатике. - М., Радио и связь, 1990, - 287 с.

[Евстигнеев85] Евстигнеев В.А. Применение теории графов в программировании. - М., Мир, 1985

[Ершов72а] Ершов А.П. О человеческих и эстетических факторах в программировании. - К., Кибернетика, N 5, 1972

[Ершов72б] Ершов А.П. Технология разработки систем программирования. //В кн.: Системное и теоретическое программирование. Новосибирск, ВЦ СО АН СССР, 1972

[Ершов77] Ершов А.П. Введение в теоретическое программирование. Беседы о методе. - М., Наука, 1977, - 288 с.

[Ершов82] Ершов А.П., Ильин В.П. Пакеты программ как методология решения прикладных проблем. //В сб.: Пакеты прикладных программ; проблемы и перспективы. - М., Наука, 1982

[Ершов83] Ершов А.П. Информатика. Предмет и понятие. //Наука в Сибире. - Новосибирск, 1983, N 32

[Ершов85] Ершов А.П. Человек и машина. - М., Знание, 1985

[Ершов86] Ершов А.П., Монахов В.М. и др. Основы информатики и вычислительной техники. Пробное учебное пособие для средних учебных заведений. В двух частях. - М., Просвещение, 1986

[Ефимов77] Ефимов Е.И., Поспелов Д.А. Семиотические модели в задачах планирования для систем искусственного интеллекта. - М., Изв. АН СССР, Техническая кибернетика, 1977, N 5

[Ефимов82] Ефимов Е.И. Решение интеллектуальных задач. - М., Наука,1982,- 320 с.

[Жигарев87] Жигарев А.Н., Макарова Н.В., Путинцева М.А. Основы компьютерной грамоты. - Ленинград, Машиностроение ЛО, 1987, 255 с.

[Заде74] Заде Л.А. Основа нового подхода к анализу сложных систем и процессов принятия решений. //В сб.: Математика сегодня. - М., Знание, 1974

[Зайцев85] Зайцев С.С. Транспортировка данных в сетях ЭВМ. - М., Радио и связь, 1985. - 128 с.

[Закревский85] Закревский А.Д., Баландин Р.К. Задание - опознать (распознавание образов). - М., Наука, 1985

[Зализняк77] Зализняк А.А. Грамматический словарь русского языка. - М., Русский язык, 1977

[Зарипов83] Зарипов Р.Х. Машинный поиск вариантов при моделировании творческого процесса. - М., Наука, 1983. - 232 с.

[Зелковиц82] Зелкович М., Шоу А., Гэннон Дж. Принципы разработки программного обеспечения. - М., Мир, 1982, - 368 с.

[Зикманн84] Зикманн Й., Сабо П. Универсальная унификация и классификация эквациональных теорий. //Кибернетический сборник, вып.21, - М., 1984

[Зиновьев70] Зиновьев А.А. Комплексная логика. - М., Наука, 1970, 204 с.

[Ивашко86] Ивашко В.Г., Финн В.К. Экспертные системы и некоторые проблемы их интеллектуализации. //Семиотика и информатика, вып.27, - М., ВИНИТИ, 1986

[Ивин96] Ивин А.А. Логика. - М., Просвещение, 1996, - 207 с.

[Ивлев92] Ивлев Ю.В. Логика. Изд. МГУ, 1992, - 272 с.

[Изерман84] Изерман Р. Цифровые системы управления. - М., Мир, 1984

[Ильин91] Ильин В.П. Вычислительная информатика: открытие науки. - Новосибирск, Наука СО, 1991, - 198 с.

[Ильинский79] Ильинский Н.И., Кузин Л.Т., Стрижевский В.С. Интеллектуальная система программирования. //В кн.: Вопросы кибернетики, вып. 55, - М., АН СССР, 1979

[Ингерман69] Ингерман П. Синтаксически ориентированный транслятор. - М., Мир, 1969, - 175 с.

[Интелл90] Интеллектуализация программных средств. //Сб. ст. Новосибирск, Наука СО ИВЦ, 1990, - 216 с.

[Информ75] Информационные системы общего назначения (аналитический обзор систем управления базами данных). - М., Статистика, 1975, - 472 с.

[Информ90] Информационный бюллетень. Научно-производственное объединение ";ЦЕНТРПРОГРАММСИСТЕМ";, Государственный испытательный центр программных средств вычислительной техники. Тверь, 1990, - 22 с.

[Информатика1] Информатика. Экспресс-информация. - М., ВИНИТИ, с 1979, 48 раз в год.

[Информатика2] Информатика. Научно-технический сборник, сер. Кадровое обеспечение. Отдельные выпуски с 1990 г. - М., ГК ВТИ СССР

[Информатика3] Информатика и вычислительная техника за рубежом. Информационный сборник статей. По выпускам издается с 1990 г. - М.

[Информатика4] Информатика. Серия Автоматизация проектирования. - М., ВИМИ, издается с 1976 сборником статей.

[Информатика5] Информатика. Еженедельное приложение к газете «Первое сентября». ОАО.ПО «Пресса-1» - М., с 1995, на 32 с.

[Информатика91] Информатика в понятиях м терминах. Книга для учащихся старших классов средней школы. - М., Просвещение, 1991, - 208 с.

[Исихара92] Исихара С. Оптические компьютеры. Новый век науки. - М., Наука, 1992, - 96 с.

[Искусс88] Искусственный интеллект: Применение в химии. //Сб. ст. - М., Мир, 1988. - 430 с.

[Искусс91] Искусственный интеллект: Применение в интегрированных производственных системах. - М., Машиностроение, 1991, 544 с.

[Йодан79] Йодан Э. Структурное программирование и конструирование программ. - М., Мир, 1979

[Калиниченко90] Калиниченко Л.А., Рывкин В.М. Машины баз данных и знаний. - М., 1990, - 296 с.

[Канторович72] Канторович Л.В., Гостко А.Б. Оптимальное решение в экономике. - М., Наука, 1972

[Карри69] Карри Х.Б. Основание математической логики. - М., Мир, 1069, - 568 с.

[Кархо81] Кархо М.И., Калья А.П., Тыугу Э.Х. Инструментальная система программирования ЕС ЭВМ (ПРИЗ). - М., Финансы и статистика, 1981, - 160 с.

[Касаткин81] Касаткин Л.М. Активные семантические сети в системах знаний роботов. - Киев, Знание, 1981

[Касьянов86] Касьянов В.Н., Поттосин И.В. Методы построения трансляторов. - Новосибирск, Наука СО, 1986, - 344 с.

[Кейслер77] Кейслер Г., Чэн Ч.Ч. Теория моделей. - М., Мир, 1977

[Керниган85] Керниган Б., Плоджер Ф. Инструментальные средствапрограммирования на языке Паскаль, - М., Радио и связь, 1985, 313 с.

[Кибернетика79] Кибернетика. Неограниченные возможности и возможные ограничения. Итоги развития. - М., Наука, 1979

[Кибернетика86] Кибернетика. Становление информатики. //Сб. статей. - М., Наука, 1986, - 192 с.

[Кинг91] Кинг Д. Создание эффективного программного обеспечения. - М., Мир, 1991, - 288 с.

[Кириллов98] Кириллов В.И., Старченко А.А. Логика. Учебник для юридических ВУЗов, - М., Юристъ, 1998, - 255 с.

[Кирсанов82] Кирсанов Б.С., Преображенский А.Б. Организация вычислительного процесса на основе системы представления знаний.



Скачать документ

Похожие документы:

  1. Информатика в семи томах том 3 концептуальная информатика

    Документ
    Информатика как наука имеет свой лексикон, который еще не устоялся и находится в развитии. В томе продолжается раскрытие понятие смысла текстов, используемых в информатике, через изучение смысла понятия.
  2. Информатика в семи томах том 6 методы информатики

    Документ
    Каждая наука является коллекцией своих методов. Информатика также включает в состав своих инструментов методы изобретания, проектирования, разработки и сопровождения любого объекта с помощью средств вычислительной техники, способствующие
  3. А а красилов информатика в семи томах том 4 представление знаний

    Документ
    Излагается неформальное описание представления знаний различных видов на языке профессиональной прозы. Описание дано в полном соответствии с формальным изложением языка в томе 2.
  4. А а красилов информатика в семи томах том 1 основы информатики

    Книга
    Книга дает начальные сведения о новом определении информатики. Они необходимы для получения представлений о возможностях СВТ и человека, использующего или желающего использовать свой компьютер для принятия интеллектуальных решений
  5. А а красилов информатика в семи томах том 1 основы информатики

    Книга
    Книга дает начальные сведения о новом определении информатики. Они необходимы для получения представлений о возможностях СВТ и человека, использующего или желающего использовать свой компьютер для принятия интеллектуальных решений
  6. Том 7 интеллектуальные системы (системы решения проблем) москва 1997 -2003

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

Другие похожие документы..