Главная > Книга


7.8. Проблемы информатики

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

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

Основы информатики зародились в древние времена. Появление СВТ не завершило развитие информатики, но лишь создало ее основы. Именно эти средства привели к порождению пропасти проблем, которые необходимо разрешать по мере их выявления. Рассмотрим некоторые проблемы информатики для иллюстрации сказанного. Любая наука интересна составом своих и примыкающих проблем. Информатика в этом смысле не является исключением.

Первой проблемой является проблема описания понятия знание и его значения для человека и ВМ. Например, как определить объем знаний, тождественны ли понятия о знании, реализованные в памяти ВМ и имеющиеся в памяти человека. Многообразие определений понятий - это замечательное свойство их познания, но логическая непротиворечивость множества определений понятий остается проблемой при серьезном подходе к решению вопросов использования знаний для решения внешних проблем информатики. Человеку трудно согласиться с тождественным пониманием знания для человека и ВМ. Сложность понимания заключена в том, что человек от природы имеет безусловные и условные рефлексы, которые являются отображением знания об окружающем реальном мире, а ВМ может только моделировать подобные рефлексы. Конечно же, отображение знаний в памяти ВМ не совпадает с отображением знания в человеке. Это ведь главное препятствие для отождествления понятия знание у человека и у ВМ. С другой стороны, какой вопрос разрешается, таким и надо делать подход к разрешению этой проблемы. Человек и ВМ - это две сущности, их отождествление приводит всегда к ошибкам. Однако имеются общие проблемы, в контексте которых делается отождествление понятия знания у человека и у ВМ.

Вторая проблема, также связанная с понятием знание, состоит в понимании количественной и качественной оценок знания или его объема. Общий подход к пониманию полноты знаний рассматривается в томе 5. Это позволяет определить относительное качество знаний. Учитель всегда «знает» как оценить знания ученика. Он выработал сопоставительные методы оценки знания своим многолетним опытом. Обобщение такого метода оценки знания (экспертная оценка) возможно, однако здесь можно также установить и определенную меру неоднозначности, или отсутствие объективности. Здесь «работает» известное в философии противоречие субъективного и объективного. Всякие методы оценки знаний полезны, если четко определены области применения оценок.

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

Проблемы информатики плотно соприкасаются с проблемами СВТ. Решение многих внешних (да и внутренних) проблем информатики связано с параметрами памяти, быстродействия, средств и методов представления емких знаний и с методами обработки знаний. Обычно интересующие нас параметры отстают от запросов прикладной информатики. Практика применения ВМ быстрее ставит новые внешние проблемы (четвертая проблема) нежели вычислительная техника обеспечивает ее необходимыми ресурсами памяти и быстродействия, а также средствами представления и обработки знания. Здесь «работает» также известное в технике противоречие состояния техники и ее использования.

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

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

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

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

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

Чрезвычайно сложно перечислить весь набор внутренних частных проблем информатики, так как число используемых ВМ для решения задач почти равно числу людей. Однако некоторые макрозадачи следует указать в связи с расширением применения информатики для обработки знаний. Макрозадачи касаются экономической деятельности людей. Пренебрежение применением ВМ может привести к невосполнимым потерям. Интересен момент использования знаний по предмету или научному направлению «Управление знаниями» [Gartner99]. В конце концов, знание предназначено для человека, им и его знаниями необходимо управлять. Применение средств автоматизации поиска нового знания работает на человека в проблеме управления знаниями. Так некоторые опрошенные компании указали следующие проблемы, связанные с игнорированием информатики и не использованием ведущих сотрудников по информатике: Потеря или не использование знаний:

  • о передовом опыте в специфической области составляет - 50% прибыли,

  • при нарушении отношений с ключевыми клиентами-поставщиками - 45%,

  • при потере важной для ведения бизнеса информации - 10%,

  • при существенной потере прибыли - 15%.

Эти данные относятся к проблемам новой отрасли знаний - управление знаниями - и касаются результатов, получаемых от изменений трудового состава фирмы. Тем не менее, указанные результаты переносимы на задачи использование ВМ для обработки знаний. Обработка знаний и применение Интеллсист также означает возможность отвечать на следующие вопросы: Как быстро вводить новых сотрудников в курс дела? Как объединять знания отдельных подразделений? Как интенсифицировать процесс генерации новых идей? Как накапливать знания и распространять их по всей организации? Как фиксировать знания ценных сотрудников, которые всегда могут покинуть вашу организацию?

Фразы, заимствованные из «Управления знаниями», также годятся для оценки значения применения Интеллсист для решения задач. Вот эти фразы. Что касается повышения сложности работ, то в работе большого количества людей наблюдается глобальная тенденция от простого исполнения директив руководства и документированных процедур к гибким, сложным проектам, требующим генерации идей, синтеза решений и планов действий на основе анализа данных и знаний. Это требует, как правило, совместной работы в группах, обсуждения возможных путей решения проблем, передачи опыта в процессе работы. При этом был дан следующий прогноз: «К 2001г. работа менеджеров и людей, занимающихся интеллектуальным трудом, более чем на 50% будет определяться динамически самими сотрудниками на основе событий и знаний (с вероятностью 0,8)».

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

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

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

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

