Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
вывод
Связанные издания:
Методы индуктивного вывода и их применение в экспертных системах
Методы недоопределенного вывода в системах продукций
Обоб ение интервальных байесовских механизмов вывода и перспективы их использования
Один алгоритм синтеза программ на вычислительных моделях
Один метод машинного вывода и его модификация для поиска ответов на запросы
Организация графического вывода в системе визуализации иерархических графовых моделей
Организация графического вывода в системе программирования ДИУС
Оценка оперативности систем логического вывода
Параллельный процессор нечеткого вывода для ситуационных экспертных систем
Поиск вывода в исчислении предикатов и возможности ограничения сложности термов в выводах
Поиск вывода в Хорновских исчислениях и его применение в системах синтеза программ
Поиск наилучшего варианта совместного использования оптимизаций в системах декларативных продукций
Получение выводов в противоречивых системах
Постредактирование логического вывода
Представление неполноты данных и встроенный логический вывод
Применение логических правил вывода в реляционных СУБД
Принципы реализации недоопределенного логического вывода
Программное моделирование параллельной системы дедуктивного вывода
Разработка алгоритмов индуктивного вывода знаний с использованием листьев и деревьев решений
Разработка и исследование систем недоопределенного вывода для декларативных продукций
Разработка системы программирования, ориентированной на язык представления знаний ОПС5
Реализация логического подхода к пословному распознаванию речи
Смешанные вычисления и процедуры поиска логического вывода
Экспериментальное исследование оптимизаций декларативных продукций
Экспериментальное исследование оптимизаций декларативных продукций
« первая
‹ предыдущая
1
2
3
4
5
6