Система для создания и использования экспертных систем. Позволяет создавать экспертные системы логического типа любого уровня сложности. Особенности : - Интервейс естественного языка. - Умеет обосновывать свои действия. - Возжность работы в режиме реального времени. - Вычисляет коэфициент вероятности своих гипотез.