ISSN 0236-235X (P)
ISSN 2311-2735 (E)

Публикационная активность

(сведения по итогам 2018 г.)
2-летний импакт-фактор РИНЦ: 0,678
2-летний импакт-фактор РИНЦ без самоцитирования: 0,541
Двухлетний импакт-фактор РИНЦ с учетом цитирования из всех
источников: 1,047
5-летний импакт-фактор РИНЦ: 0,460
5-летний импакт-фактор РИНЦ без самоцитирования: 0,389
Суммарное число цитирований журнала в РИНЦ: 7170
Пятилетний индекс Херфиндаля по цитирующим журналам: 310
Индекс Херфиндаля по организациям авторов: 412
Десятилетний индекс Хирша: 19
Место в общем рейтинге SCIENCE INDEX за 2018 год: 303
Место в рейтинге SCIENCE INDEX за 2018 год по тематике "Автоматика. Вычислительная техника": 10

Больше данных по публикационной активности нашего журнале за 2008-2018 гг. на сайте РИНЦ

Добавить в закладки

Следующий номер на сайте

4
Ожидается:
16 Декабря 2019

В Национальном исследовательском университете «МЭИ» совместно с МГТУ им. Н.Э. Баумана исследовалось объединение концепций активной логики и логического программирования.

18.11.2015

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

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

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