Программные продукты и системы

Дедуктивные способности реальных людей (необязательно агентов) могут быть самыми разными, от вполне совершенных до весьма посредственных. Но вне зависимости от этих способностей люди не являются логически всеведущими. Одна из достаточных причин очевидна: для осознания следствий из известных фактов человеку необходимы ментальные усилия, приложение которых приводит к расходу имеющихся ресурсов и прежде всего располагаемого времени. Если этих ресурсов не хватит, человек не сможет (не успеет к определенному сроку) должным образом осознать некоторые, быть может, важные для него факты, хотя они и составляют часть его имплицитных знаний. Этого не случилось бы, если бы человек действительно был логически всеведущим. Эти же соображения остаются в силе и для искусственных рациональных агентов, о моделировании ментальных свойств которых идет речь.

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

Подробное описание дается в статье «Активная логика и логическое программирование: объединение двух концепций», авторы: Фоминых И.Б., Пожидаев А.К. (Национальный исследовательский университет «Московский энергетический институт», Москва), Виньков М.М. (Московский государственный технический университет им. Н.Э. Баумана, Москва).