|
Религия Денег
Дмитрий Неведимов
Логическое программирование.
Мы использовали технологии экспертных систем, которые были основой
японского проекта ЭВМ пятого поколения. В те годы обычным людям было еще довольно сложно
освоить компьютер, и делалось много попыток сделать его более интеллектуальным, более удобным для человека…
Для создания экспертной системы нужен собственно эксперт, источник знаний в какой-либо узкой
предметной области, и универсальный инженер знаний. Инженер знаний опрашивает эксперта,
формализует его знания и создает модель предметной области. Модель затем вводится в компьютер,
и проигрываются всевозможные варианты.
Для описания моделей использовался язык программирования Пролог. Это чисто логический язык,
он совершенно не похож на обычные Бейсик или Си, основанные на числах. Пролог состоит из системы
предикатов (утверждений) и встроенных механизмов логического вывода. Скажем, если на Прологе
написать утверждения "Я люблю лес" и "В лесу идут дожди", то он автоматически может сделать
вывод о том, что "Я люблю дожди". При программировании на Прологе приходится не столько считать,
сколько прокручивать в голове множество логических операций.
Наши программы пользовались повышенным спросом у заводов и учебных институтов СССР, несмотря на
высокую цену, 20 тысяч рублей за несколько дискет. Это равнялось цене двух автомобилей "Жигули".
Надо признать, что наши программы не так далеко ушли от книжки по ТРИЗ за 1 рубль 40 копеек.
Но магия диалога с персональным компьютером, сама идея того, что машина помогает изобретать,
и грамотный маркетинг, создавали особый эффект.
Помимо программ, наши специалисты оказывали услуги по обучению. В 1990 году в течение двух
недель я изучал ТРИЗ вместе с инженерами Технического центра АвтоВАЗа. Они были непритязательны на вид,
но очень смекалисты, и буквально впитывали новые знания. Инженеры относились к ВАЗу как к родному дому.
Забегая вперед, необходимо отметить, что канадские инженеры по сравнению с ними - узкие, ограниченные
люди с гладкой прической. Почему же, если они не такие умные, то такие богатые?
|
