В результате работы с функциями был сформулирован тезис Черча Тьюринга, утверждавший, что любая функция, которая может быть вычислена физическим устройством, может быть вычислена машиной Тьюринга. Вычислена. И только. А не осмыслена. А надо бы осмыслить.
Говоря о вычислимости, классики «забыли» о семантике. Они думали именно о вычислимости, и здесь в их рассуждениях ошибок нет. Но если нас интересует не только «вычислимость», но и содержание процессов, данные о которых обрабатываются компьютерами, то оказывается, что расширенные трактовки становятся опасными. Не понимая сути, легко получить «два землекопа и две трети». Забыв о семантике, мы добились «сна разума».
Вот, например, принципы организации вычислительного процесса фон Неймана:
П1. Применение в ЭВМ двоичной системы счисления.
П2. Управление функционированием ЭВМ посредством последовательности команд (программ).
П3. Использование памяти компьютера для хранения и данных и программ. При этом данные и программы хранятся в единой памяти в одинаковом виде, и над командами можно выполнять те же действия, что и над данными.
П4. Последовательная нумерация (адресация) всех ячеек памяти ЭВМ и возможность произвольного доступа к любой ячейке памяти по ее адресу.
П5. Обеспечение условного перехода к любому участку кода в процессе выполнения программы, несмотря на то, что команды выполняются последовательно.
Где же здесь семантика?
Интерпретация (то есть привязка содержания к форме) полученных компьютерами чисел сегодня осуществляется программами. Или, как в случае технической задачи, которую решал непосредственно Тьюринг, внешним экспертом. Задача «не потерять физический смысл» основная задача программиста, создающего приложение. Но всегда существует предел сложности, выше которого проконтролировать семантику преобразований не в силах человека. В результате складываем лампочки и апельсины, получаем лампольсины. Целое распадается на несвязанные числа, глядя на которые нельзя понять, где же форма, а где содержание.
Наука давно обратила внимание на эти проблемы. Конечно, в первую очередь это М. Мински, отец современных подходов к искусственному интеллекту, придумавший «фреймы для представления знаний» как нечто, объединяющее процедуры и данные для них, и Л. Заде, посвятивший свои усилия созданию нечетких множеств, где количественная оценка (функция принадлежности) объединяется с семантикой (континуум) в единую конструкцию синглетон. К сожалению, эти работы пока не интегрированы в практику проектирования информационных систем, вычисления и их интерпретация остаются разорванными.
Я оцениваю монографию, научным редактором которой мне предложили выступить, как одну из первых попыток объединить форму и содержание в практическом аспекте, в реальных информационных системах.
Любая проблема может быть решена различными методами. Авторы предложили «сервисный» подход: семантическая интероперабельность как совокупность сервисов, сохраняющих семантику операций. Есть и другой подход: создать компьютер, позволяющий работать «с целым». Как с фреймами, или как с нечеткими множествами, или, вполне вероятно, как с нечеткими фреймами. Давно хочу этим заняться, может, и получится. Может быть, прочитав эту книгу, и еще кто-то захочет подумать над семантическим компьютингом, в свою очередь, буду рад объединить усилия.
Пока таких компьютеров нет, а обеспечивать семантическую интероперабельность нужно, работают программные, сервисные подходы. И представленная монография первое систематическое изложение известных и новых подходов к реинжинирингу и проектированию информационных систем электронного правительства.
Для того чтобы было возможно не потерять семантику, она по меньшей мере должна быть, хоть в какой-нибудь форме. Если «электронный документ» это скан бумажного, то понятно, что для выделения семантики из совокупности точек разной интенсивности нужен, как минимум, эксперт. Подход к организации процессов обработки информации, основанный на использовании сканов бумажных документов в качестве «электронных документов», авторы охарактеризовали как «документоцентричность». А альтернативный подход, ориентированный на содержание, датацентричность. Для меня это оказалось несколько неожиданным: электронный документооборот является одной из сфер моих научных интересов, и даже стал (давным-давно) основой докторской диссертации. Мне казалось, что скан можно назвать «электронным документом» только в силу глубокой невежественности. Но так стали делать повсеместно! Авторы указали на это искажение смысла, берущее начало в практике, сильно отстающей от науки, и обоснованно ввели в отечественный научный оборот новый для нас термин датацентричность, позволяющий отделить правильные подходы от порочной практики.
Работа над книгой началась давно, и более 3 лет я трудился над ней в качестве научного редактора. Такой немалый срок связан с тем, что в этой новой отрасли знаний еще нет единого дискурса, и я мучил авторов требованиями разные вещи называть разными словами, а одинаковые одинаковыми. Огромное количество несравнимых одних с другими подходов. Разные цели. Различные модели. Бабушкин сундук, хранящий исторически важные, но невзаимодействующие подходы.
Уж не знаю, как авторы выдержали поток придирок научного редактора, но монография сегодня приведена в приемлемую форму. Именно приемлемую как основу для следующего шага. Мне лично кажется, что книге еще не хватает легкости, популярности, живости, но не все сразу. Я тоже шел на компромиссы.
Также мне кажется, что госуправление не главное в цифровой трансформации. Но то, что такая сложная область выбрана авторами как платформа для изучения семантики, позволяет надеяться, что все основные сложные моменты все же в основном рассмотрены и учтены.
Обычно после завершения такого серьезного труда остановиться уже нет возможности: научное любопытство заставляет погружаться в проблему все глубже и глубже. Этого я и хочу пожелать авторам.
Научный редактор,
д. т. н., зав. каф. МФТИ В. А. Конявский
Введение
Цифровизация экономики самым непосредственным образом связана с государственной поддержкой инноваций, трансформацией государственного управления и построением цифрового правительства. Базой для цифровой трансформации правительства стали достижения стран, построивших открытые электронные правительства (ЭП, э-правительство) и добившихся слаженной работы различных ведомств при предоставлении государственных услуг, а также вовлечении граждан в решение государственных вопросов. Новый (цифровой) этап развития ЭП имеет свои отличительные особенности, которые должны быть ясно сформулированы в контексте научных и практических достижений как в области создания электронных правительств, так и в сфере государственной информатизации в целом.
Менее двадцати лет насчитывает история построения э-правительств в разных странах. За такой небольшой промежуток времени опубликовано множество аналитических и научно-исследовательских работ в этой новой междисциплинарной области, накоплен значительный опыт реформирования деятельности государственных органов, создания и внедрения систем ЭП, организован мониторинг их развития как на страновом, так и на международном уровне. Однако дискуссии о способах построения электронного правительства не утихают, а унифицированный метод создания систем ЭП пока не выработан. Опыт проектирования государственных информационных систем, разработки государственных услуг (госуслуги, ГУ) и проектов в области ЭП позволяет утверждать, что проблемы развития ЭП лежат в научно-технической и методической плоскостях. Исследованию этих проблем и развитию методов их решения и посвящена данная монография, т. к. добиться прогресса только административными решениями вряд ли возможно.