Математика и управление
А. Я. Подрабинович "О полноте стратегий поиска вывода для множеств обобщенных хорновских дизъюнктов"
Проблемы распознавания
Abstracts
А. Я. Подрабинович "О полноте стратегий поиска вывода для множеств обобщенных хорновских дизъюнктов"

Аннотация

В статье рассматривается обобщение понятия множества хорновских дизъюнктов (Hn-множество). Предлагается обобщение стратегии входной резолюции (Gn-резолюция). Доказывается полнота Gn-резолюции на Hn -множестве дизъюнктов. Показана неусиляемость полученного результата.

Ключевые слова:

множество хорновских дизъюнктов (Hn-множество), входная резолюция (Gn-резолюция), полнота Gn-резолюции.

 

Скачать статью в формате pdf

2024-74-3
2024-74-2
2024-74-1
2023-73-4

© ФИЦ ИУ РАН 2008-2018. Создание сайта "РосИнтернет технологии".