Применение метода абстракций для поиска логического вывода в системах искусственного интеллекта

Рассматривается метод поиска логического вывода с предварительной настройкой на конкретные базы знаний. Для настройки используется абстракция и формально-грамматическая интерпретация проблемы дедукции. Метод позволяет улучшить эффективность поиска логического вывода.