|
Искусственный интеллект и принятие решений, 2016, выпуск 1, страницы 75–88
(Mi iipr278)
|
|
|
|
Методы рассуждений и представления знаний
Алгоритмы дедукции для некоторых расширений интервальной логики Аллена
Г. С. Плесневич, Нгуен Тхи Минь Ву Национальный исследовательский университет «Московский энергетический институт»
Аннотация:
Рассматриваются расширяющие интервальную логику Аллена языки, предложениями которых служат булевы комбинации предложений логики Аллена, возможно, с метрической информацией. Представлены не- которые алгоритмы дедукции для этих языков. Алгоритмы основаны на методе аналитических таблиц.
Ключевые слова:
темпоральные логики, интервальная логика Аллена, метод аналитических таблиц, алгоритмы дедукции.
Образец цитирования:
Г. С. Плесневич, Нгуен Тхи Минь Ву, “Алгоритмы дедукции для некоторых расширений интервальной логики Аллена”, Искусственный интеллект и принятие решений, 2016, № 1, 75–88; Scientific and Technical Information Processing, 44:5 (2016), 345–356
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/iipr278 https://www.mathnet.ru/rus/iipr/y2016/i1/p75
|
Статистика просмотров: |
Страница аннотации: | 26 | PDF полного текста: | 21 | Список литературы: | 1 |
|