Логическое программирование

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

Для создания экспертной системы нужен собственно эксперт, источник знаний в какой-либо узкой предметной области, и универсальный инженер знаний. Инженер знаний опрашивает эксперта, формализует его знания и создаёт модель предметной области. Модель затем вводится в компьютер, и проигрываются всевозможные варианты.

Для описания моделей использовался язык программирования Пролог. Это чисто логический язык, он совершенно не похож на обычные Бейсик или Си, основанные на числах. Пролог состоит из системы предикатов (утверждений) и встроенных механизмов логического вывода. Скажем, если на Прологе написать утверждения «Я люблю лес» и «В лесу идут дожди», то он автоматически может сделать вывод о том, что «Я люблю дожди». При программировании на Прологе приходится не столько считать, сколько прокручивать в голове множество логических операций.

Наши программы нашли хороший спрос у заводов и учебных институтов СССР, несмотря на высокую цену, 20 тысяч рублей за несколько дискет. Это равнялось цене двух автомобилей Жигули. Надо признать, что наши программы не так далеко ушли от книжки по ТРИЗ за 1 рубль 40 копеек. Но магия диалога с персональным компьютером, сама идея того, что машина помогает изобретать, и грамотный маркетинг, создавали особый эффект.

Помимо программ, наши специалисты оказывали услуги по обучению. В 1990 году в течение двух недель я изучал ТРИЗ вместе с инженерами Технического центра АвтоВАЗа. Они были непритязательны на вид, но очень смекалисты, и буквально впитывали новые знания. Инженеры относились к ВАЗу как к родному дому. Забегая вперёд, канадские инженеры по сравнению с ними – узкие, ограниченные люди с гладкой причёской. Почему же, если они не такие умные, то такие богатые?