Web ИРБИС


	\| начало \| написать нам \| в избранное \| сделать стартовой \|

ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных

Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска

Электронный каталог

ЭБС "ЛАНЬ"

ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")

Электронная библиотека

Известные деятели культуры в Саратовской губернии

Работы В. А. Артисевич и литература о ней

Издания вузовских библиотек Среднего и Нижнего Поволжья

Публикации учёных СГУ

Краеведческий обзор

Поступления журналов в ЗНБ СГУ

БД коллекций в фонде ЗНБ СГУ

БД выпускных квалификационных работ

Сводный каталог библиотек (СГУ, СГТУ, ЦБС)

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Поисковый запрос: (<.>KL=базовый метод параллельного дедуктивного вывода<.>)

Общее количество найденных документов : 1

Страбыкин, Д. А.
Логический вывод в системах обработки знаний [Текст] / Д. А. Страбыкин ; Вятский гос. техн. ун-т. - СПб. : СПбГЭТУ, 1998. - 164 с. : ил. ; 20см. - ISBN 5762902250 : 27.00 р.

ГРНТИ	50.63.17
УДК	681.3.015

ББК 32.97

Рубрики: Вычислительная техника--Обработка данных

Кл.слова (ненормированные):
обработка данных -- методы логического вывода -- исчисление высказываний -- дедуктивный вывод -- абдуктивный вывод -- исчисление предикатов -- базовый метод параллельного дедуктивного вывода -- обобщенный метод параллельного дедуктивного вывода -- метод параллельного абдуктивного вывода
Аннотация: Рассматриваются теория и методы параллельных вычислений для дедуктивного и абдуктивного выводов на знаниях, представленных в виде логических выражений. Анализируются машины и методы логического вывода, применяемые в системах обработки знаний. Дается описание формальных систем двух классов: исчисления высказываний и исчисления предикатов, в рамках которых определяется операция деления дизъюнктов и разрабатываются методы параллельного детективного и абдуктивного выводов. Приводятся примеры решения логических задач и результаты сравнения методов, основанных на делении дизъюнктов, с резолюционными методами. Для научных работников и специалистов, связанных с созданием и применением систем обработки знаний, а также для аспирантов и студентов.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Найти похожие

Стандартный (по одному полю)

По словарю (по одному полю)

Профессиональный (по нескольким полям со словарями)

Распределенный (г. Саратов)

Расширенный

Авторизация

Фамилия

Пароль

Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)