Модификация табличного алгоритма на основе проверки непересекаемости сложных концептов

Ивашко, А. Г.; Григорьев, А. В.; Григорьев, М. В.; Ivashko, A. G.; Grigorev, A. V.; Grigoryev, M. V.

Модификация табличного алгоритма на основе проверки непересекаемости сложных концептов

Ивашко, А. Г., Григорьев, А. В., Григорьев, М. В., Ivashko, A. G., Grigorev, A. V., Grigoryev, M. V.

Дата публикации: 2012

Дата публикации в реестре: 2020-03-03T21:01:45Z

Аннотация:

Статья посвящена исследованию необходимости изменения табличного алгоритма с целью уменьшения времени работы для обеспечения возможности его использования при проверке баз знаний больших объемов.

Ключевые слова:
description logic, role, concept, simulation modeling, tableau algorithm, концепт, дескрипционная логика, имитационное моделирование, табличный алгоритм, роль

Тип: Article

Права: open access