Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
https://elib.utmn.ru/jspui/handle/ru-tsu/14484
| Название: | Модификация табличного алгоритма на основе проверки непересекаемости сложных концептов |
| Другие названия: | Modification of tableau algorithm based on checking disjointness of complex concepts |
| Авторы: | Ivashko, A. G.
Grigorev, A. V.
Grigoryev, M. V.
Ивашко, А. Г.
Григорьев, А. В.
Григорьев, М. В. |
| Ключевые слова: | description logic
role
concept
simulation modeling
tableau algorithm
концепт
дескрипционная логика
имитационное моделирование
табличный алгоритм
роль |
| Дата публикации: | 2012 |
| Издатель: | Издательство Тюменского государственного университета |
| Библиографическое описание: | Ивашко, А. Г. Модификация табличного алгоритма на основе проверки непересекаемости сложных концептов / А. Г. Ивашко, А. В. Григорьев, М. В. Григорьев // Вестник Тюменского государственного университета. Серия: Физико-математические науки. Информатика / главный редактор Г. Ф. Шафранов-Куцев. – Тюмень : Издательство Тюменского государственного университета, 2012. – № 4. – С. 143-150. |
| Аннотация (реферат): | 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 |
| Источник: | Вестник Тюменского государственного университета. Серия: Физико-математические науки. Информатика. – 2012. – № 4 |
| Располагается в коллекциях: | Вестник ТюмГУ: Физико-математическое моделирование. Нефть, газ, энергетика
|
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.
Skip navigation