TY - JOUR AU - Братчиков PY - 2002/04/01 Y2 - 2024/03/29 TI - Применение метода абстракций для поиска логического вывода в системах искусственного интеллекта JF - Труды СПИИРАН JA - ТС VL - 2 IS - 1 SE - Статьи DO - 10.15622/sp.1.18 UR - http://proceedings.spiiras.nw.ru/index.php/sp/article/view/1117 AB - Рассматривается метод поиска логического вывода с предварительной настройкой на конкретные базы знаний. Для настройки используется абстракция и формально-грамматическая интерпретация проблемы дедукции. Метод позволяет улучшить эффективность поиска логического вывода. ER -