3. Определение: действия, с помощью которых знания формируются как начальные или исходные для формирования утверждений.

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

5. Систематизация: классификация и кластеризация знаний в БЗ с целью их последующего целенаправленного извлечения; поддержание целостности данных за счет реализации соответствующих процессов решения задач.

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

7. Создание: действия по получению и оценке результатов, которые представляют новое знание, получаемое на основе БЗ и запросов пользователя.

Можно перефразировать архитектуру управления знаниями для представления архитектуры обработки знаний: (1) восприимчивость, (2) представимость, (3) понятность, (4) компетентность, (5) инновации, (6) применяемость и (7) эффективность. Такая архитектура используется для выработки собственной стратегии обработки знаний человеком. Те же 7 позиций формируются в двух несколько отличных отраслях знаний: управление и обработка. Реально управление знаниями и обработка знаний представляют собой систематический процесс создания и преобразования индивидуального или коллективного опыта таким образом, чтобы эти знания могли бы быть перенесены в процессы, услуги и продукты, предлагаемые организацией, для того, чтобы увеличивалась ее общая продуктивность. Однако эти знания, пока они зависят от владеющих ими людей, несмотря на то, что они поддерживаются некоторыми технологическими решениями, не являются продуктом для Управления знаниями. Они становятся продуктом, если введены в БЗ и используются с помощью Интеллсист.

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

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

  • уменьшение уровня иерархий в организациях,

  • увеличивая соотношение "персонал/менеджеры",

а, значит, все чаще в организациях работают самоуправляемые группы и сотрудники; знания как материальная ценность составляет интеллектуальный капитал, что является существенной частью рыночной цены организаций; глобализация и виртуализация компаний, вследствие которых обработка знаний рассматривается как технология, поддерживающая целостность корпоративной культуры и философии. В результате, исследований по управлению знаниями был сделан следующий прогноз, который можно применить и к обработке знаний: “К 2001 г. организации, которые не создадут своих проектов на основе БЗ и Интеллсист, будут на 30-40% отставать от конкурентов в скорости выпуска новых продуктов, услуг и конкурентных инициатив (с вероятностью 0,8)”.

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

Литература

[Абрамов89] Абрамов С.А., Зима Е.В. Начала информатики М., Наука, 1989. - 256 с.

[Агафонов82] Агафонов В.Н. Типы и абстракции данных в языках программирования. //В кн.: Данные в языках программирования. - М., Мир, 1982

[Агафонов87] Агафонов В.Н. Спецификация программ: понятийные средства и их организация. Новосибирск, Наука, 1987

[Айзерман90] Айзерман М.А., Алескеров Ф.Т. Выбор вариантов. Основы теории. - М., Наука, 1990, - 237 с.

[Айламазян89] Айламазян А.К., Стась Е.В. Информатика и теория развития. - М., Наука, 1989. - 174 с.

[Алгоритмы82] Алгоритмы, математическое обеспечение и архитектура многопроцессорных вычислительных систем. - М., Наука, 1982. - 336 с.

[Алгоритмы90] Алгоритмы и программы решения задач на графах и сетях. - М., Наука, 1990, - 515 с.

[Александров78] Александров В.В., Лапин А.Н. К проблеме построения диалоговых систем хранения знаний. //В кн.: Автоматизация исследований и проектирования. - М., 1978

[Александров75] Александров Е.А. Основы теории эвристических решений. - М., Советское радио, 1975, - 254 с.

[Алексеев68] Алексеев П.М. Частотный словарь английского подъязыка электроники. //В сб.: Статистика речи. - Л., 1968

[Алексеева84] Алексеева З.Я., Стефанюк В.А. Экспертные системы - состояние и перспективы. //Изв. АН СССР, Техническая кибернетика, 1984, N 5

[Алексеева97] Алексеева Т.Н., Алексеев А.В., Гаврилин А.В., Товбис М.Б., Удалов В.А., Яковлева Т.А. О региональном стандарте по информатике (предложение по разработке и внедрению). - М., Информатика и образование, 1997, N 5, с.8-10

[Алиев90] Алиев Р.А., Абдикеев Н.М., Шахназаров М.М. Производственные системы с искусственным интеллектом. - М., Радио и связь, 1990, - 264 с.

[Алиев91] Алиев А.С., Восков Л.С., Ильин В.Н., Матвеев В.И., Садеков А.С., Сыпчук П.П., Чиннова И.И. Интеллектуальные САПР технологических процессов в радиоэлектронике. - М., Радио и связь, 1991, 262 с.

[Альтшуллер73] Альтшуллер Г.С. Алгоритм изобретения. - М., Московский рабочий, 1973. - 296 с.

[Альтшуллер79] Альтшуллер Г.С. Творчество как точная наука. Теория решения изобретательских задач. - М., Сов.радио, 1979, - 176с.

