tify"> Функціональна складність об'єктів автоматизації на базі ЕОМ швидко збільшується з розширенням кола додатків інформаційної технології. Неминучим наслідком цієї тенденції виявляється спостережуваний в даний час зсув акцентів у практиці програмування з історично перших проблем логічного проектування та кодування програм, по точно заданих формальним специфікаціям, до проблем аналізу так званих слабоструктурованих завдань, створення принципово нової технології програмування для областей додатків з трудноформалізуемимі умовами. При цьому програмування, як професійна діяльність, все далі еволюціонує за межі вузького кола точно поставлених завдань, які переважали в перші десятиліття комп'ютерної ери і дали привід розглядати цю область інженерної діяльності як строго формалізуються математичну дисципліну. p align="justify"> Впровадження міні-та мікро-ЕОМ в саму гущу складних виробничих відносин сучасних підприємств, установ, КБ і наукових лабораторій ставить перед програмуванням принципово нові, незрівнянно більш складні завдання і відповідно накладає на цю донедавна В«точну В»дисципліну відбиток природних, а в ряді випадків і гуманітарних наук.
Ще 20 років тому сенс останніх досягнень молекулярної генетики зазвичай пояснювали за допомогою простої аналогії: В«код первинної структури ДНК відіграє для функціонування генетичного апарату живого організму ту ж роль, що код програми для функціонування ЕОМВ». У 1981 р. журнал В«Computer & PeopleВ» опублікував статтю В«Техніка автоматизації процесів розробки програмного забезпеченняВ», автор якої, крім іншого, роз'яснив читачам популярного комп'ютерного журналу, що В«програмне забезпечення відіграє для машини ту ж саму роль, яку ДНК грає для живого організму В».
Зростаючий інтерес до природничих і гуманітарних аспектів процесу технологічної еволюції взагалі, а науки про ЕОМ особливо невипадковий. Швидко убегающий бар'єр складності виробів сучасної обчислювальної техніки вже не дозволяє розраховувати в найближчому майбутньому на успіх будь-яких практично цікавих спроб опису їх структури і функцій у категоріях лише традиційних В«точнихВ» наук. p align="justify"> Щоб на конкретних прикладах проілюструвати істота сформованих до цього часу відмінностей в оцінках взаємозв'язку точних, природничих і гуманітарних аспектів науки про програми, ми спробуємо нижче зіставляти деякі з формульованих по ходу викладу тез з альтернативною точкою зору.
Наука про програми, історія розвитку
На зорі ери ЕОМ Дж. фон Нейман зазначав, що В«багато чого з досвіду нашої роботи з штучними автоматами може бути до деякої степені1 перенесено на наше розуміння природних організмівВ». Спроби використовувати математичні результати В«досвіду роботи з штучними автоматамиВ» для розробки абстрактних схем інтелектуального В«акту творенняВ» (наприклад, для формалізації процесу створення найпростіших автоматів) сходять до робіт Дж. Буля, Лейбніца, Декарта і, мабуть, далі в глиб століть до Архімеда і епістемологічних вчень древніх греків. Перша хвиля широкого громадського інтересу до цього наукового напрямку збіглася за часом з появою ЕОМ і була ініційована, як прийнято вважати, виходом в 1948 р. книги Н. Вінера В«Кібернетика або управління і зв'язок в тварині і машиніВ». p align="justify"> Після того як з початку 60-х років міражі В«глобальної кібернетизаціїВ» почали поступово розсіюватися, наукові дослідження двостороннього інтелектуальної взаємодії В«людина - ЕОМВ» на деякий час опинилися локалізованими в невеликому числі розрізнено діючих дослідницьких груп, пов'язаних між собою в основному лише претензійною терміном-гаслом: В«штучний інтелектВ». Ренесанс штучного інтелекту (ШІ) як одного з наукових напрямків у теорії обчислювальної техніки почався за кордоном в 80-х роках слідом за раптово пронісся над ШІ-лабораторіями В«золотим дощемВ» багатомільйонних дотацій, викликаним загостренням суперництва між США і Японією за першість у комп'ютерній технології 90-х років (проект створення ЕОМ В«п'ятого поколінняВ»).
До цього часу ряд ШІ-дослідних колективів почав еволюціонувати у своїй практичній діяльності за межі чисто абстрактних вправ (по В«природно-мовноїВ» тематики, машинному доведенню обраного типу теорем та іншим умиротворяюще безвихідним, хоча і вельми поважним занять) до конструктивних дослідженням, спрямованим на створення конкретних проблемно-орієнтованих В«баз знаньВ». На цьому напрямку наприкінці 70-х років були отримані ті перші практично корисні результати, які дозволили розпочати у 80-х роках поступово шар за шаром знімати склався за два десятиліття непроникний наліт схоластики з В«штучного інтелектуВ» як наукового напрямку в теорії ЕОМ. До теперішнього часу в світі діє вже 2-3 десятки практично корисних В«експертних системВ» (по деяких розділах медицини, геології, хімії та іншим В«важко формалізованихВ» областям знан...
