О древовидной форме поиска опровержения в интеллектуальных системах с логическими возможностями

• Published in: Математичні машини і системи
• Date: 2010
• Main Author: Афонин, А.А.
• Format: Article
• Language: Russian
• Published: Інститут проблем математичних машин і систем НАН України 2010
• Subjects: Нові інформаційні і телекомунікаційні технології
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/47360
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: О древовидной форме поиска опровержения в интеллектуальных системах с логическими возможностями / А.А. Афонин // Мат. машини і системи. — 2010. — № 1. — С. 87-94. — Бібліогр.: 13 назв. — рос.

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