[Амамия93] Амамия М., Танака Ю. Архитектура ЭВМ и искусственный интеллект. - М., Мир, 1993, - 400 с.

[Амосов79] Амосов Н.М. Алгоритмы разума. - Киев, Наукова думка, 1979, -220 с.

[Анализ84] Анализ и оптимальный синтез на ЭВМ систем управления. - М., Наука, 1984

[Анисимов83] Анисимов Б.В., Курганов В.Д., Злобин В.К. Распознавание и цифровая обработка изображений. - М., Высшая школа, 1983, - 295 с.

[Анохин73] Анохин П.К. Философский смысл проблемы естественного и искусственного интеллекта. - М., Вопросы философии, 1973, N 6

[Антонюк86] Антонюк Б.Д. Экспертные системы в программе стратегической инициативы США. // В кн.: Персональные компьютеры и локальные сети. - Тбилиси, 1986, - с. 9-10.

[Апресян74] Апресян Ю.Л. Лексическая семантика. - М., Наука, 1974

[Арбиб68] Арбиб М. Мозг, машина и математика. - М., Наука, 1968, - 224с.

[Аристотель] Аристотель. Сочинение. Т.1, - М., Мысль, 1976

[Арсак90] Арсак Ж. Программирование игр и головоломок.- М., Наука,1990, - 224 с.

[Атлантис] Документация по СУБД Атлантис.

[Ахо78] Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. - М., Мир, 1978. Т.1. Синтаксический анализ. - 614с. Т.2. Компиляция. - 488 с.

[Ахо79] Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов. - М., Мир, 1979, - 536 с.

[Баженов64] Бежанов Л.Б. О некоторых философских аспектах проблемы моделирования мышления кибернетическими устройствами. //В кн.: Кибернетика, мышление, жизнь. - М., 1964

[Базилевич89] Л.А.Базилевич. Автоматизация организационного проектирования. - Л., Машиностроение ЛО, 1989. - 176 с.

[Бакланов78] Бакланов В.М., Попов Э.В. "Понимание" фраз ограниченного русского языка. - М., Изв. АН СССР, Техническая кибернетика, 1978, N 4.

[Бар88] Бар Р. Язык Ада в проектировании систем. - М., Мир, 1988

[Барздинь82] Барздинь Я.М. Некоторые правила индуктивного вывода и их применения. //В сб. Семиотика и информатика, вып. 19, - М., ВИНИТИ, 1982

[Баронец86] Баронец В.Д. Проектирование лингвистических устройств на основе нечеткой логики. //Автоматика и телемеханика, 1986, N 12

[Баррон74] Баррон Д. Рекурсивные методы в программировании. - М., Мир, 1974, - 80 с.

[Батурин] Батурин Ю.М. Проблемы компьютерного права. - М., Юридическая литература, 1991, - 272 с.

[Бауэр76] Бауэр Ф.Л., Гооз Г. Информатика. Вводный курс. - М., Мир, 1976

[Бауэр78] Бауэр Ф.Л., Гнац Р., Хилл У. Информатика. Задачи и решения.- М., Мир, 1978, - 355 с.

[Бектаев69] Бектаев К.Б., Зубов А.В., Ковалевич Е.Ф., Машкина Л.Е., Нехай .А. К исследованию законов распределения лингвистических единиц. //В сб.: Статистика текстов. .Лингвостатистические исследования. - Минск, 1969

[Бектаев71] Бектаев К.Б., Лукьяненко К.Ф. О законах распределения единиц письменной речи. //В сб.: Статистика речи и автоматический анализ текста. - Л., 1971, 1973, 1974

[Бектаев74] Бектаев К.Б., Пиотровский Р.Г., Шабес В.Я. Тезаурусное распознавание смысла документа в АСУ и АИСП. //В сб.: Лингвистическое обеспечение автоматизированных систем управления и информационно-поисковых систем. - Тюмень, 1974

[Белецкая91] Белецкая Л.В., Липницкий С.Ф., Машковская И.П., Млынчик И.И. Словарь по информатике. - Минск, Университетское, 1991, - 160 с.

[Белнап81] Белнап Н., Стил Т. Логика вопросов и ответов.- М., Прогресс,1981.- 287 с.

[Белоногов79] Белоногов Г.Г., Новоселов А.П. Автоматизация процессов накопления, поиска и обобщения информации. - М., Наука, 1979

[Белый10] Белый А. Мысль и язык (философия языка А.А.Полтебни). //В сб.: Логос. - М., 1910

[Беляев86] Беляев И.П. Структурная модель представления знаний. // В кн.: Психологическое обеспечение АСОУ. - Одесса, 1986. - с. 60-65.

[Бенерджи71] Бенерджи Р. Теория решения задач. Подход к созданию искусственного интеллекта. - М., Мир, 1971, - 224 с.

[Берг76] Берг А.И.,Бирюков Б.В.,Геллер Е.С.,Поваров Г.И. Управление, информация, интеллект. - М., 1976

[Берж62] Берж К. Теория графов и ее применения. - М., ИЛ, 1962, - 320с.

