Интервальная темпоральная логика - Interval temporal logic
 | Эта статья включает Список ссылок, связанное чтение или внешняя ссылка, но его источники остаются неясными, потому что в нем отсутствует встроенные цитаты. (Январь 2011 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
Интервальная темпоральная логика (также интервальная логика) это темпоральная логика для представления как пропозициональный и первый заказ логичный рассуждения о периодах времени, которые позволяют обрабатывать как последовательную, так и параллельную композицию. Вместо того чтобы иметь дело с бесконечными последовательностями состояний, интервальная временная логика имеет дело с конечными последовательностями.
Интервальная темпоральная логика находит применение в Информатика, искусственный интеллект и лингвистика. Интервальная временная логика первого порядка была первоначально разработана в 1980-х годах для Технические характеристики и проверка оборудования протоколы. Интервальная темпоральная логика (ITL) - это особая форма темпоральная логика, первоначально разработанная Бен Мошковски для его диссертации в Стэндфордский Университет.[1] Это полезно при формальном описании аппаратное обеспечение и программного обеспечения для компьютерных систем. Доступны инструменты, помогающие в этом процессе. Темпура обеспечивает исполняемый файл Структура ITL. Композиционность - важный вопрос, который необходимо учитывать при разработке ITL.
Известные производные интервальной временной логики: графическая интервальная логика, логика интервала со знаком и логика будущего интервала.
Смотрите также
Рекомендации
 | Этот логика -связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |
 | Этот формальные методы -связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |