Рассуждения о знаниях и проблема логического всеведения. Часть 2: Введение темпорального параметра в метаязык

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