Новые поступления (книга в стадии обработки) Страбыкин, Д. А. Логический вывод в системах обработки знаний [Текст] / Д. А. Страбыкин ; Вятский гос. техн. ун-т. - СПб. : СПбГЭТУ, 1998. - 164 с. : ил. ; 20см. - ISBN 5762902250 : 27.00 р.
Рубрики: Вычислительная техника--Обработка данных Кл.слова (ненормированные): обработка данных -- методы логического вывода -- исчисление высказываний -- дедуктивный вывод -- абдуктивный вывод -- исчисление предикатов -- базовый метод параллельного дедуктивного вывода -- обобщенный метод параллельного дедуктивного вывода -- метод параллельного абдуктивного вывода Аннотация: Рассматриваются теория и методы параллельных вычислений для дедуктивного и абдуктивного выводов на знаниях, представленных в виде логических выражений. Анализируются машины и методы логического вывода, применяемые в системах обработки знаний. Дается описание формальных систем двух классов: исчисления высказываний и исчисления предикатов, в рамках которых определяется операция деления дизъюнктов и разрабатываются методы параллельного детективного и абдуктивного выводов. Приводятся примеры решения логических задач и результаты сравнения методов, основанных на делении дизъюнктов, с резолюционными методами. Для научных работников и специалистов, связанных с созданием и применением систем обработки знаний, а также для аспирантов и студентов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Перевозчикова, О. Л. Диалоговые системы [Текст] / О. Л. Перевозчикова, Е. Л. Ющенко ; Ин-т кибернетики (Киев). - Киев : Наукова думка, 1990. - 184 с. : ил. ; 22 см. - Библиогр.: с. 180-183. - ISBN 5-12-001334-1 : 3.00 р.
Рубрики: Вычислительная техника--Программирование Кл.слова (ненормированные): программирование -- диалоговые системы -- моделирование -- архитектура Дисуппп -- статистические методы -- экспериментальная база -- вычислительная математика Аннотация: В книге проблема диалоговых систем формулируется как задача автоматизированного производства программных средств по заданию модели алгоритмизируемой предметной области и модели общения. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Ющенко, Е. Л. |
Новые поступления (книга в стадии обработки) Растригин, Л. А. С компьютером наедине [Текст] / Л. А. Растригин. - М. : Радио и связь, 1990. - 224 с. : ил. ; 21 см. - (Массовая радиобиблиотека ; вып. 1157). - ISBN 5-256-00441-1 : 1.20 р.
Рубрики: Вычислительная техника--Персональный компьютер Кл.слова (ненормированные): персональный компьютер -- операционные системы -- вычислительные системы -- искусственный интеллект -- языки общения в программировании -- языки искусственного интеллекта -- вычислительные сети Аннотация: Посвящена диалогу с компьютером и правилам взаимодействия с ним, знакомит с возможностями современных компьютеров. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |