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

dc.contributor.author	Афонин, А.А.
dc.date.accessioned	2013-07-12T09:23:35Z
dc.date.available	2013-07-12T09:23:35Z
dc.date.issued	2010
dc.identifier.citation	О древовидной форме поиска опровержения в интеллектуальных системах с логическими возможностями / А.А. Афонин // Мат. машини і системи. — 2010. — № 1. — С. 87-94. — Бібліогр.: 13 назв. — рос.	uk_UA
dc.identifier.issn	1028-9763
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/47360
dc.description.abstract	Работа посвящена изучению возможностей интеллектуальных систем, которые предоставляет древовидная форма поиска опровержения в спучае использования резолюционной техники, включая правила парамодуляционного типа. Рассматриваются исчисления так называемых литеральных деревьев, которые предназначены для установления невыполнимости формул классической логики первого порядка как с равенством, так и без него. Приводятся результаты об их корректности и полноте.	uk_UA
dc.description.abstract	Робота присвячена вивченню можливостей інтелектуальних систем, які надає деревовидна форма пошуку спростування при використанні резолюційної техніки, включаючи правила парамодуляційного типу. Розглядаються числення так званих літеральних дерев, які призначені для встановлення невиконання формул класичної логіки першого порядку як з рівністю, так і без неї. Наводяться результати про їх коректність та повноту.	uk_UA
dc.description.abstract	The paper is devoted to the study of intelligent system possibilities given by the tree-like form of refutation search when using the resolution technique with paramodulation-type rules. Calculation of so-called literal trees intended for the establishment of formula unsatisfiability of first-order classic logic, both with equality and without it, are considered. Results about their correctness and completeness are given.	uk_UA
dc.language.iso	ru	uk_UA
dc.publisher	Інститут проблем математичних машин і систем НАН України	uk_UA
dc.relation.ispartof	Математичні машини і системи
dc.subject	Нові інформаційні і телекомунікаційні технології	uk_UA
dc.title	О древовидной форме поиска опровержения в интеллектуальных системах с логическими возможностями	uk_UA
dc.title.alternative	Про деревовидну форму пошуку спростування в інтелектуальних системах з логічними можливостями	uk_UA
dc.title.alternative	Tree-like form of refutation search in intelligent systems with logic possibilities	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	004.89:510.649