"Формализация целей и ограничений ИТС средствами деонтической логики" - читать интересную книгу автора (Миков А.И.)