[Берзтисс74] Берзтисс А.Т. Структуры данных. - М., Статистика, 1974, - 408 с.

[Бешенков97] Бешенков С.А., Давыдов А.Л., Матвеева Н.В. Гуманитарная информатика в начальном обучении. - М., Информатика и образование, 1997, N 4, с.62-64

[Бидер76] Бидер И.Г., Большаков И.А. Формализация морфологического компонента модели "смысл-текст". 1. Постановка проблемы и основные понятия. - М., Изв. АН СССР, Техническая кибернетика, 1976, N 6

[Библиотека81] Библиотека алгоритмов 151б - 200б. Справочное пособие. Вып.4. - М., Радио и связь, 1981

[Бирюков65] Бирюков Б.В. О взглядах Г.Фреге на роль знаков и исчисления в познании. //В сб.: Логическая структура научного знания. - М., 1965

[Блох87] Блох А.Ш. Граф-схемы и алгоритмы. - Минск, Высшая школа, 1987, 144 с.

[Богодист74] Богодист В.И. Измерение смысловой информации лингвистической единицы французского языка. - Л., 1974

[Бойченко85] Бойченко Е.В., Кальфа В., Овчинников В.В. Локальные вычислительные сети. - М., Радио и связь, 1985. - 304 с.

[Бонгард67] Бонгард М.М. Проблема узнавания. - М., Наука, 1967, - 320 с.

[Бондаренко97] Бондаренко Н.В., Северова Т.С., Соколовский М.В., Толстых Г.Д. О концепции обучения информатике в школе. - М., Информатика и образование, 1997, N 1, с.19-22

[Бордовский91] Бордовский Г.А., Извозчиков В.А., Исаев Ю.В., Морозов В.В. Информатика в понятиях и терминах. Книга для учащихся старших классов средней школы. - М., Просвещение, 1991, - 208с.

[Борисов89] Борисов А.Н., Алексеев А.В., Меркурьев Г.В., Слядзь Н.Н., Глушков В.И. Обработка нечеткой информации в системах принятия решений. - М., Радио и связь, 1989. -304с.

[Бохуа82] Бохуа Н.К., Геловани В.А., Ковригин О.В., Смольянов Н.Д. Экспертная система диагностики различных форм артериальной гипертензии. - М., Изв. АН СССР, Техническая кибернетика, 1982, N 6

[Боэм85] Боэм Б.У. Инженерное проектирование программного обеспечения. - М., Радио и связь, 1985, - 511 с.

[Брандон70] Брандон Д.Х. Организация работы на вычислительном центре. - М., Статистика, 1970, - 296 с.

[Братко90] Братко И. Программирование на языке Пролог для искусственного интеллекта. - М., Мир, 1990, - 560 с.

[Братчиков75] Братчиков И.Л. Синтаксис языков программирования. - М., Наука, 1975

[Браун77] Браун П. Микропроцессоры и мобильность программного обеспечения. - М., Мир, 1977, - 255 с.

[Бриллюэн66] Бриллюэн Л. Научная неопределенность и информация. - М., Мир, - 271 с.

[Бритон79] Бритон Д.Б. Новая компьютерная архитектура, основанная на потоке данных. - М., Электроника, 1979, N 9

[Бродская81] Бродская И.М., Камынин С.С. Система машинного видения для анализа сцен. //В кн.: Проблемы машинного видения в робототехнике. ИПМ АН СССР, - М., 1981

[Броуди90] Броуди Л. Начальный курс программирования на языке Форт. - М., Финансы и статистика, 1990, - 352 с.

[Брукс79] Брукс Ф.П. мл. Как проектируются и создаются программные комплексы. Мифический человеко-месяц. Очерки по системному программированию. - М., Наука, 1979, - 152 с.

[Брусницов79] Брусницов Н.П. Микрокомпьютеры. - М., Наука, 1979

[Брябрин81] Брябрин В.М. Ф-язык - формализм для представления знаний в интеллектуальной системе. //В сб.: Прикладная информатика. Вып. 1, Финансы и статистика, - М., 1981

[Брябрин88] Брябрин В.М. Программное обеспечение персональных ЭВМ. - М., Наука, 1988, - 271 с.

[Булос94] Дж.Булос, Р.Джеффри. Вычислимость и логика. - М., Мир, 1994, - 397 с.

[Бусленко78] Бусленко Н.П. Моделирование сложных систем. - М.,Наука,1978, 399 с.

[Вагин86] Вагин В.Н. Параллельная дедукция на семантических сетях. //Изв. АН СССР, Техническая кибернетика, 1986, N 5

[Вагин87] Вагин В.Н., Захаров В.Н., Розенблюм Л.Я. К логическому выводу на сетях Петри. //Изв.АН СССР, Техническая кибернетика, 1987, N 5

[Ван Дейк78] Ван Дейк Т. Вопросы прагматики текста. //В кн.: Новое в лингвистике. Вып. VIII. Лингвистика текста. - М., 1978

[Василеску90] Василеску Ю. Прикладное программирование на языке Ада. - М., Мир, 1990, - 350 с.

