Прикладная семиотика

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

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

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

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

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

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

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

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

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

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

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

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

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

Определение 3. Система представления знаний, структура которой такова, что в ней реализуются механизмы, обеспечивающие функционирование связей, обозначенных нами цифрами от 1 до 9, называется семиотической базой знаний (СБЗ).

Чтобы сделать это определение более содержательным, сведем характеристики основных процедур, присущих СБЗ, в таблицу 2.

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

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

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

Таблица 2. Основные процедуры в СБЗ

Литература

Поспелов Д.А. Принципы ситуационного управления// Известия АН СССР. Техническая кибернетика. - 1971. - №2. - С.10-17.

Поспелов Д.А., Пушкин В.Н. Мышление и автоматы. - М.: Сов. радио, 1972.

Загадская Л.С., Соколова О.В. Методика проектирования ситуационных моделей управления. - М.: Совет по комплексной проблеме «Кибернетика», 1973.

Клыков Ю.И. Ситуационное управление большими системами. - М. Энергия, 1974.

Поспелов Д.А. Большие системы. Ситуационное управление. - М.: Знание, 1975.

Поспелов Д.А. Логико-лингвистические модели в системах управления. - М.: Энергия, 1981

Поспелов Д.А. Ситуационное управление: теория и практика. - М.: Наука, 1986

Поспелов Д.А. Семиотические модели: успехи и перспективы// Кибернетика. - 1976. - №6. - С.114-123.

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

Осипов Г.С. Две задачи теории семиотических моделей управления. I. Представления семиотических моделей // Известия АН СССР. Техническая кибернетика. - 1981. - №6. - С.10-17.

Осипов Г.С. Две задачи теории семиотических моделей управления. II. Семантический анализ// Известия АН СССР. Техническая кибернетика. - 1982. - №1. - С.131-137.

Поспелов Д.А. Семиотические модели в управлении// Кибернетика. Дела практические. М.: Наука, 1984. - С.70-87.

Осипов Г.С. О формировании модели для плохо структурированной предметной области// Известия АН CCCР. Техническая кибернетика.- 1987.- №5. - С.198-210.

Осипов Г.С. Метод формирования и структурирования модели знаний одного типа предметных областей // Известия АН СССР. Техническая кибернетика. - 1988. - №2. - С.3-12.

Pospelov D.A. Situation control: an overview// Proc. of Workshop on Russian Situation Control and Cybernetic/Semiotic Modeling (Columbus, USA, March 1995)/ Ed.by R.J.Strohn. - P.7-37.

Osipov G.S. Semiotic modeling: an overview// Proc. of Workshop on Russian Situation Control and Cybernetic/Semiotic Modeling (Columbus, USA, March 1995)/ Ed.by R.J.Strohn. - P.38-64.

Pospelov D.A., Ehrlich A.I., Osipov G.S. Semiotic Modeling and Situation Control/ Proc. of 1995 ISIC Workshop on Architectures for Semiotic Modeling and Situation Analysis in Large Complex Systems (Monterey, CA, USA, August 1995). - P.127-129.

Поспелов Д.А. Прикладная семиотика и искусственный интеллект// Программные продукты и системы. - 1996. - №3. - C.10-13.

Поспелов Д.А. Десять «горячих точек» в исследования по искусственному интеллекту // Интеллектуальные системы (МГУ). - 1996. -Т.1, вып.1-4. - C.47-56.

Фреге Г. Мысль: логическое исследование// Философия. Логика. Язык. - М.: Прогресс, 1987. - С.18-47.

Искусственный интеллект: Справочник: В 3 кн. Кн.2. Модели и методы / Под ред. Д.А.Поспелова. - М.: Радио и связь, 1990.

Осипов Г.С. Построение моделей предметных областей. Неоднородные семантические сети // Известия АН СССР. Техническая кибернетика. - 1990.- №5. - С.32-45.

Осипов Г.С. Приобретение знаний интеллектуальными системами.- М.: Наука, 1997.

Минский М. Фреймы для представления знаний.- М.: Энергия, 1979.

Heider F. Attitudes and cognitive organization// Journal of Psychology. - 1946. -Vol.21.

Дулин С.К. Исследование сетей с диссонансами// Известия АН СССР. Техническая кибернетика. - 1982.- №5. - С.74-85.

27. Поспелов Д.А. Моделирование рассуждений. - М.: Радио и связь, 1989.

28. Лефевр В.А. Конфликтующие структуры. - М.: Сов.Радио, 1973

Размещено на Allbest.ru