Искусственный интеллект и принятие решений
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Правила для авторов

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Искусственный интеллект и принятие решений:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Искусственный интеллект и принятие решений, 2016, выпуск 1, страницы 75–88 (Mi iipr278)  

Методы рассуждений и представления знаний

Алгоритмы дедукции для некоторых расширений интервальной логики Аллена

Г. С. Плесневич, Нгуен Тхи Минь Ву

Национальный исследовательский университет «Московский энергетический институт»
Аннотация: Рассматриваются расширяющие интервальную логику Аллена языки, предложениями которых служат булевы комбинации предложений логики Аллена, возможно, с метрической информацией. Представлены не- которые алгоритмы дедукции для этих языков. Алгоритмы основаны на методе аналитических таблиц.
Ключевые слова: темпоральные логики, интервальная логика Аллена, метод аналитических таблиц, алгоритмы дедукции.
Англоязычная версия:
Scientific and Technical Information Processing, 2016, Volume 44, Issue 5, Pages 345–356
DOI: https://doi.org/10.3103/S0147688217050100
Реферативные базы данных:
Тип публикации: Статья
Образец цитирования: Г. С. Плесневич, Нгуен Тхи Минь Ву, “Алгоритмы дедукции для некоторых расширений интервальной логики Аллена”, Искусственный интеллект и принятие решений, 2016, № 1, 75–88; Scientific and Technical Information Processing, 44:5 (2016), 345–356
Цитирование в формате AMSBIB
\RBibitem{PleNgu16}
\by Г.~С.~Плесневич, Нгуен~Тхи~Минь~Ву
\paper Алгоритмы дедукции для некоторых расширений интервальной логики Аллена
\jour Искусственный интеллект и принятие решений
\yr 2016
\issue 1
\pages 75--88
\mathnet{http://mi.mathnet.ru/iipr278}
\elib{https://elibrary.ru/item.asp?id=25904284}
\transl
\jour Scientific and Technical Information Processing
\yr 2016
\vol 44
\issue 5
\pages 345--356
\crossref{https://doi.org/10.3103/S0147688217050100}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/iipr278
  • https://www.mathnet.ru/rus/iipr/y2016/i1/p75
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Искусственный интеллект и принятие решений
    Статистика просмотров:
    Страница аннотации:26
    PDF полного текста:21
    Список литературы:1
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025