[Вегнер83] Вегнер П. Программирование на языке Ада. - М.,Мир,1983,- 240с.

[Вейль89] Вейль Герман. Математическое мышление. - М., Наука,1989,- 400с.

[Велихов86] Велихов Е.П. Информатика - актуальное направление развития советской науки. //Кибернетика. Становление информатики. - М., Наука, 1986, с.10-21

[Вельбицкий80] Вельбицкий И.В., Ходаковский В.Н., Шолмов Л.И. Технологический комплекс производства программ на машинах ЕС ЭВМ и БЭСМ-6. - М., Статистика, 1980, - 263 с.

[Ветров68] Ветров А.А. Семиотика ее основные проблемы. - М., 1968

[Винер66] Винер Н. Творец и робот. Обсуждение некоторых проблем, в которых кибернетика сталкивается с религией. - М., Прогресс, 1966

[Винер68] Винер Н. Кибернетика или управление и связь в живом и машине. - М., Советское радио, 1968, - 340 с.

[Виноград76] Виноград Т. Программа, понимающая естественный язык. -М., Мир, 1976

[Виноградов86] Виноградов В.И. Информационно-вычислительные системы: Распределенные модульные системы автоматизации. - М., Энергоатомиздат, 1986. - 336 с.

[Вирт77а] Вирт Н. Систематическое программирование: Введение. - М., Мир, 1977

[Вирт77б] Вирт Н. Язык программирования Паскаль (Пересмотренное сообщение). //В сб.: Алгоритмы и организация решения экономических задач. вып. 9, - М., Статистика, 1977

[Вирт85] Вирт Н. Алгоритмы + структуры данных = программы. - М., Мир, 1985, - 408 с.

[Власов88] Власов В.К., Королев Л.Н., Сотников А.Н. Элементы информатики. - М., Наука, 1988. - 320 с.

[Воз84] Воз Л. Решение некоторых открытых проблем с помощью программы для автоматического доказательства теорем. //Кибернетический сборник. Вып.21, - М., Мир, 1984, с.235-263

[Воронов90] Воронов Ю.П. Компьютеризация: Шаг в будущее. - Новосибирск: Наука, 1990. - 336 с.

[Восилюс80] Восилюс С.К., Мачераускас В.Ю. Фреймовое представление знаний в системах управления качеством. //В кн.: Представление знаний в системах искусственного интеллекта. - М., 1980

[Вудс76] Вудс В.А. Сетевые грамматики для анализа естественного языка. Кибернетический сборник, вып. 13, - М., Мир, 1976

[Вулф87] Вулф А. Модули на базе однокристального Лисп-процессора для ЭВМ военного назначения. //Электроника, 1987, т.60, N 5, с.27-31

[Высоцкий70] Высоцкий Г.Я., Рудный Б.Н., Трунин-Донской В.Н., Цемель Г.И. Опыт речевого управления вычислительной машиной. Изв. АН СССР, Техническая кибернетика, 1970, N 2

[Выч67] Вычислительные машины и мышление. - М., Мир, 1967, - 552 с.

[Выч78] Вычислительная техника и обработка данных. Терминологический толковый словарь фирмы IBM. - М., Статистика, 1978, - 232 с.

[Гаврилова00] Гаврилова Т.А., Хорошевский В.Ф. Базы знаний интеллектуальных систем (Учебник). Санкт-Петербург, Москва – Харьков – Минск, 2000, - 384 с.

[Гавурин63] Гавурин М.К. О ценности информации. Вестник ЛГУ. Сер. математики, механики и астрономии. N 19, вып. 4, 1963

[Гаек84] Гаек П., Гавранек Т. Автоматическое образование гипотез. Математические основы общей теории. - М., Наука, 1984. - 278 с.

[Гантер81] Гантер Р. Методы проектирования программного обеспечения. - М., Мир, 1981

[Гетманова95] Гетманова А.Д. Логика. Для педагогических учебных заведений. -М., Новая школа, 1995, - 416 с.

[Ги86] Ги К. Введение в локальные вычислительные сети. - М., Радио и связь, 1986. - 176 с.

[Гилой81] Гилой В. Интерактивная машинная графика: структуры данных, алгоритмы, языки. - М., Мир, 1981, - 384 с.

[Гильберт79] Гильберт Д., Бернайс П. Основания математики. Логические исчисления и формализация арифметики. - М., Наука, 1979, - 558с.

[Гильберт82] Гильберт Д., Бернайс П. Основания математики. Теория доказательств. - М., Наука, 1982, - 653 с.

[Гинзбург70] Гинзбург С. Математическая теория контекстно-свободных языков. - М., Мир, 1970, - 327 с.

[Гласс82] Гласс Р. Руководство по надежному программированию. - М., Финансы и статистика, 1982

[Гласс83] Гласс Р., Нуазо Р. Сопровождение программного обеспечения. - М., Мир, 1983, - 156 с.

[Глушков71] Глушков В.М., Гринченко Г.А. АНАЛИТИК. - К., Кибернетика,1971, N 3

