Please use this identifier to cite or link to this item:
https://elib.utmn.ru/jspui/handle/ru-tsu/14484
| Title: | Модификация табличного алгоритма на основе проверки непересекаемости сложных концептов |
| Other Titles: | Modification of tableau algorithm based on checking disjointness of complex concepts |
| Authors: | Ivashko, A. G.
Grigorev, A. V.
Grigoryev, M. V.
Ивашко, А. Г.
Григорьев, А. В.
Григорьев, М. В. |
| Keywords: | description logic
role
concept
simulation modeling
tableau algorithm
концепт
дескрипционная логика
имитационное моделирование
табличный алгоритм
роль |
| Issue Date: | 2012 |
| Publisher: | Издательство Тюменского государственного университета |
| Citation: | Ивашко, А. Г. Модификация табличного алгоритма на основе проверки непересекаемости сложных концептов / А. Г. Ивашко, А. В. Григорьев, М. В. Григорьев // Вестник Тюменского государственного университета. Серия: Физико-математические науки. Информатика / главный редактор Г. Ф. Шафранов-Куцев. – Тюмень : Издательство Тюменского государственного университета, 2012. – № 4. – С. 143-150. |
| Abstract: | The article considers researching the necessity of tableau algorithm changing with aim to reduce algorithm work time, for providing an opportunity of its using for checking large knowledge bases.
Статья посвящена исследованию необходимости изменения табличного алгоритма с целью уменьшения времени работы для обеспечения возможности его использования при проверке баз знаний больших объемов. |
| URI: | https://elib.utmn.ru/jspui/handle/ru-tsu/14484 |
| ISSN: | 1562-2983
1994-8484 |
| Source: | Вестник Тюменского государственного университета. Серия: Физико-математические науки. Информатика. – 2012. – № 4 |
| Appears in Collections: | Вестник ТюмГУ: Физико-математическое моделирование. Нефть, газ, энергетика
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
Skip navigation