01.1996 - 01.1998 ,    Код проекта: RFBR 96-01-01927  Описание Исследуется класс систем логического управления, строящийся с использованием современной информационной технологии. Разрабатывается многоуровневая структура управления, на верхних уровнях которой используется средства обработки знаний, а на нижних- формальные модели логики высказываний и логики предикатов первого порядка. Такие модели управления применяются в области управления движением манипуляторов роботов и для построения аппаратов искусственной вентиляции легких.  Ключевые слова представление знаний, обработка знаний, логика предикатов, манипуляторы роботов, логическое управление, интеллектуальные системы