[Глушков79] Глушков В.М. Фундаментальные исследования и технология программирования. //В кн.: Технология программирования. - К., ИК АН УССР, 1979

[Глушков82] Глушков В.М. Основы безбумажной информатики. - М., Наука, 1982, - 552 с.

[Глушков90] Глушков В.М. Кибернетика, вычислительная техника, информатика. Избранные труды в трех томах. Т.1. Математические вопросы кибернетики. - 264 с. Т.2. ЭВМ - техническая база кибернетики. - 268 с. Т.3. - Киев, Наукова думка, 1990

[Голендер81] Голендер В.Е. Индуктивная логика и методы обнаружения закономерностей. //В кн.: Машинные методы обнаружения закономерностей. - Рига, 1981

[Головкин80] Головкин Б.А. Параллельные вычислительные системы. - М., Наука, 1980. - 520 с.

[Горстко88] Горстко А.Б. Кочковая С.В. Азбука программирования. (Информатика для всех). - М., Знание, 1988, - 144 с.

[ГОСТ89] ГОСТ 28195-89. Оценка качества программных средств. Общие положения. Государственный комитет СССР по стандартам. - М., Издательство стандартов, 1989, - 38 с.

[Грей89] Грей П. Логика, алгебра и базы данных.- М., Машиностроение,1989,- 368 с.

[Гренандер83] Гренандер У. Лекции по теории образов. - М., Мир. Т.1.Синтез образов. 1979, - 384 с. Т.2. Анализ образов. 1981, - 446 с. Т.3. Регулярные структуры. 1983, - 345 с.

[Грис75] Грис Д. Конструирование компиляторов для цифровых вычислительных машин. - М., Мир, 1975, - 416 с.

[Грис84] Грис Д. Наука программирования. - М., Мир, 1984, - 416 с.

[Гришин82] Гришин Е.А., Билялитдинов А.Х. Структура языка представления знаний KRL. //Техника средств связи. Сер. АСИ, N 1, 1982

[Громов85] Громов Г.Р. Национальные информационные ресурсы: Проблемы промышленной эксплуатации. - М., Наука, 1985, - 237 с.

[Громов87] Громов Г.Р. Игровая компонента персональных ЭВМ: стимулятор творчества, педагогический прием, жанр киноискусства. - М., Микропроцессорные средства и системы, 1987, N 3

[Гросс71] Гросс М., Лантен А. Теория формальных грамматик. - М., Мир, 1971

[Гудман81] Гудман С., Хидетниеми С. Введение в разработку и анализ алгоритмов. - М., Мир, 1981, - 368 с.

[Гудстейн70] Гудстейн Р.Л. Рекурсивный математический анализ. - М., Наука, 1970, - 472 с.

[Гутер75] Гутер Р.Ц., Полунов Ю.Л. От абака до компьютера. - М., Знание, 1975, - 208 с.

[Дал69] Дал У., Мюрхауг Б., Нюгорд К. СИМУЛА 67 - универсальный язык программирования. - М., Мир, 1969

[Дал75] Дал У., Дейкстра Э., Хоор К. Структурное программирование. - М., Мир, 1975, - 248 с.

[Дейкало84] Дейкало Г.Ф., Новиков Б.А., Рухлин А.П., Терехов А.Н. Новые средства программирования на ЕС ЭВМ. Транслятор с языка Алгол 68 и диалоговая система JEС. - М., Финансы и статистика, 1984, - 208 с.

[Дейкстра78] Дейкстра Э. Дисциплина программирования. - М., Мир, 1978, - 277 с.

[Дейт80] Дейт К. Введение в системы базы данных. - М., Наука, 1980

[Дейт88] Дейт К. Руководство по реляционной СУБД DB2. - М.: Финансы и статистика, 1988. - 320 с.

[Дембаускас87] Дембаускас А.П. Финансовая информатика. - М., Финансы и статистика, 1987, 207 с.

[Деметрович89] Деметрович Я., Кнут Е., Радо П. Автоматизированные методы спецификации. - М., Мир, 1989. - 115 с.

[Денинг84] Денинг В., Эссиг Г., Маас С. Диалоговые системы "человек-ЭВМ". Адаптация к требованиям пользователя. - М., Мир, 1984

[Джадд75] Джадд Д.Р. Работа с файлами. - М., Мир, 1975

[Джехани88] Джехани Н. Язык Ада. - М., Мир, 1988, - 552 с.

[Джордж63] Джордж Ф. Мозг как вычислительная машина. - М., ИИЛ,1963, - 546 с.

[Добровольский89] ДобровольскийВ.Ю. Текстовый процессор microsoft WORD (для IBM совместимых персональных компьютеров). Версия 4.0, руководство по эксплуатации. - М., 1989, 122 с.

[Доорс90] Доорс Дж., Рейблейн А.Р., Вадера С. ПРОЛОГ - язык программирования будущего. - М., Финансы и статистика, 1990, - 143 с.

[Дородницын85] Дородницын А.А. Информатика: Предмет и задачи. Вестник АН СССР, N 2, 1985, с.85-89

