О древовидной форме поиска опровержения в интеллектуальных системах с логическими возможностями
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
О древовидной форме поиска опровержения в интеллектуальных системах с логическими возможностями
|
|
| Creator |
Афонин, А.А.
|
|
| Subject |
Нові інформаційні і телекомунікаційні технології
|
|
| Description |
Работа посвящена изучению возможностей интеллектуальных систем, которые предоставляет древовидная форма поиска опровержения в спучае использования резолюционной техники, включая правила парамодуляционного типа. Рассматриваются исчисления так называемых литеральных деревьев, которые предназначены для установления невыполнимости формул классической логики первого порядка как с равенством, так и без него. Приводятся результаты об их корректности и полноте.
Робота присвячена вивченню можливостей інтелектуальних систем, які надає деревовидна форма пошуку спростування при використанні резолюційної техніки, включаючи правила парамодуляційного типу. Розглядаються числення так званих літеральних дерев, які призначені для встановлення невиконання формул класичної логіки першого порядку як з рівністю, так і без неї. Наводяться результати про їх коректність та повноту. 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. |
|
| Date |
2013-07-12T09:23:35Z
2013-07-12T09:23:35Z 2010 |
|
| Type |
Article
|
|
| Identifier |
О древовидной форме поиска опровержения в интеллектуальных системах с логическими возможностями / А.А. Афонин // Мат. машини і системи. — 2010. — № 1. — С. 87-94. — Бібліогр.: 13 назв. — рос.
1028-9763 http://dspace.nbuv.gov.ua/handle/123456789/47360 004.89:510.649 |
|
| Language |
ru
|
|
| Relation |
Математичні машини і системи
|
|
| Publisher |
Інститут проблем математичних машин і систем НАН України
|
|