CC BY
43И.М. Зацман*
ПОСТРОЕНИЕ СИСТЕМЫ ТЕРМИНОВ ИНФОРМАЦИОННО-КОМПЬЮТЕРНОЙ НАУКИ: ПРОБЛЕМНО-ОРИЕНТИРОВАННЫЙ ПОДХОД**
Аннотация
Рассматривается проблема интеграции информационной науки (information science) и компьютерной науки (computer science). Интерес к этой проблеме возник около 50 лет назад, и ей была посвящена серия статей американского ученого Сола Горна (Saul Gorn, 1912-1992), опубликованных в 1963-1983 гг. (38; 39; 40; 41; 42; 43). В наше время актуальность интеграции информационной и компьютерных наук существенно возросла. Об этом свидетельствуют приоритетные направления исследований и разработок по информационно-коммуникационным технологиям (ИКТ) 7-й Рамочной программы Европейского союза (ЕС), принятой на период 2007-2013 гг. (33; 34; 36; 44; 45; 46), а также включение в конкурс 2011 г. РФФИ по ориентированным фундаментальным исследованиям проблематики конвергентных технологий, существенная часть которых относится к информационной, компьютерной и когнитивной наукам.
Приоритетные направления разработки новых поколений ИКТ и конвергентных технологий представлены как внешние факторы интеграции информационной и компьютерной наук. Помимо
* Зацман Игорь Моисеевич, д-р техн. наук, зав Отделом информационных технологий структуризации и поиска данных ИПИ РАН.
** Представлены текст доклада на заседании 6 (19 апреля 2012 г.) и послесловие. Электронная версия текста, презентация доклада, список присутствующих, аудиозапись, послесловие, фотографии, слайдшоу и видеофрагменты находятся на странице семинара по адресу: http://www.inion.ru/index.php7page_icN438
внешних факторов, в докладе рассматриваются исторические предпосылки их интеграции. Согласно подходу А. Соломоника, перечисляются четыре составляющие научной парадигмы информационно-компьютерной науки как единой фундаментальной дисциплины. Предлагается система терминов этой дисциплины. Приведенный в докладе процесс построения системы терминов не претендует на завершенность.
Содержание
Введение.
1. Приоритетные направления исследований по ИКТ и конвергентным технологиям.
1.1. О конвергентных технологиях в конкурсе РФФИ 2011 г. по ориентированным фундаментальным исследованиям.
1.2. Тематическая программа по ИКТ 7-й Рамочной программы ЕС.
2. Четыре составляющие парадигмы отрасли знаний (фундаментальной дисциплины).
3. Построение системы терминов информационно-компьютерной науки как составляющей ее научной парадигмы.
3.1. Ключевые слова описания предметной области информационно-компьютерной науки.
3.2. Сопоставление значений терминов. Заключение.
Литература.
Введение
В апреле 2013 г. исполнится 50 лет с того момента, как была опубликована статья американского ученого С. Горна «Информационно-компьютерные науки как новая фундаментальная область знаний» (41). В течение 20 лет, в 1963-1983 гг. Горн опубликовал серию статей, в которых обосновывал необходимость преподавания дисциплин, относящихся к новой области знаний, интегрирующей информационную и компьютерную науки, а также предпринял попытку описать ее задачи и предметную область. В 1963 г. Горн использовал множественное число в названии этой дисциплины (науки). Единственное число появилось в 1982 г. в названии его статьи «Информатика как информационно-компьютерная наука: ее идеология, методология и социальные аспекты», т.е. через 20 лет после публикации первой работы из этой серии (39).
Почти 50 лет назад результат интеграции информационной и компьютерной наук понимался Горном именно как фундаментальная наука, что нашло отражение в самом названии его работы - «A new basic discipline» (41). В качестве смежных дисциплин Горн называет библиотековедение, теорию информационного поиска, информационную науку, кибернетику, когнитивную психологию, искусственный интеллект, семиотику, лингвистику и математику (40, с. 121).
Уже в 1963 г. Горн перечислил вопросы, которые относятся к информационно-компьютерной науке: «Примерами основных вопросов исследования в этой области могут быть системы программирования, проектирование компьютерных систем, искусственный интеллект, информационный поиск и т.д. Вероятностная информационная теория Шеннона определенно принадлежит к этой области знания, но помимо нее существует еще теория информации искусственных языков и ее обработки, которую также необходимо включить в предметную область этой науки. Одним из центральных вопросов этой новой дисциплины, скорее всего, станет синтез и анализ искусственных языков и их процессоров» (41, с. 150).
Горн в явном виде включает в перечень направлений, изучаемых информационно-компьютерной наукой, искусственный интеллект, информационный поиск, синтез и анализ искусственных языков. После перечисления этих направлений информационно-компьютерная наука рассматривается им как учебная дисциплина, и далее говорится о необходимости описать способы различения новой области знаний от соседних с ней областей в учебном процессе. К примеру, каким образом абитуриент может узнать, относится ли сфера его интересов именно к этой новой области знаний, а не к одной из уже устоявшихся дисциплин? Какое ему необходимо образование для того, чтобы углубиться в эту новую область знаний?
Горн рассматривает вопросы преподавания дисциплин новой области знаний, отталкиваясь в своих рассуждениях от прагматических аспектов исследований в этой области: «Информационно-компьютерная наука отличается от лингвистики, психологии, философии и инженерных наук прагматическим ракурсом исследования тех же объектов. Например, студент, изучающий численный анализ, в процессе разработки или анализа какого-либо алгоритма позиционирует себя как математик в том случае, если его единственный прагматический интерес заключается в доказательстве существования алгоритма или определения его теоретической
точности. Если он позиционирует себя как будущий специалист в области информационно-компьютерной науки, то он рассматривает этот алгоритм с другой прагматической точки зрения: его реализации и обработки процессором, т.е. он интересуется эффективностью работы этого алгоритма, временными затратами, распределением памяти и т.д.
Аналогично студент, изучающий процедуру адаптивного управления, описывающую процедуру поведения животного в некоторой ситуации, позиционирует себя как психолог в том случае, если его главной задачей является выяснение того, обладает ли он хорошей моделью поведения этого животного. Если его интересует проблема искусственного интеллекта, как одного из направлений информационно-компьютерной науки, то он интересуется применимостью этой процедуры независимо от того, является ли она моделью поведения животного или не является.
Студент, занимающийся грамматикой, мыслит себя как лингвист в том случае, если его больше всего интересует, действительно ли изучаемый естественный язык работает так, а не иначе. Однако он думает как будущий ученый в области информационно-компьютерной науки в том случае, если его занимает вопрос, каким образом можно использовать эту грамматику в информационных системах. Например, лингвист может рассматривать механизм стековой памяти, но с глубиной не более семи уровней из-за ограниченных возможностей локальной памяти человека, но для решения информационно-компьютерных задач такой глубины явно недостаточно» (41, с. 154).
Рассмотрев в статье 1963 г. эти примеры, Горн предлагает перечень тех дисциплин, которые должны преподаваться студентам, изучающим информационно-компьютерную науку, включая математику, физику, философию, лингвистику, психологию, вычислительную технику и компьютерное программирование.
Предложенный подход к изучению информационно-компьютерной науки уже тогда начал опробоваться в Пенсильванском университете. Через 20 лет, в 1983 г., когда уже накопился опыт ее преподавания, Горн пишет, что его понимание концепции информационно-компьютерной науки заключается в том, что эта область знания не является ветвью математики, так как она должна соотносить себя с прагматическими вопросами, от которых математика не должна зависеть (40, с. 137).
Следует отметить, что процитированная статья 1983 г. начинается со следующей фразы: «Позвольте мне, прежде всего, вы-
брать более короткое название, чем информационно-компьютерная наука. Я выбираю термин ^информатика', созвучный французскому Informatique и немецкому Informatik. Он несет в себе идею информации, а оканчивается так же, как и математика, подразумевая формализованную теорию. Плохо то, что при использовании слова "информатика" теряется компьютерная составляющая в названии, и кроме того, оно не вызывает ассоциаций с какой-либо экспериментальной основой» (40, с. 121).
Таким образом, используя в 1983 г. термин «информатика», Горн подразумевает под ним именно информационно-компьютерную науку. Ученый обращается к истокам этой дисциплины, чтобы дать четкое определение информатике: «Все, что я до сих пор говорил о вычислениях, является ориентированным на практическую деятельность и связано с компьютером. Но сама теория вычислений уже сформировалась и существовала к тому времени, когда появились цифровые компьютеры. <...> Специалисты в области символьной логики уже исследовали логические пределы вычислений; была описана универсальная машина Тьюринга и доказана неразрешимость проблемы остановки; Гедель продемонстрировал пределы формализма при помощи своих теорем о неразрешимости; Черч, Клини и Карри проанализировали вычисления в теории рекурсивных функций и комбинаторной логике; Туэ и Пост, а в более позднее время Марков рассмотрели вычисления с синтаксической точки зрения. <...> Поэтому, когда появились компьютеры, обсуждение лингвистики естественных языков Ноа-мом Хомским происходило в ракурсе вычислений. <...> В результате этих новых разработок появились лингвистические описания процессов программирования, математическая теория автоматов и формальные языки. Эти результаты, в свою очередь, повлияли на разработки языков программирования и программируемых вычислительных машин. <...> Теперь под информатикой мы понимаем нечто, связанное с синтезом и анализом символьных выражений, а также синтез и анализ процессоров, которые интерпретируют, транслируют и обрабатывают такие выражения. Если говорить более прозаично, то информатика занимается изучением, проектированием и использованием структур данных и их обработкой» (40, с. 131).
Главный вывод Горна о составе и статусе новой области знания, которым он завершает статью 1983 г., состоит в следующем: «.нам не следует отделять компьютерную науку от информационной науки, а следует пытаться отстаивать единую область
знания - информатику. Любая попытка поощрить такое разделение <...> повлечет за собой отделение практической деятельности от знаний, как это произошло с математикой Пифагора, риторикой софистов, метафизикой и органоном Аристотеля, грамматикой стоиков, логикой и грамматикой логических позитивистов. Такое разделение будет причиной прекращения деятельного кипения, которое поддерживается сплавом знаний и практической деятельности» (40, с. 139-140).
Другой подход к позиционированию информатики как единой области знаний, охватывающей предметные области компьютерной и информационной наук, был предложен Ю.А. Шрейдером (27; 28). Результаты работы получены независимо от Горна, но идейно эти два подхода весьма близки. Например, в статье Шрей-дера «Информация и знание» говорится, что не существует двух информатик (информационной науки и компьютерной науки), а есть два облика информатики. Первый из них (информационная наука) дополнительно нагружен представлениями о традиционном информационном обслуживании специалистов-ученых и инженеров в области их профессиональных интересов. Второй облик (компьютерная наука) неправомерно искажен чисто программистскими проблемами, не специфичными для информатики. Специфические же проблемы информатики оказываются там, где возникают задачи информационного представления знаний в форме, удобной для обработки, передачи и творческого реконструирования знаний в результате усилий пользователя (27, с. 51).
В этой же работе Ю.А. Шрейдер формулирует ряд положений научной парадигмы информатики: «.информация есть общественное достояние, она в принципе социальна, в то время как знание, вообще говоря, соотнесено с конкретной личностью, с тем, кто им владеет и непосредственно пользуется. <...> Информация должна пройти через "когнитивный экран" тех, для кого она представляет ценность. Так возникает необходимость считаться не только с существованием мира объективированного социализированного знания, т.е. информации как превращенной формы знания, но и с феноменом личностного знания. <...> Тождественность информации и знания при этом исключается, но информация как превращенная форма знания сохраняет следы своего происхождения. <...> Наиболее принципиальные вопросы информатики всегда возникали на стыке информации и знания, там, где речь шла о превращении одного в другое». Далее Шрейдер пишет о пропасти, разделяющей информацию и знания как сущности разной природы (27, с. 50-51).
В наши дни, почти через 50 лет после первой работы Горна (41), мы наблюдаем следующий парадокс. С одной стороны, эти работы Горна редко вспоминают, о чем говорит приведенная таблица с их цитированием, построенная на основе данных Web of science1. Бурного развития идей Горна и Шрейдера и формирования информационно-компьютерной науки как единой фундаментальной дисциплины не наблюдается.
Таблица 1
Название статьи С. Горна Год публикации Цитируемость по Web of science
The computer and information sciences, a new basic discipline 1963 16
The individual and political life of information systems 1965 2
Computer and information sciences and the community of disciplines 1967 53
The identification of the computer and information sciences, their fundamental semiotic concepts and relationships 1968 3
Informatics (computer and information science), its ideology, methodology, and sociology 1982 (41), 1983 (46) 12
С другой стороны, существует потребность в единой области знаний, научная парадигма которой должна охватывать предметные области компьютерной и информационной наук. Приведем три примера, иллюстрирующих потребность в разработке подобной парадигмы. Во-первых, это перечень приоритетных направлений исследований и разработок по ИКТ 7-й Рамочной программы Европейского союза, принятой на период 2007-2013 гг. Во-вторых, проблематика конкурса РФФИ 2011 г. по ориентированным фундаментальным исследованиям, в первую очередь, по разработке фундаментальных основ создания конвергентных технологий (см. следующий раздел доклада). В-третьих, аналитический отчет по вопросам обеспечения конкурентоспособности США в XXI в., подготовленный Консультативным комитетом по информационным технологиям при президенте США (32). Информацию об этом отчете можно также найти в работе (12).
1 Web of knowledge [Электронный ресурс]. - Режим доступа: http://apps. webofknowledge.com
В этом аналитическом отчете информационные технологии представляются как важная составляющая триады «научная теория - научный эксперимент - информационные технологии, обеспечивающие проведение эксперимента», являющейся основой процессов научного познания практически во всех областях знаний. Чтобы выразить в явной форме сферу применения, роль и функции информационных технологий в триаде научного познания, авторы отчета называют эту междисциплинарную область исследований и разработок «computational science», что буквально переводится как «вычислительная наука».
Определение этой области исследований и разработок, предлагаемое в отчете, имеет следующий вид (32, с. 10): «Вычислительная наука - это быстро растущая мультидисципли-нарная предметная область, в которой используются возможности передового компьютинга (advanced computing) для понимания и решения сложных проблем. Вычислительная наука интегрирует три компонента:
• алгоритмы (численные и нечисленные), программное обеспечение для моделирования и имитирования, разработанные для решения проблем естественных, гуманитарных и инженерных наук;
• информационно-компьютерная наука, которая разрабатывает и оптимизирует современные аппаратные, программные и сетевые средства, а также компоненты управления данными, которые необходимы для решения вычислительно сложных проблем;
• вычислительная инфраструктура, которая поддерживает решение научных и инженерных проблем, а также развитие информационно-компьютерноййнауки»1.
В этом определении используется словосочетание информационно-компьютерная наука, с помощью которого идея интеграции была отражена С. Горном в серии его статей. В аналитическом отчете по вопросам обеспечения конкурентоспособности США в
1 Computational science is a rapidly growing multidisciplinar^ field that uses advanced computing capabilities to understand and solve complex problems. Computational science fuses three distinct elements:
• Algorithms (numerical and non-numerical) and modeling and simulation software developed to solve science (e.g., biological, physical, and social), engineering, and humanities problems;
• Computer and information science that develops and optimizes the advanced system hardware, software, networking, and data management components needed to solve computationally demanding problems;
• The computing infrastructure that supports both the science and engineering problem solving and the developmental computer and information science (32, ^ 10).
XXI в. информационно-компьютерная наука понимается как одна из трех составляющих вычислительной науки. При этом описание предметной области информационно-компьютерной науки в этом отчете и в работах Горна отличаются.
Прежде чем перейти к основным разделам доклада, отметим, что приведенный далее опыт построения системы терминов не претендует на завершенность, поскольку семиотический термин «знаковая система», который будет использоваться в определении ряда терминов, требует отдельного рассмотрения. С учетом этого замечания предлагается следующая схема изложения.
Сначала дается описание тех направлений исследований по ИКТ и конвергентным технологиям, которые наиболее наглядно иллюстрируют необходимость интеграции компьютерной и информационной наук, а также тех направлений исследований, относящихся к когнитивным наукам, которые необходимы для разработки новых поколений ИКТ.
Затем дается краткое описание четырех составляющих парадигмы отрасли знаний (фундаментальной дисциплины) и предлагаются дефиниции 12 терминов информационно-компьютерной науки, ориентированных на интеграцию компьютерной и информационной наук, а также на создание фундаментальных основ разработки новых поколений ИКТ и конвергентных технологий в предметной области информационно-компьютерной науки. При этом в рамках доклада останутся неопределенными понятия личностных и коллективных концептов.
В завершение доклада будет показано, что предлагаемая система терминов информационно-компьютерной науки дает возможность интегрировать основные подходы к построению оснований информационной науки.
1. Приоритетные направления исследований по ИКТ и конвергентным технологиям
1.1. О конвергентных технологиях в конкурсе РФФИ 2011 г.
по ориентированным фундаментальным исследованиям
В марте 2011 г. Российский фонд фундаментальных исследований (РФФИ) провел конкурс ориентированных фундаментальных исследований по 23 междисциплинарным темам (конкурс «офи-м» 2011), включая тему «Фундаментальные основы конвергентных технологий» (1). По всем 23 темам поступило 1137 заявок, из которых 468 получили гранты на выполнение проектов, в том числе
322 гранта получили институты РАН. По теме «Фундаментальные основы конвергентных технологий» поступило чуть более 40 заявок, из которых почти половина получила гранты на выполнение проектов, в том числе гранты на следующие проекты (20; 23).
• Исследование и разработка нейроморфных средств и сложных антропоморфных технических систем (модели восприятия информации, накопления знаний о среде и поведении путем обучения в реальном времени) (Станкевич Л. А.).
• Исследование ритмических кодов мыслительной деятельности и создание на этой основе модели когнитивного пространства человека и интерфейса мозг-компьютер высокого уровня (технология определения типа совершаемых в уме мысленных действий по рисунку электроэнцефалограммы, распределение ритмов мозга по амплитуде, частоте и топографии для отдельных видов мышления: пространственного, образного, вербально-логи-ческого и смешанных форм, количественная оценка расстояния между разными видами мышления с определением их координат на модели когнитивного пространства!) (Иваницкий А.М.).
• Разработка фундаментальных принципов и моделей механизмов категоризационной деятельности и обучения в нейрокогни-тивных функциональных системах (проблема разработки фундаментальных принципов и моделей механизмов категоризационной деятельности - вопроса о том, как мозг формирует новые когнитивные категории, концептуально дробя не размеченный заранее физический мир) (Анохин К.В.).
• Когнитивные основы конвергентной технологии распознавания речи (обучающее множество паттернов для конвергентной технологии автоматического распознавания речи) (Устинин М.Н.).
Названия и краткие описания проектов позволяют получить первое представление о проблематике проектов по теме «Фундаментальные основы конвергентных технологий». В одних проектах по этой теме когнитивные технологии интегрированы только с ИКТ. В других - рассматриваются вопросы взаимопроникновения нано-, био-, инфо-, когнитивных технологий. В рамках этого конкурса РФФИ конвергенция, взаимопроникновение нано-, био-, информационных и когнитивных наук и технологий представлена как фактор формирования принципиально новой технологической базы цивилизации, основанной на воспроизведении систем и процессов живой природы в виде технических систем и тех-
нологических процессов, в том числе в виде информационно-компьютерных систем и процессов.
Меры, направленные на развертывание работ в области конвергентных наук и технологий, предпринимаются рядом стран. В частности, в США действует программа Национального научного фонда и Министерства торговли США под названием NBIC -«Nanotechnology, biotechnology, information technology and cognitive science». Все эти программы направлены на решение крупных социальных задач. Так, программа США называется «Converging technologies for improving human perfomance», а программа Европейского союза - «Converging technologies for the european knowledge society) (1).
В докладе ограничимся вопросами создания фундаментальных основ взаимопроникновения информационных, компьютерных и когнитивных технологий. Их конвергенцию трудно реализовать внутри только информационной науки (information science) или только компьютерной науки (computer science) (10; 11). Для их конвергенции и нужна единая область знаний, научная парадигма которой должна охватывать предметные области компьютерной и информационной наук, а также ряд направлений исследований, относящихся к когнитивным наукам.
Направления исследований, относящиеся к когнитивным наукам и необходимые для создания новых поколений ИКТ, рассматривалась приглашенными экспертами при подготовке 7-й Рамочной программы ЕС в рамках семинара «Knowledge anywhere anytime: "The social life of knowledge"». Этот семинар состоялся 29-30 апреля 2004 г. в Брюсселе (36). Материалы этого семинара использовались затем при формировании программ работ по ИКТ 7-й Рамочной программы ЕС (44-46).
В этих материалах отмечается, что исследование процессов, разработка методов и моделей формирования новых и развития существующих систем знаний являются актуальной задачей. Одновременно фиксируется тот факт, что эта проблематика со временем эволюционирует. Участники семинара определили следующие четыре актуальных направления исследований в рамках этой проблематики (36).
Задача первого направления - формирование научного понимания того, как знания появляются, каким образом на этот процесс и его результаты влияет совместная деятельность, как формируются конвенциональные системы знаний. Одна из задач этого направления заключается в определении различий в
понимании участниками совместной деятельности одного и того же текста, изображения и т.д.
Задача второго направления - исследование многообразия форм представления одних и тех же концептов1, одной и той же системы знаний. Кроме форм представления конвенциональных и стабильных концептов, предметом исследования являются формы представления личностных и согласованных концептов, а также процессы возникновения и эволюции нестабильных концептов. В рамках этого направления предполагается выполнение исследований процессов формирования конвенциональных концептов на основе личностных и согласованных концептов.
Задача третьего направления - создание нового поколения интеллектуальных информационных систем, которые должны обеспечить семантическую интероперабельность в процессе совместной работы пользователей этих систем. Если следовать описанию семиуровневой модели интероперабельности Р. Будденберга, то семантическая интероперабельность имеет отношение к следующим двум уровням этой модели: когнитивная интероперабельность (6-й уровень семиуровневой модели) и доктринальная интероперабельность (7-й уровень). В соответствии с определением Р. Будденберга реализация когнитивной интероперабельности предполагает обеспечение согласованного понимания участниками совместной деятельности одного и того же текста, изображения и т.д. Реализация доктринальной интероперабельности предполагает не только согласованное понимание, но и принятие участниками совместной деятельности согласованных решений на основе одного и того же текста, изображения и т.д. (31; 30).
В рамках третьего направления, помимо создания методов и средств поддержки семантической интероперабельности в интеллектуальных информационных системах, планируется исследовать вопросы выявления и экспликации основных стадий эволюции систем знаний, представленных в виде классификационных систем, тезаурусов, онтологий и моделей других категорий (выбранных в процессе совместной работы пользователей информационных систем). При этом не предполагается, что пользователи заранее будут владеть согласованной между ними системой терминов и единым пониманием принципов формирования эволюционирующих систем знаний.
1 В описаниях направлений исследований под концептом понимается структурный элемент системы знаний человека, принадлежащий ментальной среде.
Степень новизны интеллектуальных систем представления знаний предлагается оценивать на основе их сравнения с традиционными системами «управления знаниями» (knowledge management systems), основанными на гипотезе постоянства знаний человека, предполагающей, что эволюцию систем знаний во времени можно не учитывать, а личностные, согласованные и конвенциональные концепты не различать.
Задача четвертого направления- исследование принципиальных возможностей и средств влияния на процессы формирования новых систем знаний в процессе совместной деятельности коллективов специалистов, в том числе пространственно-распределенных коллективов, совместная деятельность которых обеспечивается сетевыми технологиями. При этом предполагается, что имеет место ситуация неполноты или лакунарности уже имеющихся систем знаний; эта неполнота специфицирована, и перед коллективом специалистов поставлена задача уменьшения степени неполноты.
Речь идет об уменьшении степени неполноты или лакунарности систем знаний, ориентированных на удовлетворение технологических, экономических, образовательных и других социально значимых потребностей общества. В рамках этого направления предлагается исследовать, какими видами перспективных ИКТ и до какой степени можно оказывать влияние на процессы формирования коллективами специалистов новых систем знаний, отвечающих социально значимым потребностям и необходимых для получения запланированных результатов. Именно возможность оказывать влияние на процесс формирования новых систем знаний является, по мнению участников семинара «Knowledge anywhere anytime: "The social life of knowledge"», характерной чертой общества, основанного на знаниях.
Приведенный перечень из четырех направлений исследований говорит о том, что участники этого семинара придают ИКТ ключевую роль в решении проблем формирования новых и развития существующих систем знаний. При этом они существенно расширяют границы предметной области генерации и представления знаний за счет рассмотрения ИКТ и их влияния на процессы целенаправленной генерации (формирования) и эволюции систем знаний во времени.
Перечисленные четыре направления и результаты анализа, проведенного приглашенными экспертами, позволяют сделать вывод о том, что предлагаемая ими расширенная предметная об-
ласть исследований процессов формирования и представления знаний включает в себя, в дополнение к традиционным задачам представления знаний, следующие три проблемы:
• формирование и компьютерное представление в цифровой
1
электронной среде личностных и согласованных концептов как структурных элементов систем знаний, формируемых коллективами специалистов;
• анализ и оценивание степени релевантности разных вариантов формируемых систем знаний социальным, экономическим, технологическим и другим общественно значимым потребностям, в интересах которых они были сформированы;
• целенаправленное влияние средствами ИКТ на формирование и эволюцию формируемых систем знаний, необходимое для получения запланированных результатов.
1.2. Тематическая программа по ИКТ 7-й Рамочной программы ЕС
Программу работ по реализации исследований в четырех перечисленных направлениях содержат документы 7-й Рамочной программы Европейского союза, принятой на период 2007-2013 гг. В документах этой программы сформулировано восемь приоритетных направлений исследований и разработок, включая в качестве отдельного направления «Перспективные ИКТ» (33; 34; 36; 44-46;).
Цели проектов, финансируемых в рамках приоритетного направления «Перспективные ИКТ», в тематической программе по ИКТ на 2007-2008 гг. сформулированы следующим образом: «Своевременная идентификация и обоснование новых тематических направлений исследований и разработок, которые имеют большой научно-технический потенциал и могут стать основой для разработки ИКТ следующих поколений2. Эти проекты должны включать междисциплинарные исследования новых и альтернативных под-
1 Согласно ГОСТ Р 52292-2004, электронная среда - это среда технических устройств (аппаратных средств), функционирующих на основе физических законов и используемых в информационной технологии при обработке, хранении и передаче данных. В докладе цифровая электронная среда - это цифровые технические устройства (цифровые аппаратные средства) электронной среды.
2 В цитируемом документе подчеркивается, что для разработки ИКТ следующих поколений особенно важны инновационные исследования и разработки, а не поэтапная модернизация существующих и используемых сегодня теоретических, прикладных, методологических и технологических принципов, подходов и понятий в сфере ИКТ.
ходов к разработке ИКТ будущего и быть нацеленными на фундаментальное переосмысление системы теоретических, прикладных, методологических и технологических принципов, подходов и понятий (выделено автором. - И. З.), используемых сегодня в сфере ИКТ» (44, с. 54).
Важно отметить, что в цитируемом документе можно найти обоснование конкурсных тем в рамках приоритетного направления «Перспективные ИКТ», включая тему «ИКТ долговременного применения», в описании проблематики которой говорится о необходимости разработки новых подходов к генерации, представлению и сохранению личностных знаний человека, их интеграции в цифровой электронной среде и глобальному использованию (44, с. 57-63).
Сфера применения результатов исследований и разработок по конкурсной теме «ИКТ долговременного применения», их цели и задачи сформулированы следующим образом: «Широкое распространение и применение ИКТ, информационно-компьютерных и других цифровых систем в социально значимых сферах деятельности кардинально увеличивает требования к их надежности, безопасности и долговечности. Это требует новых решений для того, чтобы обеспечить доверие пользователей в процессе их использования, защитить от несанкционированного к ним доступа и сохранить их функциональность в течение долгого периода времени в условиях крайне децентрализованной и быстрой смены поколений ИКТ, информационно-компьютерных и других цифровых систем». Далее формулируются актуальные исследовательские проблемы в рамках темы «ИКТ долговременного применения». Приведем формулировки двух проблем (44, с. 62-63):
1) разработать теоретические и прикладные основы создания долговечных систем, обеспечивающих их эволюцию при минимизации затрат на их развитие в условиях многократной смены поколений программно-аппаратных и сетевых средств и / или форматов данных. Другими словами, долговечные системы должны быть способны к сохранению своей первоначальной социально значимой функциональности в течение долгого периода времени и изменять ее в случае необходимости. Методы сохранения и изменения функциональных возможностей должны быть машинно-независимыми и должны обеспечивать устойчивую эволюцию долговечных систем;
2) разработать новые подходы к представлению и сохранению знаний, ориентированные на долговременный и безотказный к ним доступ в условиях локальной генерации отдельных «квантов» знаний, их интеграции, а также глобального использования систем представления и сохранения знаний с учетом контекста и временной эволюции систем. При этом должна быть обеспечена долговременная устойчивость систем представления и сохранения знаний в условиях многообразия их использования и эволюции семантики во времени.
Таким образом, в документах тематической программы по ИКТ 7-й Рамочной программы Европейского союза четко обозначена потребность в разработке научных основ создания ИКТ следующих поколений. При этом потребность в разработке фундаментальных основ создания ИКТ следующих поколений иногда формулируется в косвенной форме и нередко является импликату-рой (следствием) приведенных формулировок актуальных исследовательских проблем.
Например, фраза «локальная генерация отдельных "квантов" знаний.» во второй проблеме подразумевает возможность членения знаний на «кванты» некоторым способом, их представления в цифровой электронной среде и обеспечение доступа к сохраненным представлениям «квантов» знаний и отношениям между ними. Эти вопросы рассматриваются далее в докладе, так как они являются ключевыми для определения предметной области, интегрирующей одновременно компьютерную и информационную науки, а также ряд направлений исследований, относящихся к когнитивным наукам.
В соответствии с рассмотренными приоритетными направлениями исследований по ИКТ сформулируем четыре ключевых вопроса, на которые необходимо ответить при описании любого варианта парадигмы единой области знаний, охватывающей предметные области компьютерной и информационной наук, если ставится цель предложить вариант научной парадигмы, ориентированной на создание новых поколений ИКТ.
Во-первых, допускает ли предлагаемый вариант парадигмы возможность членения системы знаний на «кванты»? Если ответ «да», то допускается только единственный способ членения системы знаний на «кванты» или предполагается существование множества разных способов?
Во-вторых, используется ли категоризация «квантов» знаний по степени их конвенциональности? Существует ли катего-
рия личностных «квантов» знаний, которые их автором ни с кем не согласованы? Если ответ «да», то с помощью каких процессов происходит преобразование личностных «квантов» знаний в конвенциональные?
В-третьих, допускаются ли пополнение и эволюция системы знаний во времени или в предлагаемом варианте парадигмы знания человека в разные моменты времени являются самотождественными?
В-четвертых, учитывается ли разделение знания человека на имплицитные, которые не выражены им в явном виде, и эксплицитные знания? Если ответ «да», то допускает ли предлагаемый вариант парадигмы частичную экспликацию и фиксируются ли моменты времени частичной экспликации имплицитных знаний?
Отметим, что фраза «эволюция семантики во времени» в формулировке второй проблемы в рамках темы «ИКТ долговременного применения» имеет непосредственное отношение к третьему вопросу. Все четыре перечисленных вопроса являются ключевыми для описания парадигмы информационно-компьютерной науки. Далее в докладе предлагается ответ только на первый вопрос.
2. Четыре составляющие парадигмы отрасли знаний (фундаментальной дисциплины)
В соответствии с концепцией А. Соломоника научная парадигма любой «зрелой» науки состоит из следующих четырех составляющих, которые могут разрабатываться отдельно, но объединяются в единую и цельную конструкцию (22, с. 23-24):
• философские основания;
• аксиоматика;
• классификация объектов исследования, процессов и явлений с указанием тех сред (например, ментальной, социально-коммуникационной, цифровой электронной или материальной), к которым они относятся (добавлено мной. - И. З.);
• система терминов.
Сам термин «научная парадигма» трактуется Соломоником в соответствии с теорией Т. Куна (16). При этом он отмечает, что в книге Куна мы не находим ответа на вопрос: «Из чего должна состоять парадигма любой "зрелой" науки?» (22, с. 23).
В рамках концепции Соломоника реализацию идей Горна и Шрейдера об интеграции компьютерной и информационной наук
можно представить как описание парадигмы единой области знаний, охватывающей предметные области компьютерной и информационной наук, с общими философскими основаниями, включая позиционирование этой области знаний в системе современного научного мировоззрения, с общей аксиоматикой, единой классифи-кациеи объектов, процессов и явлении этой области знании, а также с общей системой терминов.
Что касается последней составляющей научной парадигмы (системы терминов информационно-компьютерной науки), то здесь также необходимо учитывать существующие трудности перевода с одного естественного языка на другой. Например, в английском языке существует как минимум четыре устойчивых словосочетания - information science, computer science, computer and information science, computational science, - которые нередко переводятся на русский язык одним словом «информатика». Приведенные англоязычные словосочетания обозначают разные научные дисциплины и сферы их приложения. Однако при переводе на русский язык этих словосочетаний одним словом «информатика» содержательные отличия этих наук, различие их предметных областей и сфер приложений не отражаются лексически.
Кроме того, в английском и русском языках разные по смыслу базовые понятия информационной науки (information science), компьютерной науки (computer science), информационно-компьютерной науки (computer and information science) и вычислительной науки (computational science) также часто лексически выражены одним словом, что затрудняет сравнительное описание предметных областей и приложений этих дисциплин. Например, слово «information» - «информация» - при его использовании в перечисленных предметных областях может трактоваться по-разному. Различия в трактовках слова «информация», существенные для этого доклада, рассматриваются далее в разделе 4.2 и в наших с О.С. Кожуновой работах (10; 11).
Для описания парадигмы единой области знаний, охватывающей предметные области компьютерной и информационной наук, необходимо явно определить значения используемых терминов. Роль явного определения системы терминов и смысла базовых понятий в любой области знаний отметил В.Ф. Турчин в своей книге «Феномен науки». Он писал: «Собственно говоря, ввести основные понятия - это и значит уже определить данную науку, ибо остается только добавить: описание мира с помощью этой вот системы понятий и есть данная конкретная наука» (24, с. 17).
Применяя это положение к предметной области доклада, можно сказать, что явно зафиксировать базовые понятия и определить систему терминов для описания парадигмы единой области знаний, охватывающей предметные области компьютерной и информационной наук, и значит уже во многом определить ее научную парадигму. Поэтому описание научной парадигмы предлагается начать именно с построения системы терминов.
Здесь возникает закономерный вопрос о тех моментах (периодах) времени, когда сами компьютерная и информационная науки по отдельности стали «зрелыми» науками. Этот вопрос выходит за пределы настоящего доклада и заслуживает самостоятельного изучения. Однако отметим, что в 1980 г. один из классиков информационной науки Б. Брукс писал: «Едва ли теоретическая информационная наука уже существует. Я различаю рассеянные обрывки теории, некоторые из которых имеют более или менее стройный вид, но все же они не складываются в единую область знаний. Поэтому общих допущений (явных или неявных), которые могли бы претендовать на теоретические основания, попросту не существует. Информационная наука рассматривает большое число приложений, которые все больше требуют участия компьютера. Ни о каких основаниях она не может заявлять, если опирается только на здравый смысл в области языковых исследований, коммуникаций, отношений знаний и информации, на приложения компьютерных и телекоммуникационных технологий. Однако состояние компьютерной науки не намного лучше. В философском отношении информационная наука пребывает в подвешенном состоянии, так как у нее нет теоретических оснований» (29, с. 125).
Ответы на четыре вопроса, сформулированных в конце предыдущего раздела, затрагивают все четыре составляющие научной парадигмы информационно-компьютерной науки. К философским основаниям парадигмы относится вопрос: «Являются ли знания человека в разные моменты времени самотождественными?» (18). В нашей статье «Система семиотических аксиом» (9) вопрос о возможности членения знаний на «кванты» предлагается относить к аксиоматике этой области знаний. В классификации объектов, процессов и явлений единой области знаний необходимо описать процессы генерации личностных «квантов» знаний, а также процессы их преобразования в конвенциональные знания, например, как их согласование в процессе совместной деятельности.
3. Построение системы терминов информационно-компьютерной науки как составляющей ее научной парадигмы
Построение системы терминов информационно-компьютерной науки базируется на следующих пяти исходных положениях:
• средовой принцип разделения предметной области информатики согласно структуре научных исследований, предложенной К.К. Колиным (13; 15; 14);
• соотнесение объектов предметной области информационно-компьютерной науки со средами (ментальной, социально-коммуникационной, цифровой) по признаку принадлежности рассматриваемых объектов (например, концепты, информация и коды) к этим средам (6; 37);
• определение сферы незнания как сферы мысленно представляемого, но еще не познанного, через ее противопоставление со сферой знания, предложенное В.Л. Макаровым и Г.Б. Клейнером (17, с. 31-32),
• разграничение между знаковой информацией и данными по источнику их генерации, предложенное Ю.И. Шемакиным: человек как генератор знаковой информации и внешние по отношению к человеку технические цифровые измерительные системы как генераторы данных (25);
• разграничение личностных, согласованных (коллективных) и общепринятых (конвенциональных) знаний согласно обобщенной модели формирования знаний Вежбицки и Накамори (52; 53).
3.1. Ключевые слова описания предметной области информационно-компьютерной науки
В информационной и компьютерной науках широко используются слова «знания», «информация», «данные», каждое из которых имеет несколько значений, а иногда каждое из этих слов используется для обозначения разных не связанных между собой сущностей. С лингвистической точки зрения такие слова часто являются либо частичными омонимами (одинаково звучащие слова, не имеющие общих элементов смысла, но связанные ассоциативно), либо полными омонимами (одинаково звучащие слова, не имеющие общих элементов смысла и не связанные ассоциативно)(26; 49).
Если выбирать те или иные уже существующие определения слов «знания», «информация» и «данные», а затем проанали-
зировать формулировку некоторой проблемы, то ее смысловое содержание нередко будет зависеть от определения значений перечисленных слов (5, с. 36-43; 8). По этой причине сначала необходимо определить (построить) систему терминов и только затем использовать их для описания парадигмы информационно-компьютерной науки.
Согласно Г.А. Диановой, «термин - это знак специальной семиотической системы, обладающий номинативно-дефинитивной функцией» (4). Согласно другому определению понятия «термин»1, его главным свойством является системность (2), т.е. принадлежность каждого термина некоторой системе терминов или термино-системе.
Начнем с термина «ментальные знания» (далее кратко -знания), которые предлагается определить как результаты познавательной и креативной деятельности человека, носителем которых может быть только человек и в которых могут быть выделены отдельные «кванты» знаний.
Информацию определим как 1) авторские, 2) коллективные или 3) общепринятые формы 4) эксплицитного (явного) и 5) отчужденного от человека представления его знаний, предназначенные для 6) передачи, 7) непосредственного сенсорного восприятия и 8) понимания их другими людьми. Это определение, по сути, представляет собой выбор для слова «информация» как частичного омонима одной дефиниции из существующего спектра дефиниций феноменов, обозначенных этим словом, и соответствующих им смысловых значений (5; 49).
«Кванты» знаний будем называть концептами, если они могут быть выражены в рамках некоторого естественного языка (в общем случае, в рамках знаковой системы). «Кванты» знаний, которые не могут быть выражены в рамках известных знаковых систем, будем называть ментальными единицами невыраженных знаний человека. Предполагается, что деление знаний на концепты зависит от используемой знаковой системы (см. рис. 1). Множество концептов, выражаемых в рамках одной знаковой системы, будем называть ее планом содержания, а формы выражения этих концептов - ее планом выражения.
1 К особенностям терминов области науки, дисциплины, научной школы, концепции, программного документа и принципам их построения относятся:
1) системность; 2) наличие дефиниции; 3) тенденция к моносемичности в пределах терминологического поля своей терминосистемы; 4) отсутствие экспрессии; 5) стилистическая нейтральность (2, с. 508).
Иначе говоря, определение термина «концепты» предполагает, что они являются результатом процесса членения знаний человека на «кванты», которые могут быть выражены в рамках некоторой знаковой системы, т.е. процесс членения связан с процессом выражения знаний человека в сенсорно воспринимаемой и отчужденной от человека форме, например в виде текста на естественном языке и / или в виде изображения.
В системе выраженных знаний человека могут быть выделены несколько планов содержания в зависимости от числа тех языков или знаковых систем, которые он использует для представления своих знаний в отчужденной форме. На рис. 1 изображено два плана содержания в ментальной среде (обозначены как А и Б), соответствующие двум разным знаковым системам.
Предположим, что на рис. 1 для описания одних и тех же знаний используются русский язык (план содержания А) и английский язык (план содержания Б). Тогда каждому из этих двух планов содержания, полученных в результате членения одной и той же системы знаний, будет соответствовать свой план выражения в социально-коммуникационной среде. На рис. 1 каждый план выражения обозначен двумя книгами (две на русском языке и две книги, например, их переводов на английский). Граница между ментальной и социально-коммуникационной средами обозначена штриховой линией.
Рис. 1. Две среды, планы содержания и выражения, знаковая система
Минимальные единицы плана содержания, имеющие значение, будем называть элементарными концептами некоторой знаковой системы. Здесь необходимо отметить разницу между элементарным концептом и значением слова или устойчивого словосочетания, когда речь идет о естественном языке.
В докладе рассматривается только сигнификативный аспект значения. Экспрессивно-эмоциональные оценки и коннотации не рассматриваются, а соответствующие им понятия исключены из рассмотрения. Таким образом, термины «концепт» и «элементарный концепт» используются для обозначения только сигнификативной составляющей слова (3).
Термин «знаковая информация» определим как результаты процесса представления концептов человеком - генератором этих результатов в плане выражения в любой отчужденной форме, которая является сенсорно воспринимаемой другими участниками коммуникаций и содержательно интерпретируется ими в рамках некоторой знаковой системы. Отметим, что при таком определении термин «знаковая информация» имеет отношение только к знаковым формам представления концептов, а введенный ранее термин «информация» - к любым формам представления «квантов» знаний.
Словосочетание «знаковая информация» является неисчис-ляемым, что не всегда удобно для описания проблем компьютерного представления знаний. Поэтому определим следующие термины с использованием исчисляемых существительных.
Представление в плане выражения элементарных концептов в виде сенсорно воспринимаемых форм с помощью некоторой знаковой системы будем называть элементарными информационными объектами.
Сенсорно воспринимаемые формы представления любых концептов, включая элементарные, будем называть информационными объектами.
Выделение в системе выраженных знаний человека нескольких планов содержания позволяет учесть различия в членении знаний на концепты и в отношениях между ними в разных естественных языках как знаковых системах. Например, в английском языке есть следующие пять основных значений существительного «office» (51):
1) место выполнения профессиональных обязанностей;
2) функция или должностные обязанности (it is my office to open the mail - «в мои обязанности входит вскрывать почту»);
3) должность в организации или позиция в иерархии;
4) ведомство, министерство, управление, организация или административная единица (Foreign Office - «Министерство иностранных дел»);
5) сотрудники организации или ее подразделения (the whole office was late the morning of the blizzard - «из-за снежной бури утром целый офис опоздал на работу»).
В этом примере английскому слову «office» соответствуют пять значений и, следовательно, пять разных элементарных концептов, являющихся значениями существительного «office» в английском языке. Однако в других языках для представления отдельных значений необходимые слова могут отсутствовать. Например, как отмечается в материалах проекта EuroWordNet (51), в испанском и итальянском языках нет слов для выражения пятого значения в приведенном примере для слова «office». Таким образом, выделение нескольких планов содержания позволяет учесть различия в членении выраженных знаний на концепты в разных естественных языках.
Термин «коды» определим как компьютерные эквиваленты двоичных цифр (или их последовательностей), которые могут представлять собой намагниченность или ее отсутствие, наличие электрического тока или его отсутствие, способность к отражению света или ее отсутствие в цифровой электронной среде (48, с. 86).
Двоичные цифры «0» и «1», о которых говорится в определении термина «коды», принадлежат социально-коммуникационной среде, а их компьютерные эквиваленты - цифровой электронной среде. Будем выделять среди всех возможных кодов цифровой среды три следующие категории:
• коды, соотнесенные с концептами в качестве их «представителей» в цифровой среде, например коды концептов (смыслового содержания) индикаторов (первая категория) (7);
• коды, соотнесенные с информационными объектами как эксплицитными и отчужденными от человека формами представления концептов в плане выражения социально-коммуникационной среды в качестве «представителей» этих форм в цифровой среде, например коды имен индикаторов (вторая категория) (47);
• коды, соотнесенные с денотатами любой природы в качестве их «представителей» в цифровой среде, например коды денотатов индикаторов как совокупностей их программ, данных и значений (третья категория) (47).
Термин «коды» в предлагаемой системе терминов имеет синоним «цифровые коды». Коды первых трех категорий будем называть цифровой информацией.
Определим также еще одну (нулевую) категорию кодов, которую будем называть «цифровыми данными» и к которой будем относить все коды цифровой среды, не относящиеся в явном виде к трем определенным выше категориям. Таким образом, к цифровым данным будем относить результаты любых измерений, полученных с помощью любых цифровых технических систем (устройств) и не являющихся результатом представления знаний человека.
Формы представления цифровых данных в социально-коммуникационной среде в сенсорно воспринимаемой форме будем называть данными. Отметим, что данные могут сопровождаться метаданными, являющимися особым видом знаковой информации. Ментальные образы сенсорно воспринимаемых данных будем рассматривать как ментальные структурные единицы невыраженных знаний человека, не являющиеся концептами и соответствующие этим данным.
Перечислим те термины, которые были выделены полужирным шрифтом, распределив их между ментальной, социально-коммуникационной и цифровой электронной средами, подчеркнув те три слова, которые будем называть первичными понятиями системы терминов:
• знания, «кванты знаний», ментальные единицы, концепты и элементарные концепты (ментальная среда);
• информация, знаковая информация, информационные объекты, элементарные информационные объекты и данные (социально-коммуникационная среда)
• коды, цифровая информация, цифровые коды и цифровые данные (цифровая среда).
В докладе ставится задача построения такой системы терминов на основе первичных понятий, чтобы в ее рамках разные объекты, сущности и явления, упоминаемые в описании парадигмы информационно-компьютерной науки и относящиеся к разным средам, назывались по-разному, а одинаковые объекты, сущности и явления - одинаково с точностью до явно определенных синонимов, например цифровые коды как термина «коды».
Построение системы терминов было начато с определения трех первичных терминов (знания, информация, коды). Однако процесс построения, приведенный в этом докладе, не претендует
на завершенность, так как семиотический термин «знаковая система», который используется в определении ряда терминов, требует отдельного рассмотрения, и поэтому еще одного доклада потребует продолжение построения системы терминов.
Приведем пример, иллюстрирующий использование термина «коды» применительно к концептам и формам их представления. Возьмем небольшой фрагмент УДК (табл. 2) и рассмотрим родовидовые отношения концепта «Представление знаний» с другими концептами этого фрагмента. В УДК концепт «Представление знаний» располагается на пятом уровне иерархии, имеет номер 004.82 и включает в себя шесть концептов шестого уровня с номерами от 004.822 до 004.827. Отметим, что все эти шесть концептов в УДК являются терминальными, т.е. дальнейшее их видовое членение в УДК отсутствует.
Концепт «Представление знаний» включен в концепт «Искусственный интеллект» четвертого уровня, который, в свою очередь, включен в концепт «Информационные технологии. Вычислительная техника. Теория. Технология и применение вычислительных машин и систем» третьего уровня и т.д. до концепта «Общий отдел. Наука и знание. Информация. Документация. Библиотечное дело. Организации. Публикации в целом» верхнего уровня. Для компьютерного представления перечисленных концептов можно использовать двоичные коды номеров рубрик УДК, к которым добавлена литера «к». Например, двоичный код номера «004.82 к» как код первой категории можно использовать для концепта «Представление знаний», а в качестве кода второй категории для формы представления этого концепта на русском языке можно использовать двоичный код этого же номера рубрики с добавлением литеры «р» - «004.82 р», а на английском языке («Knowledge representation») - двоичный код «004.82 а».
Отметим, что само по себе использование номеров рубрик для построения кодов только первой и второй категорий мало что добавляет к формированию и представлению знаний. Как было показано при описании концептуальных основ представления экспертных знаний, роль подобной нумерации принципиально изменится, если в процессе формирования экспертных знаний одновременно используются коды третьей категории для объектов интерпретации как денотатов концептов. Их использование дает возможность кодировать те денотаты, которые еще не имеют смысловой интерпретации или интерпретированы только частично, что имеет принципиальное значение для компьютерного
моделирования процессов формирования новых концептов и систем знаний с учетом динамики их формирования (47).
Таким образом, существенным элементом новизны предлагаемой системы терминов является введение кодов третьей и нулевой категорий. При этом разделение кодов на категории и их использование в задачах компьютерного кодирования дает возможность по значениям кодов однозначно установить первоисточники кодов: человек для цифровой информации и внешние по отношению к человеку цифровые технические системы и устройства для цифровых данных (52).
Таблица 2
Родовидовые отношения концепта «Представление знаний» с другими концептами УДК и их коды
Код по УДК Представление знаний
0 Общий отдел. Наука и знание. Информация. Документация. Библиотечное дело. Организации. Публикации в целом.
00 Общие вопросы науки и культуры. Пропедевтика.
004 Информационные технологии. Вычислительная техника. Теория. Технология и применение вычислительных машин и систем.
004.8 Искусственный интеллект.
004.82 Представление знаний.
004.822 Сети знаний. Семантические сети.
004.823 Фреймовые системы. Фреймы. Схемы. Сценарии.
004.824 Множественные миры.
004.825 Порождающие системы. Системы правил вывода.
004.826 Модель черной доски.
004.827 Представление неоднозначности. Неопределенность. Пробелы знаний.
3.2. Сопоставление значений терминов
Основная цель этого раздела доклада заключается в сопоставлении введенных дефиниций терминов информационно-компьютерной науки «знания», «информация», «коды» и «данные» с аналогичными дефинициями, используемыми в информационной науке. В этом разделе результаты сопоставления излагаются согласно работам (10; 11).
В информационной науке определения термина «информация» формулировались по-разному, как правило, на основе двух ключевых положений, суть которых заключается в следующем.
С одной стороны (первое положение), в информационной науке информация тесно связана с процессом представления знаний человека в виде отчужденных форм, которые должны сенсорно восприниматься другими людьми, являющимися получателями этих форм. При этом должна учитываться модель представления знаний получателя.
С другой стороны (второе положение), содержание термина «информация» должно учитывать, что при восприятии и осознании отчужденных форм их получателем его знания могут подвергаться влиянию и трансформированию (47).
Оба эти положения будут далее использоваться при сопоставлении введенных дефиниций терминов информационно-компьютерной науки с аналогичными дефинициями, используемыми в информационной науке, но сначала рассмотрим только первое положение.
Важно отметить, что оно допускает два варианта толкования, отличия которых и послужили причиной появления в информационной науке разных определений термина «информация» с существенно разным смысловым содержанием.
Первое толкование заключается в том, что это положение включает два утверждения:
1) информация возникает в процессе представления знания человека в виде отчужденных и сенсорно воспринимаемых форм;
2) информация является непосредственным результатом процесса представления знания человека в виде отчужденных и сенсорно воспринимаемых форм, например слов и предложений текста на естественном языке.
Второе толкование первого положения заключается в том, что оно включает также два утверждения, первое из которых то же самое, но второе утверждение принципиально отличается:
1) информация возникает в процессе представления знания человека в виде отчужденных и сенсорно воспринимаемых форм;
2) информация не является непосредственным результатом процесса представления знания человека в виде отчужденных и сенсорно воспринимаемых форм, а происходит в два этапа: первый этап этого процесса представляет собой членение знаний человека на концепты в соответствии с некоторой знаковой системой, которые на втором этапе могут быть представлены в виде отчужденных и сенсорно воспринимаемых форм.
Принципиальное отличие этих двух вариантов толкования первого положения заключается в том, что в первом варианте
информация идентична отчужденным формам и относится к социально-коммуникационной среде. Во втором варианте толкования информация идентична концептам и относится к ментальной среде.
С учетом отмеченных различий в толковании первого положения, рассмотрим эти два основных варианта определения термина «информация» в информационной науке и сопоставим их с содержанием термина «информация», предложенным в данной работе.
По мнению Дж. Фаррадейна, в информационной науке мы изучаем ментальные креативные процессы, с которыми связано генерирование информации, и ментальные познавательные процессы, которые связаны с получением и интерпретацией информации. Чем больше мы изучаем ментальные процессы этих двух видов, тем больше возможностей у нас улучшать и контролировать процессы хранения и поиска информации для получения желаемых результатов (35, с. 75). Отметим, что Фаррадейн сначала использует слово «информация» без явного его определения как термина, и только потом он определяет его.
Фаррадейн сопоставляет знания и информацию, их отношения в процессах передачи информации, ее трансформации в знания как центральные понятия и процессы информационной науки. Картина событий при передаче информации в социально-коммуникационной среде, которую описывает Фаррадейн, содержит описание, с одной стороны, процессов мышления человека как генератора информации, знания которого и являются первоисточником информации, с другой стороны, человека как получателя информации, которая интерпретируется им в рамках его системы знаний.
Фаррадейн трактует знания как отпечаток процессов понимания и осознания, происходящих в памяти человека, как нечто, доступное лишь в пределах памяти человека. При этом он отмечает, что сами процессы понимания и осознания в настоящее время остаются во многом невыясненными.
Информация трактуется им как некоторые сущности плана выражения, представляющие знания в процессах социальных коммуникаций, например, это могут быть слова, словосочетания и предложения текстов на естественных языках. Чтобы отличать определение информации по Фаррадейну от других трактовок и определений информации в информационной науке, будем при их сопоставлении называть ее «языковой информацией».
О свойствах языковой информации и ее связях со знаниями человека Фаррадейн говорит следующее: «.она [информация] нейтральна в том смысле, что она не должна быть обязательно новой для воспринимающего ее субъекта. Нам известно большое количество практических примеров обработки информации в системах поиска и хранения, но ее отношение к знаниям не менее важно для развития информационной науки, чем обработка самой информации» (35, с. 77). Приведенные положения из работы Фар-радейна позволяют сделать вывод о том, что он придерживается первого варианта трактовки термина «информация», которая является непосредственным результатом процесса представления знаний человека в виде отчужденных и сенсорно воспринимаемых форм. Трактовка информации по Фаррадейну принципиально отличается от трактовки Брукса (29).
Информация по Бруксу - это только «кванты» знаний человека, которые он называет приращением знанийй. Ю.А. Шрейдер выразил особенность этого варианта трактовки следующим образом:
«Фактически на позиции признания тождества информации и знания (выделено мною. - И. З.) как сущностей стоит Б. Брукс, построивший основания традиционной информатики (информационной науки) на базе концепции "третьего мира"1. Он определяет информацию как приращение знанийй (выделено мною. - И. З.)» (27, с. 49).
В этой же работе Ю.А. Шрейдер писал о том, как исторически сформировалась концепция А.И. Михайлова, А.И. Черного и Р.С. Гиляревского об информатике как науке, изучающей информацию, связанную со знаниями, а не с управляющими сигналами (19). Отметим, что для Ю.А. Шрейдера «... информация есть превращенная форма знания, в которой это знание представлено. Тождественность информации и знания при этом исключается (выделено мною. - И. З.), но информация как превращенная форма знания сохраняет следы своего происхождения» (27, с. 50).
Бертрам Брукс предложил свое понимание информации в контексте описания оснований информационной науки. По его мнению, понятия информации и знаний, безусловно, являются главными в информационной науке. В попытке сформулировать основания информационной науки Брукс обратился к трудам по философии.
1 В этой цитате из работы Ю.А. Шрейдера речь идет о мирах К. Поппера. Отношение «третьего мира» с другими мирами К. Поппера иллюстрирует рис. 3.
Наиболее значимой для него работой была книга Карла Поппера «Объективное знание» (21).
Объясняя роль теории объективных знаний для оснований информационной науки, Брукс использует так называемые миры К. Поппера (50, с. 108) (см. рис. 2):
• мир физических объектов (материальных денотатов) и их физических состояний (мир 1);
• мир состояний субъективного (личностного) сознания и, возможно, предрасположений (эмоций) (мир 2);
• мир объективного (конвенционального) содержания мышления, прежде всего признанных научных идей (мир 3).
Рис. 2. Три мира К. Поппера
В концепции трех миров К. Поппера сопоставляются мир субъективных (личностных) человеческих знаний и мир объективных знаний. Необходимо отметить, что, определяя мир 3, Поппер объективными называет те знания, для которых существуют общепринятые формы их представления (например, тексты на естественных языках).
Брукс считает, что практическая деятельность библиотекарей и информационных ученых (information scientists) складывается из собирания и хранения форм представления знаний мира 3. При этом актуальной теоретической проблемой (информационной науки) является изучение взаимодействий между мирами 2 и 3. Для того чтобы объективировать наши индивидуальные мысли и знания, нам необходимо общепринятым образом выразить их в мире 3 (29, с. 129).
По мнению Брукса, в чем действительно нуждается информационная наука, так это в теории объективных (конвенциональных) знаний, а не в теории субъективных (личностных) знаний (29, с. 127). Отметим, что результаты экспериментов по компьютерному моделированию процессов формирования новых концептов позволяют предположить, что построение основ информационно-компьютерной науки нуждается как в теории объективных (конвенциональных) знаний, так и в теории субъективных (личностных) знаний (47).
Основополагающими понятиями Брукс считает информацию и знания. Для него вопрос их соотношения является центральным при обсуждении оснований информационной науки. Брукс рассматривает знания как структуру взаимосвязанных понятий, а информацию - как структурный элемент знаний, т.е. относит информацию к ментальной сфере. При этом знания могут быть объективными (мир 3) или субъективными (мир 2) (29, с. 131).
Брукс предлагает выражать соотношение между информацией и знанием в виде следующей последовательности символов K[S] + Д1 = K[S + ДS], которую он назвал «фундаментальным уравнением» информационной науки. Эту последовательность символов он интерпретирует следующим образом: структура знаний К^] под влиянием информации Д1 меняется на новую модифицированную структуру К^ + ДS], где ДS обозначает результат этой модификации. Описывая соотношение между информацией и знанием, Брукс говорит следующее: «Фундаментальное уравнение информационной науки также подчеркивает, что определенная таким образом информация не является идентичной сенсорным данным-ощущениям. <...> Информация может зависеть от результатов наблюдений, но сенсорные данные, полученные таким образом, должны быть интерпретированы когнитивными структурами знаний человека, чтобы стать информацией. <...> Уравнение также имеет своей целью вывести тот факт, что рост знаний не просто увеличивается. Поглощение информации структурой знаний может повлечь за собой не просто добавление, а такое уточнение структуры, как изменение отношений между понятиями. В науке прирост информации иногда приводил к реструктурированию знаний» (29).
Предлагаемое Бруксом определение информации будем называть «ментальной информацией», так как определяемая им сущность относится к ментальной сфере. Употребление в докладе словосочетания «ментальная информация» будет предполагать,
что речь идет об основаниях информационной науки и терминах, предложенных Бруксом.
Подведем итоги анализа терминов, включая позиционирование языковой информации Фаррадейна и ментальной информации Брукса относительно ментальной и социально-коммуникационной сред.
Во-первых, процесс передачи языковой информации в социально-коммуникационной среде, который описывает Фаррадейн, рассматривается им в контексте ментальных креативных процессов у того человека, который является генератором языковой информации, и ментальных познавательных процессов у того человека, который является получателем языковой информации. Фаррадейн использует слова «знания» и «информация», относя их, соответственно, к ментальной и социально-коммуникационной средам.
Во-вторых, Брукс рассматривает знания как структурированную систему взаимосвязанных понятий, не указывая в явном виде ту знаковую систему, с помощью которой были вычленены эти понятия, а информацию - как элемент этой системы, т.е. он использует слова «знания» и «информация» в пределах только одной -ментальной среды.
В-третьих, термины «знания», «концепты» и «информация» определены таким образом, чтобы можно было фиксировать промежуточные результаты первого этапа всего процесса представления знаний в социально-коммуникационной среде, для обозначения которых в докладе используется исчисляемое существительное «концепты». Окончательным результатом представления знания человека является языковая информация по Фаррадейну, для обозначения которой в докладе используется термин «знаковая информация». Ментальную информацию по Бруксу можно было бы назвать концептами, если задать в явном виде знаковую систему, с помощью которой ментальная информация вычленяется из знаний человека.
Отношения принадлежности рассмотренных терминов двум средам сведены в таблицу (см. табл. 3). В эту же таблицу добавлены термины «знания» и «информация» в трактовке Ю.А. Шрейдера. Отметим, что при их описании Ю.А. Шрейдер образно говорил о пропасти, разделяющей информацию и знания как сущности разной природы (выделено мною. - И. З.) (27, с. 51).
Таблица 3
Принадлежность терминов ментальной и социально-коммуникационной средам в информационной и информационно-компьютерной науках
Названия сред Фаррадейн Брукс Шрейдер Доклад
Ментальная среда, в том числе планы содержания и результаты членения знаний человека знания человека знания человека, ментальная информация знания человека знания человека, концепты
Социально-коммуникационная среда, в том числе планы выражения естественных языков и результаты наблюдения материальных объектов и явлений языковая информация сенсорные данные информация информация, знаковая информация данные
Для учета сенсорных данных как результатов наблюдений, о которых говорит Брукс, в первый столбец таблицы включены результаты наблюдений материальных объектов и явлений. Термин «данные» во многом аналогичен сенсорным данным Брукса.
Из таблицы следует, что содержание определенных в докладе терминов «знания», «концепты», «информация», «знаковая информация» и «данные» во многом соответствуют основаниям информационной науки с точностью до лексики: языковая информация по Фаррадейну в докладе обозначена термином «знаковая информация», а ментальная информация по Бруксу может быть обозначена исчисляемым существительным «концепты», если задана знаковая система, с помощью которой ментальная информация вычленяется из знаний человека.
Термин «концепты» удобно использовать при описании промежуточных результатов процесса представления знаний, т.е. результатов этапа членения знаний на концепты на основе некоторого естественного языка или знаковой системы. Эта таблица наглядно иллюстрирует принадлежность терминов «знания» и «концепты», «знаковая информация» и «данные» ментальной и социально-коммуникационной средам, соответственно.
В таблицу не включена цифровая сфера и соответствующие ей термины «цифровые данные», «коды» и «цифровая информация», определение которых дано в докладе.
Подведем итоги построения системы терминов информационно-компьютерной науки, перечислив их кратко с небольшими дополнениями (см. рис. 3):
1) Ментальные знания,
2) концепты,
3) личностные,
4) согласованные и
5) конвенциональные концепты
12) Ментальные образы сенсорно воспринимаемых данных
Ментальная среда
6) Информация,
7) знаковая информация и
8) информационные объекты
11) Данные как формы представления цифровых данных в соц.-комм. среде
Социально-коммуникационная среда
9) Три категории кодов (концептов, их форм и денотатов)
10) Цифровые данные как нулевая категория кодов
Цифровая среда
Рис. 3. Три среды и их термины
- ментальные знания- результаты познавательной и креативной деятельности человека, носителем которых может быть только человек и в которых могут быть выделены отдельные «кванть»» знаний (ментальная среда);
- концепты- элементарные единицы или сочетания элементарных единиц плана содержания, выраженные в рамках некоторого естественного языка (в общем случае, в рамках той или иной знаковой системы); концепты делятся на личностные, согласованные группой экспертов и конвенциональные концепты (ментальная среда);
- ментальные образы - структурные единицы невыраженных знаний человека, соответствующие сенсорно воспринимаемым данным и не являющиеся концептами (ментальная среда);
- информация - авторские, коллективные или общепринятые формы эксплицитного (явного) и отчужденного от человека представления его знаний, предназначенные для передачи, непосредственного сенсорного восприятия и понимания их другими людьми (социально-коммуникационная среда); I
- знаковая информация- результат процесса представления концептов человеком в плане выражения некоторой знаковой системы в любой отчужденной форме, которая является сенсорно воспринимаемой другими участниками коммуникаций и содержательно интерпретируется ими в рамках этой знаковой системы (социально-коммуникационная среда);
- коды- компьютерные эквиваленты двоичных цифр (или их последовательностей), которые могут представлять собой в цифровой среде намагниченность или ее отсутствие, наличие электрического тока или его отсутствие, способность к отражению света или ее отсутствие; в интересах описания моделей выделяются три категории кодов: коды первой категории для концептов, коды второй категории для информационных объектов и коды третьей категории для денотатов (цифровая электронная среда);
- цифровые данные- компьютерные эквиваленты двоичных цифр, которые не соотнесены в явном виде с тремя категориями кодов (цифровая электронная среда);
- данные - формы представления цифровых данных в социально-коммуникационной среде (социально-коммуникационная среда).
Рис. 3 содержит 12 терминов информационно-компьютерной науки, пронумерованных против часовой стрелки. Эти термины распределены по шести прямоугольникам. В качестве критериев для их распределения использовались средовой принцип , предложен -ный К.К. Колиным, определение сферы незнания, предложенное В.Л. Макаровым и Г.Б. Клейнером, разграничение между знаковой информацией и данными по источнику их генерации, предложенное Ю.И. Шемакиным, и разграничение личностных, коллективных и общепринятых знаний, предложенное Вежбицки и Накамори.
Заключение
Обзор многолетней истории проблематики интеграции информационной и компьютерной наук позволяет сделать следующие выводы.
Во-первых, приведенные положения из работ Горна и Шрей-дера являются ключевыми для описания научной парадигмы информационно-компьютерной науки, но не включают ряда необходимых ее составляющих, в том числе философские основания, аксиоматику, классификацию объектов, процессов и явлений этой области знаний, а также систему терминов.
Во-вторых, процессы понимания, осознания и экспликации знаний в настоящее время по-прежнему остаются во многом невыясненными. В информационной науке они исследуются как когнитивные и креативные процессы, с которыми связаны процессы генерации информации, обеспечения социальных коммуникаций и понимания информации. В этой науке знания человека (в том числе ментальная информация Брукса) и языковая информация Фар-радейна соотносятся между собой как сущности разной природы.
В-третьих, в компьютерной науке в качестве базовых понятий используются, как правило, «символы абстрактного алфавита», в явном виде не соотнесенные со знаниями человека и ментальной информацией Брукса, а также с языковой информацией Фаррадейна. Например, в классической работе Тьюринга слова «знания» и «информация» не используются, а рассматриваются лишь линейные символьные выражения. Однако в этой работе отмечается, что в одной ячейке может располагаться линейная последовательность символов, трактуемая как единый сложный символ, и проводится аналогия между сложными символами и словами европейский языков (50).
Таким образом, имеется непустое пересечение множества символьных выражений «языка» компьютерной науки и множества слов естественных языков информационной науки, являющихся знаковой информацией, т.е. знаковыми формами представления знаний и главными объектами социокультурных коммуникаций. Это пересечение объектов их предметных областей (т.е. пересечение объектов исследования в компьютерной и информационной науках) относится одновременно к предметным областям обеих наук. Однако эти объекты в компьютерной науке трактуются и обрабатываются как абстрактное множество символьных выражений, а в информационной науке эти же объекты могут трактоваться и обрабатываться как множества конкретных слов естественных языков с их собственными планами выражения и содержания.
Поэтому необходима новая научная парадигма информационно-компьютерной науки, которая учитывает объективное существование этого пересечения и при этом обеспечивает:
• интеграцию непересекающихся зон предметных областей компьютерной и информационной наук, а также тех направлений исследований, относящихся к когнитивным наукам, которые необходимы для создания новых поколений ИКТ;
• создание фундаментальных основ разработки новых поколений ИКТ и конвергентных технологий, предназначенных для
исследования процессов, разработка методов и моделей формирования новых и развития существующих систем знаний;
• эволюцию и интеграцию методик преподавания компьютерной и информационной наук в интересах разработки новых поколений ИКТ и конвергентных технологий.
Литература
1. Аннотация и рубрикатор темы «Фундаментальные основы конвергентных технологий» в конкурсе РФФИ ориентированных фундаментальных исследований по актуальным междисциплинарным темам 2011 года [Электронный ресурс]. - Режим доступа: http://www.rfbr.ru/rffi/getimage/20. Фундаментальные_ основы_конвергентных_технологий.рс1(?оЬ]есис1=31 173
2. Васильева Н.В. Термин // Большой энциклопедический словарь «Языкознание». - М.: Большая российская энциклопедия, 1998. - С. 508-509.
3. Гак В.Г. Лексическое значение слова // Большой энциклопедический словарь «Языкознание». - М.: Большая российская энциклопедия, 1998. - С. 261-263.
4. Дианова Г.А. Термин и понятие: проблемы эволюции (к основам исторического терминоведения). - М.: Издательство «Еврошкола», 2000. - 184 с.
5. Зацман И.М. Концептуальный поиск и качество информации. - М.: Наука, 2003. - 271 с.
6. Зацман И.М. Концептуальный поиск информационных объектов в электронных библиотеках научных документов // Компьютерная лингвистика и интеллектуальные технологии: Тр. Междунар. конференции «Диалог 2003» (Протвино, 11-16 июня 2003 г.) / Под ред. И.М. Кобозевой и др. - М.: Наука, 2003. -С. 710-716.
7. Зацман И.М. Основы компьютерного представления экспертных знаний для мониторинга программно-целевой деятельности: Автореф. дис. ... д-ра техн. наук. - М.: ИПИ РАН, 2011. - 50 с. [Электронный ресурс]. - Режим доступа: http://www.ipiran.ru/announce/avto_2011_Zatsman.doc
8. Зацман И.М. Семиотические основания и элементарные технологии информатики // Информационные технологии. - 2005. - № 7. - С. 18-31.
9. Зацман И.М. Система семиотических аксиом информатики как фундаментальной науки // Проблемы и методы информатики. 2-я науч. сессия ИПИ РАН: тез. докл. - М.: ИПИ РАН, 2005. - С. 42-44.
10. Зацман И.М., Кожунова О.С. Предпосылки и факторы конвергенции информационной и компьютерной наук // Информатика и ее применение. - 2008. - Т. 2. -Вып. 1. - С. 77-98.
11. Зацман И.М., Кожунова О.С. Предпосылки конвергенции компьютерной и информационной наук // Системы и средства информатики: Спец. вып. «Научно-методологические проблемы информатики». - М.: ИПИ РАН, 2006. - С. 112-139.
12. Колин К. К. Новая стратегическая компьютерная инициатива США и задачи России в области развития фундаментальной информатики // Информационные технологии. - 2006. - № 7. - С. 2-5.
13. Колин К.К. О структуре научных исследований по комплексной проблеме «Информатика» // Социальная информатика: Сб. науч. тр. - М.: ВКШ при ЦК ВЛКСМ, 1990. - С. 19-33.
14. Колин К. К. Становление информатики как фундаментальной науки и комплексной научной проблемы // Системы и средства информатики: Спец. вып. «Научно-методологические проблемы информатики». - М.: ИПИ РАН, 2006. - С. 7-58.
15. Колин К.К. Эволюция информатики и проблемы формирования нового комплекса наук об информации // Науч.-техн. информация. Сер. 1. - 1995. - № 5. -С. 1-7.
16. Кун Т. Структура научных революций. - М.: Издательство «ПРОГРЕСС», 1977. - 302 с.
17. Макаров В.Л., Клейнер Г.Б. Микроэкономика знаний. - М.: ЗАО «Издательство "Экономика"», 2007. - 204 с.
18. Мамардашвили М. Классический и неклассический идеалы рациональности. -М.: Издательство «Логос», 2004. - 240 с.
19. Михайлов А.И., Черный А.И., Гиляревский Р.С. Основы информатики. - М.: Наука, 1968. - 756 с.
20. Мысяков Д. Практика широкого формата (интервью с П. Пашининым) // Поиск: газета науч. сообщества. 2012. - № 12 (1190). - С. 6-7.
21. Поппер К.Р. Объективное знание. Эволюционный подход / Пер. с англ. Лаху-ти Д.Г. Отв. ред. Садовский В.Н. - М.: Эдиториал УРСС, 2002. - 384 с.
22. Соломоник А. Парадигма семиотики. - Минск: Издательство «МЕТ», 2006. - 335 с.
23. Список проектов конкурса «ОФИ-М-2011», получивших финансовую поддержку РФФИ [Электронный ресурс]. - Режим доступа: http://www.rfbr.ru/rffi/getimage? objectId=38202
24. Турчин В.Ф. Феномен науки: кибернетический подход к эволюции. - М.: Наука, 1993. - 296 с.
25. Шемакин Ю.И., Романов А.А. Компьютерная семантика. - М.: НОЦ «Школа Китайгородской», 1995. - 344 с.
26. Шмелев Д.Н. Омонимия // Лингвистический энциклопедический словарь / Гл. ред. Ярцева В.Н. - М.: Сов. энциклопедия, 1990. - С. 344-345.
27. Шрейдер Ю.А. Информация и знание // Системная концепция информационных процессов. - М.: ВНИИСИ, 1988. - С. 47-52.
28. Шрейдер Ю.А. ЭВМ как средство представления знаний // Природа. - 1986. -№ 10. - С. 14-22.
29. Brookes B.C. The foundations of information science. Part I. Philosophical aspects // Journal of Information Science. - 1980. - N 2. - P. 125-133.
30. Buddenberg R. FORCENet: We've been here before [Электронный ресурс]. - Режим доступа: http://web1.nps.navy.mil/~budden/lecture.notes/it_arch/large_info_ systems.html
31. Buddenberg R Toward an Interoperability Reference Model [Электронный ресурс]. - Режим доступа: http://web1.nps.navy.mil/~budden/lecture.notes/ interop_RM.html
32. Computational Science: Ensuring America's Competitiveness. Report to the President. - Arlington, VA: National Coordination Office for Information Technology Research and Development, 2005 [Электронный ресурс]. - Режим доступа: http://www.nitrd.gov/pitac/reports/20050609_computational/computational.pdf
33. CORDIS ICT Programme Home [Электронный ресурс]. - Режим доступа: http://cordis.europa.eu/fp7/home_en.html
34. Decision No 1982/2006/EC of the European Parliament and of the Council of 18 December 2006 concerning the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007-2013) // Official Journal of the European Union L412 30.12.2006. - P. 1-41.
35. Farradane J. Knowledge, information, and information science // Journal of Information Science. - 1980. - N 2. - P. 75-80.
36. FP7 Exploratory Workshop 4 «Knowledge Anywhere Anytime». - Mode of access: http://cordis.europa.eu/ist/directorate_f/f_ws4.htm (сост. страницы на 23.05.2011).
37. Gladney H.M., Bennet J.L. What do we mean by authentic? What's the real McCoy? // D-Lib Magazine. - 2003. - Vol. 9, N 7/8 [Электронный ресурс]. - Режим доступа: http://dlib.org/dlib/july03/gladney/07gladney.html
38. Gorn S. Computer and information sciences and the community of disciplines // Behavioral science. Vol. 12, N 6. November, 1967. - P. 433-452.
39. Gorn S. Informatics (computer and information science): its ideology, methodology, and sociology // Knowledge: Creation, Diffusion, Utilization. - 1982. - Vol. 4, N 2. -P. 173-198.
40. Gorn S. Informatics (computer and information science): its ideology, methodology, and sociology // The studies of information: Interdisciplinary messages / Ed. by F. Machlup and U. Mansfield. - New York: Wiley, 1983. - P. 121-140.
41. Gorn S. The computer and information sciences: a new basic discipline // SIAM Review. - 1963. - Vol. 5, N 2, April. - P. 150-155.
42. Gorn S. The identification of the computer and information sciences: their fundamental semiotic concepts and relationships // Foundations of language. - 1968. - Vol. 4, N 4, November. - P. 339-372.
43. Gorn S. The individual and political life of information systems // Proc. Symposium on Education for information science. - New York: Spartan Books, 1965. - P. 33-40.
44. ICT FP7 Work Programme 2007-08 [Электронный ресурс]. - Режим доступа: ftp.cordis.europa.eu/pub/fp7/ict/docs/ict-wp-2007-08_en.pdf (сост. файла на 23.05.2011).
45. ICT FP7 Work Programme 2009-10 [Электронный ресурс]. - Режим доступа: ftp.cordis.europa.eu/pub/fp7/ict/docs/ict-wp-2009-10_en.pdf (сост. файла на 23.05.2011).
46. ICT FP7 Work Programme 2011-12 [Электронный ресурс]. - Режим доступа: ftp.cordis.europa.eu/pub/fp7/ict/docs/ict-wp-2011-12_en.pdf (сост. файла на 23.05.2011).
47. Ingwersen P. Information and information science // Enclyclopaedia of Library and Information Science. - Vol. 56, suppl. 19. - New York: Marcel Dekker Inc., 1992. -P. 137-174.
48. McArthur D. Information, its forms and functions: The elements of semiology. -Lewinton: The Edwin Mellen Press, Ltd., 1997. - 228 p.
49. Newman J. Some Observations on the Semantics of «Information» // Information Systems Frontiers. - 2001. - Vol. 3, N 2. - P. 155-167.
50. Turing A.M. On computable numbers, with an application to the Entscheidungsproblem // Proceedings of the London Mathematical Society. Ser. 2. - 1936. - Vol. 42. -P. 230-265.
51. Vossen P. (ed.) EuroWordNet General Document (Version 3) [Электронный ресурс]. -Режим доступа: http://dare.ubvu.vu.nl/bitstream/1871/11116/1/EWNGeneral.pdf (сост. страницы на 10.07.2011).
52. Wierzbicki A.P., Nakamori Y. Basic Dimensions of Creative Space // Creative space: Models of Creative Processes for Knowledge Civilization Age / Ed. by A.P. Wierzbicki and Y. Nakamori. - Springer Verlag: Berlin-Heidelberg, 2006. - P. 59-90.
53. Wierzbicki A.P., Nakamori Y. Knowledge sciences: Some new developments // Zeitschrift ffir Betriebswirtschaft. - 2007. - Vol. 77, N 3. - P. 271-295.
ПОСЛЕСЛОВИЕ
Соколова Надежда Юрьевна, ИНИОН РАН, и. о. ученого секретаря
В докладе И.М. Зацмана ставится проблема интеграции информационной науки (information science) и компьютерной науки (computer science) в единую информационно-компьютерную науку. «Существует потребность, - указывает автор, - в единой области знаний, научная парадигма которой должна охватывать предметные области компьютерной и информационной наук»1. Предлагается построение системы терминов новой информационно-компьютерной науки в рамках составляющей ее основу научной парадигмы.
«Начнем с термина "ментальные знания" (далее кратко -знания), - читаем в докладе, - которые предлагается определить как результаты познавательной и креативной деятельности человека, носителем которых может быть только человек и в которых могут быть выделены отдельные "кванты" знаний. <...> "Кванты" знаний будем называть концептами, если они могут быть выражены в рамках некоторого естественного языка (в общем случае, в рамках знаковой системы)».
Хотя термин «концепт» имеет в философии достаточно длительную традицию словоупотребления, сегодня он чаще всего ассоциируется с философией постмодернизма («Концепт в постмодернистском понимании есть поле распространенных в пространстве суггестивных знаков» - С.С. Неретина)2. Важно отметить, что термин «концепт» является многозначным.
Из доклада осталось неясным, в каком смысле автор будет применять этот термин в своей системе и не умножит ли его применение полисемию в области новой «информационно-компьютерной науки».
Материал поступил 27 апреля 2012 г.
1 Зацман И.М. Построение терминов информационно-компьютерной науки: проблемно-ориентированный подход: Доклад на 6-м заседании семинара «Методологические проблемы наук об информации» (Москва, ИНИОН РАН, 19 апреля 2012 г.). - С. 8 [Электронный ресурс]. - Режим доступа http://www.inion.ru/files/File/ MPNI_Zacman_19_04_12.pdf
2 Концепт // Новая философская энциклопедия: в 4 т. / Ин-т философии РАН; Нац. обществ.-науч. фонд; Предс. научно-ред. совета В.С. Степин. - М.: Мысль, 2000-2001 [Электронный ресурс]. - Режим доступа: http://iph.ras.ru/ elibA510.html
Миндзаева Этери Викторовна, канд. пед. наук, ИСМО РАО, ст. науч. сотр. Лаборатории дидактики информатики
1. Доклад И.М. Зацмана подтверждает мнение о том, что идея интегрированного характера науки об информации и о способах ее возникновения, развития, проявления, функционирования и т.д. является объективной и четко осознаваемой многими современными учеными из самых разных научных областей. Мы полностью разделяем эту точку зрения, считая необоснованным разделение информационной науки (information science) и компьютерной науки (computer science). Принимая во внимание все элементы и отличающие их аспекты, мы полностью поддерживаем точку зрения автора доклада, согласно которой пересечение объектов их предметных областей (т.е. пересечение объектов исследования в компьютерной и информационной науках) относится одновременно к предметным областям обеих наук.
2. С нашей точки зрения, заслуживает внимания мысль И.М. Зацмана о том, что «.объекты в компьютерной науке трактуются и обрабатываются как абстрактное множество символьных выражений, а в информационной науке эти же объекты могут трактоваться и обрабатываться как множества конкретных слов естественных языков с их собственными планами выражения и содержания». Поиск общих оснований интеграции непересекающихся зон предметных областей компьютерной и информационной наук, как было подчеркнуто в докладе, является одной из самых актуальных задач современности, и «обойти» ее не удается и не удастся, как бы ни хотелось некоторым ученым не пускать «философию» в информатику.
3. Также хотелось бы отметить и то, что Игорь Моисеевич прекрасно понимает необходимость учета существующих трудностей перевода с одного естественного языка на другой. Он иллюстрирует эту мысль примерами, которые позволяют понять, что при переводе на русский язык определенных словосочетаний (information science, computer science, computer and information science, computational science) происходит выбор значений, не всегда адекватных исходным. Указанные выше словосочетания нередко переводятся на русский язык одним словом - «информатика». «Приведенные англоязычные словосочетания обозначают разные научные дисциплины и сферы их приложения. Однако при переводе на русский язык этих словосочетаний одним словом "информа-
тика" содержательные отличия этих наук, различие их предметных областей и сфер приложений не отражаются лексически», -считает И.М. Зацман.
4. В докладе Игорь Моисеевич указывает и на то, что в английском и русском языках разные по смыслу базовые понятия информационной науки (information science), компьютерной науки (computer science), информационно-компьютерной науки (computer and information science) и вычислительной науки (computational science) также часто лексически выражены одним словом, что затрудняет сравнительное описание предметных областей и приложений этих дисциплин (слово «information» - «информация» - при его использовании в перечисленных предметных областях часто трактуется по-разному). Мы полностью согласны с автором доклада в том, что различия в трактовках слова «информация» существенны и должны учитываться. И не только учитываться, а должно произойти разделение понятий.
5. Выдвигаемая И.М. Зацманом задача, которую необходимо решить для описания парадигмы единой области знаний, охватывающей предметные области компьютерной и информационной наук, представляется понятной и обоснованной - необходимо явно определить значения используемых терминов. Собственно говоря, это является одной из целей данного семинара.
6. В докладе была поставлена задача построения такой системы терминов на основе первичных понятий, чтобы в ее рамках разные объекты, сущности и явления, упоминаемые в описании парадигмы информационно-компьютерной науки и относящиеся к разным средам, назывались по-разному, а одинаковые объекты, сущности и явления - одинаково с точностью до явно определенных синонимов. В представленной системе терминов «информационно-компьютерной науки» сделана попытка одновременной интеграции и разделения понятий «информационно-компьютерной науки» на основе определенных и названных критериев.
Однако, с нашей точки зрения, есть пробелы, которые не позволяют рассмотреть данную систему терминов с точки зрения объявленной задачи. Поясним свою позицию. Автор доклада использует концепцию А. Соломоника, в которой научная парадигма любой «зрелой» науки считается состоящей из следующих четырех составляющих. Они могут разрабатываться отдельно, но объединяются в единую и цельную конструкцию:
• философские основания;
• аксиоматика;
• классификация объектов исследования;
• система терминов.
Мы допускаем, что эти составляющие могут развиваться отдельно. Но такое раздельное развитие может сохраняться лишь до определенного уровня. И если остальные составляющие «отстают», то, например, создание системы терминов без классификации объектов исследования и аксиоматики - задача, «плохо» решаемая по определению.
В докладе И.М. Зацмана мы не обнаружили попыток пусть даже и пунктирного очерчивания таких важных составляющих. Система терминов хоть и строится на основании определенных критериев (автор их называет), но имеет весьма неопределенную базу. Однако сама по себе попытка заслуживает внимания и представляет интерес с точки зрения поиска и обоснования возможностей интеграции так называемых «информационной» и «компьютерной» наук.
Материал поступил 5 мая 2012 г.
Хлебников Георгий Владимирович, канд. филос. наук, ИНИОН РАН, зав. Отделом философии Центра гуманитарных научно-информационных исследований
Прежде всего, хочется поблагодарить докладчика за эффективную работу по концептуальной и логической обработке впечатляющего количества репрезентативной литературы по теме сообщения: систематизация и сжатое представление ее содержания в синтагме, а также в комфортном для интеллектуального восприятия и эстетически стилизованном виде - само по себе немалое достижение, можно сказать, - уже синусия науки и искусства. Убедительным кажется и артикулируемый Игорем Моисеевичем процесс построения системы терминов информационно-компьютерной науки, интегрирующий и дополняющий, как представляется, наиболее ценное в уже существующих подходах.
Рефлектированность и концептуальная прозрачность содержания доклада в то же время дают возможность И.М. Зацману увидеть и проблемные точки, еще не проясненные вопросы данной сферы научных исследований, отсутствие ясности в которых не только предопределяет некоторую незавершенность (формальную
и содержательную) предлагаемой им динамической конструкции, но и указывает (что тоже есть в докладе) направление дальнейших разработок темы. Среди этих не последней задачей представляется экспликация скрытой аксиоматики и философско-концептуальных предпосылок построения парадигмы информационно-компьютерной науки, что необходимо как для осознания глубинных оснований этой последней, так и для построения внутренне непротиворечивой теории. Без подобной работы количество «черных ящиков», результатами работы которых приходится довольствоваться без понимания самого механизма их действия, будет стремительно расти, грозя достичь опасной черты. Между тем, как кажется, все большее число людей все меньше понимают саму опасность такой тенденции, когда нечто неведомое начинает обладать все большей властью над важнейшими технологиями, обеспечивающими существование и выживание современной цивилизации.
Поэтому представленный текст доклада, разъясняющий, в том числе, класт важнейших терминов возникающей дисциплины, несомненно, является большим шагом в решении этой проблемы.
Материал поступил 5 мая 2012 г.
Черный Юрий Юрьевич, канд. филос. наук, ИНИОН РАН, зам. директора по научной работе
1. В содержательном докладе Игоря Моисеевича Зацмана и состоявшейся по его итогам дискуссии мне представляется важным не только опыт построения системы терминов информационно-компьютерной науки, но и диагноз того состояния, в котором находятся науки об информации.
Вряд ли будет преувеличением сказать, что сегодня как information science, так и computer science, несмотря на очевидные практические результаты, еще не могут считаться дисциплинами, достигшими уровня теоретической зрелости (стадии «нормальной науки» по Т. Куну). Если бы это было так, едва ли существовала бы необходимость в проекте единой информационно-компьютерной науки.
Ситуация с названными дисциплинами обостряется в нашей стране двумя специфическими факторами. Во-первых, две различные, как я полагаю, ветви наук об информации получили одно наименование - «информатика». Это привело к терминологической путанице, кстати, не преодоленной до сих пор, и, возможно, даже
некоторым образом задержало естественное развитие обеих дисциплин. Во-вторых, преподавание информатики в средней и высшей школе на протяжении четверти века породило понятное стремление педагогов продемонстрировать ученикам, что есть информатика «на самом деле». Как следствие такой установки, нерешенные проблемы нередко вытеснялись на периферию сознания, острые углы обходились, противоречия сглаживались, а картина представлялась как в основном цельная и завершенная. Хотя в действительности дело обстояло не совсем так, как это представлялось в учебниках.
Сегодня нам не хватает того мужественного взгляда на ситуацию в информатике, который блестяще продемонстрировал в своем докладе И.М. Зацман. Существует потребность в трезвом, sine ira et studio понимании того, где мы находимся и в каком направлении следует двигаться дальше. Хотелось бы надеяться, что со временем многочисленным «авторским» концепциям в области наук об информации придет на смену исследовательская программа, точнее, совокупность ряда исследовательских программ, признаваемых большинством научного сообщества.
2. Относительно идеи создания единой информационно-компьютерной науки могу сказать, что я признаю ее как вектор движения изучения проблем информации, но полагаю, что время для синтеза еще не наступило. Мне кажется, нужно дать возможность свободно развиваться семантической и компьютерной ветвям наук об информации (первую предлагаю переименовать в «информационную науку», а за второй оставить наименование «информатика»), постоянно имея в виду их возможное сближение. В то же время обе ветви должны развиваться независимо друг от друга. Они ведь действительно различны: одна вышла из библиотечного дела, а другая родилась на стыке математики и техники (в первую очередь, радиоэлектроники). Объект научного изучения у них один - информация, а вот предметы (аспекты исследуемого объекта) - разные. Информационная наука изучает информацию в неразрывном единстве прагматического, семантического и синтаксического аспектов, информатика же отвлекается от прагматической и семантической составляющих, имея дело со знаками на уровне синтактики. В ходе решения тех или иных практических задач (например, компьютерного представления слабоструктурированных данных) методы информационной науки и информатики могут дополнять
друг друга, но храниться эти методы должны (по крайней мере, пока ) в различных ячейках социальной памяти .
Опираясь на подход А. Соломоника, И.М. Зацман называет четыре составляющих признака научной парадигмы применительно к информационно-компьютерной науке. Это: 1) философские основания; 2) аксиоматика; 3) классификация объектов исследования, процессов и явлений с указанием тех сред (например, ментальной, социально-коммуникационной, цифровой электронной или материальной), к которым они относятся; 4) система терминов. Но даже если предположить, что усилия научного сообщества будут сконцентрированы на этих четырех задачах, трудно предвидеть, сколько понадобится времени для их решения. В то же время «information science» и «computer science» существуют довольно давно - около полувека. Не думаю, что надо отказываться от них во имя проекта науки будущего. Пусть лучше они спокойно развиваются и «дозревают» до синтеза, если он окажется желателен.
3. Хочу поблагодарить Игоря Моисеевича за то, что он привлек внимание к творчеству выдающихся исследователей -американского ученого Сола Горна (1912-1992) и нашего соотечественника, в 1961-1989 гг. сотрудника ВИНИТИ АН СССР Юлия Анатольевича Шрейдера. Без изучения и активного освоения наследия этих ученых дальнейшее движение в области наук об информации может лишиться ценных эвристических идей.
4. Мне близко высказанное в ходе дискуссии И.М. Зацманом утверждение о том, что изучение проблем информации находится в состоянии, аналогичном состоянию химической науки до Первого международного конгресса химиков в Карлсруэ в 1860 г. Этот конгресс четко разграничил понятия атома, молекулы, эквивалента и открыл широкую дорогу для дальнейших исследований. Кстати, он сделал возможным открытие Д.И. Менделеевым периодического закона химических элементов в 1869 г. Успех конгресса в Карлсруэ был во многом связан с активностью итальянского химика Станис-лао Канниццаро, не только сумевшего разрешить весьма запутанный вопрос об атомных, молекулярных и эквивалентных весах, но и оказавшегося способным убедить в этом своих коллег. Полагаю, что сегодня нам нужен такой же человек - Канниццаро информатики.
Материал поступил 7 мая 2012 г.
Саночкин Владимир Викторович, канд. физ.-мат. наук, журнал «Эволюция», зам. главного редактора
Прежде всего, отмечу, что доклад И.М. Зацмана на 6-м семинаре был интересен и информативен, поставленная автором задача - объединение двух наук об информации: «информационной» (information science) и «компьютерной» (œmputer science), - важна и актуальна.
Главные различия подходов в двух последних докладах на нашем семинаре
Декларируя проблемно-ориентированный подход, И.М. Зац-ман исходит из контекста двух объединяемых наук. Обсуждаемые проблемы сформулированы на основе деятельности в пределах этих наук, т.е. являются, если можно так сказать, внутрикорпоративными. Отсюда и само объединение носит ограниченный, локальный характер, что отразилось даже в стиле изложения доклада. Не случайно на семинаре прозвучала претензия к недостаточно понятному широкому кругу слушателей языку изложения.
В результате объединения двух упомянутых наук, по мнению И.М. Зацмана, должна появиться новая фундаментальная наука. Но фундаментальность означает, что найденные этой наукой закономерности, разработанные технологии, полученные результаты касаются всех наук без исключения, могут использоваться и должны учитываться во всех дисциплинах и практиках. Это примерно то же, что невозможность игнорировать фундаментальные физические законы ни в процессах установления связи, ни при создании компьютеров, ни при создании материальных предметов искусства, ни при строительстве и т.д. Уровень обобщения, рассматриваемый докладчиком, явно недостаточен для фундаментальной науки. После объединения двух рассмотренных им наук необходимы следующие уровни обобщения, и, в конце концов, нужно найти общую основу для всех наук и практик, работающих с информацией, выработать общепонятный язык для обсуждения общих проблем, связанных с информацией. Именно этот уровень обобщения обсуждался в моем докладе на 5-м семинаре, в котором информация рассматривалась как фундаментальная категория, объединяющая различные частные подходы к ее интерпретации и на этой основе - все науки и практики.
В связи с этим подчеркну, что, на мой взгляд, различные интерпретации термина «информация» не являются омонимами, как это утверждает в своем докладе И.М. Зацман. В докладе И.М. Зацмана рассматривается частный смысл категории «информация», который сводится по сути к известному определению информации как сведений, передаваемых между людьми. В моем докладе обсуждался именно общий смысл всех интерпретаций информации, который состоит в том, что информация всегда является совокупностью соотношений свойств или, что то же самое, -структурой. Причем это утверждение доказано логически и подтверждено примерами. Предлагаемый мной подход учитывает существование объективной реальности и позволяет выявить ясную взаимосвязь между этой реальностью и мышлением, общие механизмы, обеспечивающие отражение объективных связей в интеллектуальной системе, механизмы возникновения и преодоления заблуждений.
Итак, по моему мнению, в докладе И.М. Зацмана представлен взгляд на информацию изнутри информационных наук, и предлагаемая им терминология строится для внутреннего использования в этих науках, а в моем докладе - дан взгляд извне, с наиболее общей позиции. Причем так же как терминология, предлагаемая И.М. Зацманом, отличается от терминологии объединяемых им наук, так и терминология следующих уровней обобщения должна отличаться от терминологии, предлагаемой И.М. Зацманом.
Общие моменты обоих докладов
Для объединения наук нужно выработать общий язык, который преодолевает рассогласование терминов, применяемых в каждой из частных наук. Именно это попытались сделать мы оба, каждый на выбранном уровне обобщения, и делали для этого мы примерно одно и то же: рассматривали разночтения и предлагали обобщающий подход.
Важно, что, отправляясь с разных исходных позиций, мы оба пришли к некоторым сходным выводам. Оба мы признаем существование информации в двух формах: в знаковой и в беззнаковой. Признаем, что информация бывает понятая и непонятая, что знания развиваются, что они бывают личными и обобществленными. Эти неслучайные совпадения показывают устойчивость упомянутых выводов в процессе обобщения, их независимость от исходной позиции.
Причем важно именно обобщение. Например, оставаясь внутри науки о компьютерах, можно безболезненно считать, что информация всегда выражена знаками, но при этом отсекается мир, находящийся за пределами аналого-цифровых и цифро-аналоговых преобразователей. Если включить этот мир в рассмотрение, т.е. выйти на более общий уровень, то придется отказаться от представлений об исключительно знаковой природе информации, что, в частности, отражено и в наших докладах.
Таким образом, наши позиции и наши доклады являются не взаимоисключающими, а представляют, в общем, совместимые взгляды на информацию с разных уровней обобщения.
Материал поступил 10 мая 2012 г.
СОВРЕМЕННАЯ ИНФОРМАТИКА: ВЗГЛЯД ИЗ НОВОСИБИРСКА
ОТ РЕДАКЦИИ
Публикуемые интервью с семью специалистами в области информатики из г. Новосибирска являются частью более крупного проекта под названием «Беседы об информатике». В электронном виде проект представлен на сайте ИНИОН РАН1.
В 2013 г. исполняется 50 лет со времени появления термина «информатика» в отечественной научной литературе2. За прошедшие полвека достигнуты серьезные результаты в разработке теоретических и прикладных проблем информатики, преподавания информатики в средней и высшей школах.
Наряду с несомненными успехами имеет место определенное отставание в области методологических и терминологических аспектов новой науки. До сих пор ученым не удалось достичь единства в понимании информатики. В отечественной традиции существует несколько версий «информатики в целом» (как минимум три) и множество «отраслевых» информатик. Существуют такие дисциплины с неясным статусом, как «социальная информатика» и «гуманитарная информатика». Целый спектр мнений имеется и по поводу места информатики в системе наук. Ряд специалистов считают, что информатика - техническая наука. Другие относят ее к естественным наукам. Третьи настаивают на гуманитарном характере информатики. Наконец, четвертые полагают, что она должна входить в раздел общенаучного и междисциплинарного знания.
Исследовательский проект «Беседы об информатике» нацелен на поиск точек соприкосновения между сторонниками различных представлений об информатике. В ходе диалога выявляются
1 Беседы об информатике [Электронный ресурс]. - Режим доступа: http:// www.inion.ru/index.php7page_icN441
2 Темников Ф.Е. Информатика // Известия высших учебных заведений. Электромеханика. - М., 1963. - № 11. - С. 1277.
«болевые точки» науки, своеобразие исследовательских позиций, те или иные важные, но малоизвестные исторические факты. По мере развития событий меняется позиция самого интервьюера и, как следствие, - задаваемые им вопросы.
Результатом бесед должно стать осознание почвы, на которой возможно достижение согласия и последующее построение цельной и непротиворечивой системы информатики. Этот результат может стать основой для принятия грамотных методологических, терминологических и организационных решений.
