Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Пошуковий запит: (<.>ID=REF-0000149127<.>) |
Загальна кількість знайдених документів : 1
|
Герман О. В. Получение выводов в противоречивых системах / О. В. Герман // Кибернетика и систем. анализ. - 2005. - 41, № 5. - С. 29-41. - Библиогр.: 11 назв. - рус.Розглянуто нове обгрунтування для одержання висновків в системах з протиріччями. Доведено основні правила висновків та теорему про повноту системи обчислювання у вузькому розумінні. Запропонований підхід можна взяти за основу створення систем обгрунтування заперечуючих і ненадійних рішень, наприклад при проектуванні інтелектуальних роботів і експертних систем. Ключ. слова: аномалия отождествления выводов и доказательств, логическое исчисление, машина для распознавания доказательств, некорректные множества, правила вывода, формальная система Індекс рубрикатора НБУВ: В124
Рубрики:
Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
|