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

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

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

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

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