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:Вестник ТюмГУ: Физико-математическое моделирование. Нефть, газ, энергетика

Files in This Item:
File Description SizeFormat 
5_А.Г. Ивашко, А.В. Григорьев, М.В. Григорьев.pdf830.73 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.