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

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

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



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






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


Известия Иркутского государственного университета. Серия Математика, 2017, том 21, страницы 33–50 (Mi iigum312)  

Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)

Семантический вероятностный вывод предсказаний

Е. Е. Витяев

Институт математики им. С. Л. Соболева

Аннотация: Предсказание является одним из важнейших понятий в науке. Предсказания, получаемые на основе вероятностных знаний, описываются индуктивно-статистическим выводом I-S-выводом (Inductive-Statistical inference). Однако такой вывод сталкивается с проблемой синтеза логики и вероятности, состоящей в том, что оценки вероятности высказываний резко падают в процессе логического вывода. Рассматриваемые в рамках Probabilistic Logic Programming процедуры вычисления оценок не решают проблему. С нашей точки зрения, предсказание нельзя соединять с логическим выводом. Логический вывод следует заменить на вычисление. В работе предлагается семантический подход к вычислению предсказаний, когда вывод рассматривается не как проверка истинности запроса на модели, а как поиск фактов в модели, предсказывающих интересующее нас высказывание с максимальной вероятностью. Для этого в работе определяется семантический вероятностный вывод, осуществляющий вычисление предсказаний. В процессе семантического вероятностного вывода оценки предсказаний строго возрастают. В работе доказывается, что получаемые семантическим вероятностным выводом оценки предсказаний заведомо не хуже оценок, получаемых в рамках Probabilistic Logic Programming логическим выводом с параллельным вычислением этих оценок.

Ключевые слова: предсказание, вероятностный вывод, семантика, логические программы, probabilistic logic programming.

Финансовая поддержка Номер гранта
Российский научный фонд 17-11-01176
Работа выполнена за счет гранта Российского научного фонда (проект № 17-11-01176).


DOI: https://doi.org/10.26516/1997-7670.2017.21.33

Полный текст: PDF файл (361 kB)
Список литературы: PDF файл   HTML файл

Реферативные базы данных:

Тип публикации: Статья
УДК: 004.85, 519.68
MSC: 68T27, 68Q87

Образец цитирования: Е. Е. Витяев, “Семантический вероятностный вывод предсказаний”, Известия Иркутского государственного университета. Серия Математика, 21 (2017), 33–50

Цитирование в формате AMSBIB
\RBibitem{Vit17}
\by Е.~Е.~Витяев
\paper Семантический вероятностный вывод предсказаний
\jour Известия Иркутского государственного университета. Серия Математика
\yr 2017
\vol 21
\pages 33--50
\mathnet{http://mi.mathnet.ru/iigum312}
\crossref{https://doi.org/10.26516/1997-7670.2017.21.33}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/iigum312
  • http://mi.mathnet.ru/rus/iigum/v21/p33

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. А. А. Малых, А. В. Манцивода, “Документное моделирование”, Известия Иркутского государственного университета. Серия Математика, 21 (2017), 89–107  mathnet  crossref
    2. И. А. Казаков, И. А. Кустова, Е. Н. Лазебникова, А. В. Манцивода, “Построение локально-простых моделей: методология и практика”, Известия Иркутского государственного университета. Серия Математика, 22 (2017), 71–89  mathnet  crossref
    3. В. М. Неделько, “О максимизации критерия квадратичного взвешенного каппа”, Известия Иркутского государственного университета. Серия Математика, 23 (2018), 36–45  mathnet  crossref
    4. A. V. Mantsivoda, D. K. Ponomaryov, “A formalization of document models with semantic modelling”, Известия Иркутского государственного университета. Серия Математика, 27 (2019), 36–54  mathnet  crossref
  • Просмотров:
    Эта страница:197
    Полный текст:68
    Литература:20
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020