Компьютерная семиотика

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

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

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

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

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

   Прикладные  разработки  в  области  компьютерной  семиотики  ведутся преимущественно в рамках двух основных направлений:

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

   2)  построение  алгоритмов  для   обработки  текстов  на  естественном  языке (машинный перевод, автоматическое  индексирование и др.).

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

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

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

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

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

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

   1)  алфавитный  уровень  представляет  собой  множество  элементарных,  но несамостоятельных единиц, используемых  для записи информации;

   2)  уровень  имен  составляют  символьно-знаковые  цепочки (компьютерный аналог слов);

   3)  уровень  операторов  включает  в  себя  синтаксические  конструкции,  содержащие  предписания  для   совершения  определённой  последовательности  действий;

   4)  уровень  текста (или  программы)  содержит  целостную – то  есть синтаксически и семантически  завершённую – последовательность предписаний. 

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

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

   •  проблемно-ориентированные  языки  (Лисп,  Пролог  и  др.) –  системы, созданные  не  столько  для  построения  результата,  сколько  для  описания  его желаемых  свойств;  использование  таких  языков  программирования  позволяет  формулировать  задачи  на  автоматическое  программирование,  а  также  синтез алгоритмов и искусственного интеллекта.

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

   Среди основных проблемных областей, относящихся к сфере искусственного интеллекта, выделяются:

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

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

   3)  базы  знаний и экспертные системы – конструирование знаковых систем, способных обеспечивать  передачу  предметных  знаний  от  опытных специалистов менее подготовленным;

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

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

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

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

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

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

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