[Дрейфус78] Дрейфус Х. Чего не могут вычислительные машины? Критика искусственного разума. - М., Прогресс, 1978

[Дробушевич78] Дробушевич Г.А. Справочник программиста. - Минск, Вышятная школа, 1978, - 192 с.

[Дуда76] Дуда Р., Харт П. Распознавание образов и анализ сцен. - М., Мир, 1976

[Дэвис82] Дэвис Д., Барбер Д., Прайс У., Соломонидес С. Вычислительные сети и сетевые протоколы. - М., Мир, 1982. - 562 с.

[Дюбуа90] Дюбуа Д., Прад А. Теория возможностей. Приложения к представлению знаний в информатике. - М., Радио и связь, 1990, - 287 с.

[Евстигнеев85] Евстигнеев В.А. Применение теории графов в программировании. - М., Мир, 1985

[Ершов72а] Ершов А.П. О человеческих и эстетических факторах в программировании. - К., Кибернетика, N 5, 1972

[Ершов72б] Ершов А.П. Технология разработки систем программирования. //В кн.: Системное и теоретическое программирование. Новосибирск, ВЦ СО АН СССР, 1972

[Ершов77] Ершов А.П. Введение в теоретическое программирование. Беседы о методе. - М., Наука, 1977, - 288 с.

[Ершов82] Ершов А.П., Ильин В.П. Пакеты программ как методология решения прикладных проблем. //В сб.: Пакеты прикладных программ; проблемы и перспективы. - М., Наука, 1982

[Ершов83] Ершов А.П. Информатика. Предмет и понятие. //Наука в Сибире. - Новосибирск, 1983, N 32

[Ершов85] Ершов А.П. Человек и машина. - М., Знание, 1985

[Ершов86] Ершов А.П., Монахов В.М. и др. Основы информатики и вычислительной техники. Пробное учебное пособие для средних учебных заведений. В двух частях. - М., Просвещение, 1986

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

[Ефимов82] Ефимов Е.И. Решение интеллектуальных задач. - М., Наука,1982,- 320 с.

[Жигарев87] Жигарев А.Н., Макарова Н.В., Путинцева М.А. Основы компьютерной грамоты. - Ленинград, Машиностроение ЛО, 1987, 255 с.

[Заде74] Заде Л.А. Основа нового подхода к анализу сложных систем и процессов принятия решений. //В сб.: Математика сегодня. - М., Знание, 1974

[Зайцев85] Зайцев С.С. Транспортировка данных в сетях ЭВМ. - М., Радио и связь, 1985. - 128 с.

[Закревский85] Закревский А.Д., Баландин Р.К. Задание - опознать (распознавание образов). - М., Наука, 1985

[Зализняк77] Зализняк А.А. Грамматический словарь русского языка. - М., Русский язык, 1977

[Зарипов83] Зарипов Р.Х. Машинный поиск вариантов при моделировании творческого процесса. - М., Наука, 1983. - 232 с.

[Зелковиц82] Зелкович М., Шоу А., Гэннон Дж. Принципы разработки программного обеспечения. - М., Мир, 1982, - 368 с.

[Зикманн84] Зикманн Й., Сабо П. Универсальная унификация и классификация эквациональных теорий. //Кибернетический сборник, вып.21, - М., 1984

[Зиновьев70] Зиновьев А.А. Комплексная логика. - М., Наука, 1970, 204 с.

[Ивашко86] Ивашко В.Г., Финн В.К. Экспертные системы и некоторые проблемы их интеллектуализации. //Семиотика и информатика, вып.27, - М., ВИНИТИ, 1986

[Ивин96] Ивин А.А. Логика. - М., Просвещение, 1996, - 207 с.

[Ивлев92] Ивлев Ю.В. Логика. Изд. МГУ, 1992, - 272 с.

[Изерман84] Изерман Р. Цифровые системы управления. - М., Мир, 1984

[Ильин91] Ильин В.П. Вычислительная информатика: открытие науки. - Новосибирск, Наука СО, 1991, - 198 с.

[Ильинский79] Ильинский Н.И., Кузин Л.Т., Стрижевский В.С. Интеллектуальная система программирования. //В кн.: Вопросы кибернетики, вып. 55, - М., АН СССР, 1979

[Ингерман69] Ингерман П. Синтаксически ориентированный транслятор. - М., Мир, 1969, - 175 с.

[Интелл90] Интеллектуализация программных средств. //Сб. ст. Новосибирск, Наука СО ИВЦ, 1990, - 216 с.

[Информ75] Информационные системы общего назначения (аналитический обзор систем управления базами данных). - М., Статистика, 1975, - 472 с.

[Информ90] Информационный бюллетень. Научно-производственное объединение "ЦЕНТРПРОГРАММСИСТЕМ", Государственный испытательный центр программных средств вычислительной техники. Тверь, 1990, - 22 с.

[Информатика1] Информатика. Экспресс-информация. - М., ВИНИТИ, с 1979, 48 раз в год.

