|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Устранение операторов прошлого в троичной логике линейного времени на конечных трассахдоклад на конференции
- Авторы: Куцак Н.Ю., Подымов В.В.
- Всероссийская Конференция : Математические основы информатики и информационно-коммуникационных систем.
- Даты проведения конференции: 3-8 декабря 2021
- Дата доклада: 5 декабря 2021
- Тип доклада: Устный
- Докладчик: Куцак Н.Ю.
- Место проведения: Тверь., Russia
-
Аннотация доклада:
В работе рассматривается троичный вариант языка логики линейного времени (LTL), основанный на логике сильной неопределенности Клини, и предлагается подход к устранению операторов прошлого из этого языка с сохранением выразительных возможностей. Этот подход основан на особых преобразованиях троичных формул в двоичные и обратно с использованием известных результатов об устранении операторов прошлого в LTL.
- Добавил в систему: Подымов Владислав Васильевич