Данная книга начинается с обновленного описания алгебры Аллена для представления временных отношений, а затем переходит к описанию основных качественных исчислений, разработанных за последние два десятилетия. В книге рассматривается связь вопросов сложности с геометрическими свойствами. Приводятся модели формализмов с использованием алгебраического понятия слабых представлений соответствующих алгебр. Кроме того, книга включает представление нечетких расширений качественных исчислений и описание изучения сложности с точки зрения клонов операций.
#зарубежная компьютерная литература