[Информатика2] Информатика. Научно-технический сборник, сер. Кадровое обеспечение. Отдельные выпуски с 1990 г. - М., ГК ВТИ СССР

[Информатика3] Информатика и вычислительная техника за рубежом. Информационный сборник статей. По выпускам издается с 1990 г. - М.

[Информатика4] Информатика. Серия Автоматизация проектирования. - М., ВИМИ, издается с 1976 сборником статей.

[Информатика5] Информатика. Еженедельное приложение к газете «Первое сентября». ОАО.ПО «Пресса-1» - М., с 1995, на 32 с.

[Информатика91] Информатика в понятиях м терминах. Книга для учащихся старших классов средней школы. - М., Просвещение, 1991, - 208 с.

[Исихара92] Исихара С. Оптические компьютеры. Новый век науки. - М., Наука, 1992, - 96 с.

[Искусс88] Искусственный интеллект: Применение в химии. //Сб. ст. - М., Мир, 1988. - 430 с.

[Искусс91] Искусственный интеллект: Применение в интегрированных производственных системах. - М., Машиностроение, 1991, 544 с.

[Йодан79] Йодан Э. Структурное программирование и конструирование программ. - М., Мир, 1979

[Калиниченко90] Калиниченко Л.А., Рывкин В.М. Машины баз данных и знаний. - М., 1990, - 296 с.

[Канторович72] Канторович Л.В., Гостко А.Б. Оптимальное решение в экономике. - М., Наука, 1972

[Карри69] Карри Х.Б. Основание математической логики. - М., Мир, 1069, - 568 с.

[Кархо81] Кархо М.И., Калья А.П., Тыугу Э.Х. Инструментальная система программирования ЕС ЭВМ (ПРИЗ). - М., Финансы и статистика, 1981, - 160 с.

[Касаткин81] Касаткин Л.М. Активные семантические сети в системах знаний роботов. - Киев, Знание, 1981

[Касьянов86] Касьянов В.Н., Поттосин И.В. Методы построения трансляторов. - Новосибирск, Наука СО, 1986, - 344 с.

[Кейслер77] Кейслер Г., Чэн Ч.Ч. Теория моделей. - М., Мир, 1977

[Керниган85] Керниган Б., Плоджер Ф. Инструментальные средства программирования на языке Паскаль, - М., Радио и связь, 1985, 313 с.

[Кибернетика79] Кибернетика. Неограниченные возможности и возможные ограничения. Итоги развития. - М., Наука, 1979

[Кибернетика86] Кибернетика. Становление информатики. //Сб. статей. - М., Наука, 1986, - 192 с.

[Кинг91] Кинг Д. Создание эффективного программного обеспечения. - М., Мир, 1991, - 288 с.

[Кириллов98] Кириллов В.И., Старченко А.А. Логика. Учебник для юридических ВУЗов, - М., Юристъ, 1998, - 255 с.

[Кирсанов82] Кирсанов Б.С., Преображенский А.Б. Организация вычислительного процесса на основе системы представления знаний.



Скачать документ

Похожие документы:

  1. Информатика в семи томах том 6 методы информатики

    Документ
    А.А. Красилов ИНФОРМАТИКА В СЕМИ ТОМАХ Том 6. Методы информатики (Изобретание, проектирование, разработка и сопровождение) Москва 1997 - 2003 ИНФОРМАТИКА Том 1. Основы информатики (Введение в информатику) Том 2. Информатика смысла (Машинная ...
  2. А а красилов информатика в семи томах том 1 основы информатики

    Книга
    ... Красилов ИНФОРМАТИКА В СЕМИ ТОМАХ Том 1. Основы информатики (Введение в информатику) Москва 1997 - 2003 ИНФОРМАТИКА Том 1. Основы информатики (Введение в информатику) Том 2. Информатика смысла (Машинная лингвистика) Том 3. Концептуальная информатика ...
  3. Информатика в семи томах том 3 концептуальная информатика

    Документ
    А.А. Красилов ИНФОРМАТИКА В СЕМИ ТОМАХ Том 3. Концептуальная информатика (Толковый словарь по информатике Москва 1997 - 2003 ИНФОРМАТИКА Том 1. Основы информатики (Введение в информатику) Том 2. Информатика смысла (Машинная лингвистика ...
  4. Информатика в семи томах том 2 информатика смысла

    Документ
    А.А. Красилов ИНФОРМАТИКА В СЕМИ ТОМАХ Том 2. Информатика смысла (Машинная лингвистика Москва 1997 - 2003 ИНФОРМАТИКА Том 1. Основы информатики (Введение в информатику) Том 2. Информатика смысла (Машинная лингвистика) Том 3. Концептуальная ...
  5. А а красилов информатика в семи томах том 4 представление знаний

    Документ
    ... Красилов ИНФОРМАТИКА В СЕМИ ТОМАХ Том 4. Представление знаний (Структуры данных) Москва 1997 - 2003 ИНФОРМАТИКА Том 1. Основы информатики (Введение в информатику) Том 2. Информатика ... Настоящее описание “Информатика” в семи томах. 2. Языки ...

Другие похожие документы..