Юридическая
консультация:
+7 499 9384202 - МСК
+7 812 4674402 - СПб
+8 800 3508413 - доб.560
 <<
>>

ГЛАВА 4 ВОЗМОЖНЫЕ ПРИЛОЖЕНИЯ


Три различные области наших интересов — интеллектуальная, технологическая и социальная — побудили нас вплотную заняться исследованием принципов эротетической логики.
Как можно было ожидать, основным стимулом явилась интеллектуальная область.
Интерес к этой области свойствен развивающемуся субъекту, которого долгое время резко осуждали за приверженность к анализу языковых механизмов и к ассерторической логике и которому ставили в пример эротетического логика. Вторым мотивом, побудившим нас заняться эротетической логикой, является насущная необходимость понять природу вопросно-ответного отношения и тем самым обеспечить построение теоретического фундамента для создания новой технологии, существенной для актуальных практических приложений в области обработки информации. Эти приложения, известные под названием «системы управления базой данных», в настоящее время вызывают значительный общественный интерес в связи со своими потенциальными способностями, к примеру, допустить к власти негодное правительство, а также тайно, полуявно и явно вторгаться в личную жизнь человека. Это обстоятельство послужило для нас еще одним, третьим, стимулом к занятиям эротетической логикой, продолжающимся по сей день. Как мы покажем ниже, эта логика может дать нам единственный метод, Допускающий полное и законное пользование системами баз данных в социальной среде и дающий некоторую гарантию защиты от незаконного использования таких систем.
Внутренняя интеллектуальная мотивировка не нуждается в дальнейшем уточнении, если читатель готов принять данное выше объяснение. В настоящее время имеется дополнительный стимул для изучения эротетической логики, заключающийся в том, что среди большинства логиков старой школы бытует мнение, что она в своих существенных чертах неинтересна. Мы убеждены в том, что такая точка зрения ошибочна. Наша убежденность в значительной степени покоится на вере,, что «презумпция бесплодности» эротетической логики является следствием чрезмерного внимания классиков этой логики к да-яет-вопросам. Хотя да-нет-вопросы имеют, бесспорно, важное значение, все же они, как мы показали, являются лишь частным случаем гораздо более богатого репертуара возможных интерро- гативных форм.
Помимо чисто интеллектуального интереса к эротетической логике как к логике, существует неотложная необходимость понять, как проявляет себя вопросно-ответное отношение в приложениях, связанных с обработкой ин формации. За последние три десятилетия произошел разительный скачок в развитии промышленных систем обработки информации. Объем капиталовложений в эту отрасль индустрии возрос с 0 до 50 биллионов долларов в год. Недавно проведенные исследования [Долотта и др., 19761 убедительно показывают, что рост капиталовложений будет продолжаться в ближайшем будущем примерно с той же скоростью, и общий объем капиталовложений к 1985 г. достигнет 200 биллионов долларов в год. Приведенная цифра на 15% превышает предполагаемый рост валовой продукции США к этому времени, причем весьма вероятно, что создание промышленных систем обработки информации будет самой крупной отраслью индустрии в течение десятилетия. Рост капиталовложений сопровождается внедрением систем обработки информации, по существу, во все сферы человеческой деятельности — процесс, который тоже не проявляет никаких признаков замедления.
Социальные и экономические последствия отмеченных явлений, несомненно, значительные. И разумеется, что глубокое изучение основных принципов построения таких систем весьма желательно. Дело, однако, обстоит таким образом, что понимания этих принципов не достигнуто. Вся обработка информации в некотором смысле представляет собой здание, построенное на песке.
Самая современная технология имеет прочный теоретический фундамент, даже если какие-то периферийные приложения опираются на плохо понятые явления. Вообще говоря, стыковка основной науки с практическими ее приложениями является непосредственной и обоснованной; примерами этому служат физика — прикладная физика, биохимия — медицина. Далее, математика, которая лежит в основании этих фундаментальных, сложных наук, обычно высоко развита и глубоко понята. Большинство этих наук, включая математику, существует уже более ста лет вопреки быстрому развитию в последние годы физических дисциплин. В особенности это касается той части математики, которую используют инженеры. И совершенно противоположная ситуация имеет место в области обработки информации.
Сказанное выше явно не относится к тем аспектам обработки информации, которые связаны с созданием самих технических устройств. Конструирование и создание вычислительных устройств протекает в соответствии с принятой технической программой, несомненно весьма разработанной, но по существу мало чем отличающейся от других современных технических программ. Трудности возникают при создании обеспечения систем, при составлении машинных программ, предназначенных для того, чтобы заставить вычислительное устройство решать определенные задачи. В наши дни программирование на вычислительной машине — это искусство, а не техническая дисциплина, и из-за того, что оно не является наукой, проистекают все беды. Это является следствием отсутствия основной науки, на которой базировалось бы программирование.
Верно, что во многих университетах читаются курсы дисциплин под общим названием «Вычислительная техника и алгоритмы» (Computer science) и расширяются теоретические исследования в областях, на которых эти курсы основаны (прим. 7). Нам нисколько не хотелось бы преуменьшить значение такого рода деятельности, однако мы вынуждены признать, что она все же не удовлетворяет современным требованиям. Существуют три проблемы. Во-первых, слияние имеющихся основных теорий и практики в лучшем случае непрочное, а чаще всего оно вообще не происходит. Такое положение свидетельствует о недостаточной зрелости самой науки и порождает ситуацию, аналогичную той, в которой оказался физик, обученный исчислению предикатов и избранным местам из теории множеств, в то время как все, что ему требуется,— это научиться справляться с нелинейными уравнениями в частных производных.
Вторая проблема состоит в отсутствии общепринятого соглашения относительно принципов подхода к основным задачам. И снова ответственность за это несет незрелое состояние науки. В качестве примера можно привести тот факт, что существует множество способов описания семантики языков программирования, большинство которых было сформулировано за последнее десятилетие [Стил, 1966]. Однако многое еще предстоит сделать в столь важной области, как установление эквивалентности или отсутствия таковой различных методов описания. Эта ситуация подобна той, которая сложилась в 30-е гг. в математике. Существующие научные проблемы открывают новые волнующие перспективы, но едва ли обеспечивают нас прочной платформой, которую можно было бы использовать как основу для построения курса лекций для студентов последнего года обучения и при этом иметь в виду возможные практические приложения данной науки.
Третья проблема заключается в том, что теоретическая база построена лишь частично. В ряде областей нет даже противоборствующих теорий. Очевидно, что до тех пор, пока такое положение не изменится, нельзя построить некоторый синтез теорий, необходимый для установления прочного фундамента для технических исследований в области обработки данных. Мы утверждаем и ниже попытаемся это доказать, что эротетическая логика является важнейшим компонентом отсутствующего теоретического основания.
Основная, и растущая сфера применения обработки информации — это системы управления базами данных [Жардин, 1974]. Больше половины практических исследований в области обработки информации возникает в процессе установки таких систем. Интегральная система управления базой данных — это комплекс вычислительных машин и программ, предназначенных для накопления и хранения постоянной и переменной информации, а также для обеспечения управляемого поиска и модификации запрашиваемых сведений. Эти системы большие и сложные. Следует соблюдать огромную осторожность при про-
актировании и внедрении таких систем, чтобы можно было дать гарантию, что они будут вести себя так, как запланировано.
g Среди основных приложений с использованием интегральной системы управления базой данных находятся вопросно-ответные системы. Вопросно-ответная система позволяет одному или более потребителям задавать вопросы к ее базе данных, в которой хранимая информация представляет собой модель самых разных фрагментов действительности. Предполагается, что система отвечает на эти вопросы. Отсюда очевидна важность ясного понимания вопросно-ответного отношения при конструировании таких систем. Необходимыми компонентами вопросно-ответных систем являются очень сложные машинные программы, дорогостоящие при создании и эксплуатации, и каждое исследование, которое дает возможность проникнуть в суть процесса проектирования таких систем и их управления и в результате которого удается улучшить функционирование и снизить стоимость систем, крайне желательно.
Кроме того, во многих системах вопросно-ответный узел физически отделен от главного вычислительного устройства и, следовательно, требует электронных линий связи с ним,
. что, как знает каждый пользующийся телефоном, может стоить очень дорого. Эротетическая логика обладает способностью прояснять вопросно-ответное отношение таким образом, чтобы задаваемые вопросы были более эффективными, т. е. чтобы спрашивающий мог получить действительно необходимую ему информацию за меньшее число запросов. Минимизация числа запросов и необхо- димых ответов на них приводит к более эффективной и Тем самым менее дорогой коммуникации.
+ і Мы особо выделяем здесь 10 обстоятельство, что функционирование вопросно-ответных систем не зависит от ж решения проблемы перевода естественно-языковых вопро- Щжов на некоторый формальный язык. Это чрезвычайно «Сложная проблема, особенно если иметь в виду, что такой ДР^ревод должен выполняться автоматически. Ни одна из '^Существующих в настоящее время вопросно-ответных си- flpteM вне стен лабораторий, на практике, не имеет подси- аШГемы перевода. Есть много стилизованных формальных щШзыков, которые в противовес базам данных использу- жлкогся для записи запросов, и часть из них претендует на
то, чтобы называться естественными языками, поскольку они используют очень ограниченные словари и усеченный синтаксис естественных языков. Тем не менее эти языки являются, или по крайней мере должны являться по замыслу, строго формальными и имеют точно определенные и недвусмысленные синтаксис и семантику. В такой ситуации эротетическая логика, построенная не на строго формальном языке, адекватно отражает действительность. Мы не отрицаем, что развитие исследований в области перевода с естественного языка на формальный весьма желательно, однако мы не считаем, что оно является существенным звеном в применении эротетической логики в той степени, как мы разрабатываем ее для практических задач анализа вопросно-ответных систем.
Имеющиеся в настоящее время вопросно-ответные информационные языки обычно неудовлетворительны в том отношении, что сложность формулируемых запросов на этих языках, как правило, крайне ограниченна. Обычно увеличение допустимой сложности достигается за счет композиции связок пропозиционального исчисления и соответствующих им операций в алгебре множеств. Использование кванторов в вопросно-ответных системах в лучшем случае спорадическое, а обычно неполное и непоследовательное. Адекватное усовершенствование эротетической логики, как мы полагаем, позволит создать и внедрить информационные вопросно-ответные языки и системы, значительно более мощные и полезные, чем те, что имеются в нашем распоряжении на сегодняшний день.
В результате недавно проведенного исследования было разработано обобщенное архитектоническое описание систем баз данных в области управления, которое дает возможность с вполне приемлемой точностью отметить точки соприкосновения вопросов и других аспектов таких систем [Стил, 1975]. Эта работа раскрывает также природу глубинной ассерторической логики и ряд важных свойств релевантной эротетической логики. Положения, которые были выдвинуты нами в настоящей работе, совместимы с результатами, полученными в области обработки информации. Тот факт, что пропасть, лежащая между формальными теоретическими разработками и практикой ad hoc, как нам кажется, довольно быстро уменьшается, вселяет в нас надежду.
Трудно оценить, какие из вышеуказанных механизмов могут быть потенциально улучшены. Неформальные беседы с экспертами в области проектирования и внедрения систем баз данных и языков запросов дают основание считать, что вполне возможно усилить действие языков запросов и что за счет улучшения действия одного, а весьма вероятно и более, факторов удастся поднять эффективность анализа, обработки и выдачи запросов. Оба указанных действия соединяются мультипликативно, и поэтому мы делаем вывод, что можно потенциально улучшить вопросно-ответные системы за счет одного из четырех факторов. Увеличение эффективности системы непосредственно отражается на экономии денежных средств. Так как сфера использования вопросно-ответных систем обширна, сэкономленные средства могут быть измерены в биллионах долларов.
Прежде чем этот вывод настроит читателя на чересчур оптимистичный лад, отметим, что рост эффективности системы по большей части мог бы произойти благодаря обычной, значительно менее формальной ее настройки и отладки, что характерно для развития большинства систем обработки информации. Дело в том, что, хотя и верно, что программирование на вычислительных машинах скорее искусство, чем наука, высококвалифицированных и знающих программистов очень много. Тем не менее развитие эротетической логики сулит существенно большую выгоду.
Из сведений, относящихся к истории вопроса, мы должны сообщить, что в то время, когда эти исследования только начинались (1961 г.), едва ли можно было предвидеть, сколь широкую сферу возможных приложений будут иметь системы управления базами данных и вместе с ними вопросно-ответные системы. Мы тогда знали просто о некоторых новых интересных экспериментах, которые проводились в различных лабораториях и которые были связаны с использованием компьютеров в качестве вопросно- ответных устройств. В то время никто не представлял себе, какое большое распространение получат в наши дни огромные интегральные системы управления базами данных. Дело, однако, обстояло таким образом, что главным стимулом в развитии таких систем был интерес к проблеме взаимодействия человека и машины, соотношения вопроса и ответа.
Количественный рост и широкое распространение систем баз данных, в особенности тех, которые имеют большое число разбросанных в разных местах и доступных многим пользователям терминалов, породили новую, чудовищно сложную проблему — проблему конфиденциальности (privacy) информации. До сих пор конфиденциальность собранных сведений о человеке обеспечивалась (пусть не столь совершенно, но достаточно эффективно) самим объемом задачи поиска информации, хранящейся в отдаленных и несовместимых друг с другом массивах. С развитием интегральных систем управления базами данных, в которых используются высокоскоростные автоматические вычислительные устройства, становится возможным, а для некоторых целей желательным создавать массивы, содержащие досье на граждан. При этом открывается простор для использования таких массивов во вред людям. Данная проблема сейчас широко дискутируется, хотя обычно плохо освещается. Ее обсуждают на различных общественных форумах, в том числе на собраниях законодательных органов, а сравнительно недавно она была на повестке дня заседания Комитета по охране граждан от посягательств на их личную жизнь (Privacy Protection Study Commission), учрежденного на основании Закона (Public Law) 93-579 от 31 декабря 1974 г. Возможность незаконного использования массивов досье и опасные последствия, которые может повлечь за собой такое использование, были не так давно обоснованы в докладе группы проектировщиков автоматизированных систем баз данных (Project of Computer data-banks) при Национальной академии наук ІВестин, Бэйкер, 1972]. Как мы ниже покажем, развитие эротетической логики может в значительной степени способствовать поиску приемлемых решений указанной проблемы. И снова, если говорить откровенно, этого важного социального мотива не было в числе тех, которые с самого начала побудили нас заняться исследованием эротетической логики. Одно несомненно: в настоящее время оп является сильным фактором, поддерживающим наше ощущение необходимости постоянного совершенствования эротетической логики.
Важнейшая проблема, как сохранить в тайне записанные о людях сведения, едва ли является новой. Как мы отметили, именно применение новой техники привело к тому, что решение данной проблемы стало насущной задачей. Развитие технических средств сейчас почти достигло такой стадии, когда собрать и ввести в систему информацию о гражданах становится настолько просто, что при
отсутствии необходимых мер предосторожности чуть ли не каждый сможет получить от системы фактически всю записанную в ней информацию о каком-либо человеке. Щ^рамом деле последнее утверждение является некоторым преувеличением, поскольку определенные ограничения уже введены и могут быть сохранены; в частности, не обязательно объединять существующие массивы. Тем не менее имеющиеся средства защиты, часть которых вот-вот будет узаконена, обычно неудовлетворительны, потому что имеют тенденцию ограничивать выдачу информации в большей степени, чем это желает потребитель. Например, установленное в соответствии с законом отделение документов, относящихся к общественной безопасности, от документов, относящихся к доходам лиц внутри страны, имеет своей целью воспрепятствовать сотрудникам органов безопасности в получении сведений о подоходном налоге граждан, на что у этих сотрудников нет никаких прав, но при этом налагается также запрет на определенного рода демографические исследования, которые были бы полезны для разнообразных задач, связанных с планированием, и которые бы никак не затрагивали личные права граждан. Все это напоминает ситуацию использования слесарной ножовки там, где больше годился бы скальпель.
Подчеркнем, что конфиденциальность per se — это этическая и юридическая проблема. Определение того, что входит в сферу личной жизни человека, вовсе не есть прерогатива логика или специалиста в области обработки ,Информации, если не учитывать того, что он тоже является „Ваинтересованным гражданином. Что входит в компетенцию такого специалиста — так это совершенствование и объ- -ЯСнение принципов работы технических устройств, которые ^необходимы для обеспечения неприкосновенности сферы ЙІШчной жизни человека и доступа к сфере общественной. |Мьі видим, какую важную роль играет эротетическая ;|фогика в развитии таких технических устройств.
^ Комплекс технических средств обеспечения неприкосновенности сферы личной жизни человека весьма разнообразен [Мартин, 1973]. Он включает в себя криптографическую технику, обеспечивающую безопасность коммуникации человека с системой, средства прикладной психологии, позволяющие выявлять и не допускать к системе ненадежных пользователей, металлургические процессы |^РИ конструировании сейфов, защищенных от воровства
v              151
amp;
ш;
или неумелого обращения, и т. д. Многие из этих средств имеют прямое отношение к проблеме предупреждения нежелательного доступа к базе данных. Самой сложной здесь, видимо, является задача предотвращения преднамеренного или случайного получения лицом, имеющим для каких-то конкретных целей законный доступ к базе данных, информации, к которой у него допуска нет. Формальная эротетическая логика допускает такой анализ запросов, при котором строго формально устанавливается, что выводимо и что не выводимо из ответов на некоторое множество вопросов. Таким образом, возможно построить алгоритмы, обеспечивающие нас разрешенной законом информацией, которую имеющимися сейчас в нашем распоряжении методами нельзя получить именно по той причине, что эта информация повлекла бы за собой утрату конфиденциальности. Хотя в настоящее время еще точно не ясно, насколько близко усовершенствованная эротетическая логика позволит конструктору системы подойти к идеалу сохранения в полной неприкосновенности сведений, относящихся к сфере личной жизни человека, при отсутствии каких бы то ни было ограничений, касающихся сферы общественной, очевидно, что совершенствование логики необходимо вплоть до максимально возможного.
Мы исследовали практические приложения эротетической логики несколько более глубоко, чем это обычно принято в работах типа нашей, по двум причинам. Во-первых, в ряде случаев выбор методики и системы обозначений, произвольный с чисто логической точки зрения, был сделан с учетом возможных приложений строящейся логики. По всей вероятности, выбор, который, как нам казалось-, производился произвольно, был часто подсознательно мотивирован. Во-вторых, в то время как формальный аппарат строится по возможности для бесконечного универсума, каждое конкретное приложение этого аппарата к решению задач, связанных с обработкой информации, основано по необходимости на конечном универсуме (базе данных). В конечном случае многие сложные и нерешенные вопросы, естественно, отпадают, и мы настоятельно рекомендуем читателю, интересующемуся указанными выше практическими приложениями, иметь это в виду. В своем изложении мы в явном виде не решали задачу применения построенного формального аппарата к процессу обработки информации.
<< | >>
Источник: Н. БЕЛНАП, Т СТИЛ. ЛОГИКА ВОПРОСОВ И ОТВЕТОВ. МОСКВА - «ПРОГРЕСС», 1981. 1981

Еще по теме ГЛАВА 4 ВОЗМОЖНЫЕ ПРИЛОЖЕНИЯ:

  1. Приложения
  2. Приложения для платформ
  3. Приложения за пределами сайтов социальных сетей
  4. Глава 9 Добейтесь того, чтобы ваше сообщение было понято
  5. Глава 2. Книга «Россия и Европа» – новое слово в историософии
  6. ГЛАВА IIIПРОТОКОЛ ОСМОТРА МЕСТА ПРОИСШЕСТВИЯ
  7. ГЛАВА 4 ВОЗМОЖНЫЕ ПРИЛОЖЕНИЯ
  8. ГЛАВА 1. НАУКА: ПРЕДПОЛОЖЕНИЯ И ОПРОВЕРЖЕНИЯ[107]
  9. Глава четвертая. Последующие издания Свода законов гражданских в 1842 и 1857 гг.; продолжения к Своду законов и вопрос о продолжениях к своду вообще
  10. Глава пятая. Об издании различных томов Свода законов с 1857 года по 1905 год
  11. Ценовые стратегии компаний и возможность их применения в условиях электронной торговли