Аннотация:
Данная статья является представлением работ, проведенных в институте ИПРУ по тематике «Проведение теоретических и прикладных работ для моделирования временных отношений в базах данных. Разработка включающих средств обработки темпоральных и нечетких знаний». Статья посвящена концептуальным и теоретическим основаниям автоматической (компьютерной) процедуры оценки истинности утверждений дискретной линейной временной логики с четырьмя операторами: всегда, иногда, следующий и пока.
Полный текст:
PDF файл (2845 kB)