РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
Abstract database «Ukrainica Scientific»


Бази даних


Реферативна база даних - результати пошуку


Вид пошуку
Пошуковий запит: (<.>ID=REF-0000149127<.>)
Загальна кількість знайдених документів : 1

Герман О. В. 
Получение выводов в противоречивых системах / О. В. Герман // Кибернетика и систем. анализ. - 2005. - 41, № 5. - С. 29-41. - Библиогр.: 11 назв. - рус.

Розглянуто нове обгрунтування для одержання висновків в системах з протиріччями. Доведено основні правила висновків та теорему про повноту системи обчислювання у вузькому розумінні. Запропонований підхід можна взяти за основу створення систем обгрунтування заперечуючих і ненадійних рішень, наприклад при проектуванні інтелектуальних роботів і експертних систем.


Ключ. слова: аномалия отождествления выводов и доказательств, логическое исчисление, машина для распознавания доказательств, некорректные множества, правила вывода, формальная система
Індекс рубрикатора НБУВ: В124

Рубрики:

Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ 
  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

Всі права захищені © Національна бібліотека України імені В. І. Вернадського