Оптические вычисления - Арратуна Р.
Скачать (прямая ссылка):
компании MIT в 1958 г.
Лисп-машины: архитектуры вычислений, предназначенные для выполнения
программ на языке Лисп.
Логика высказываний: Логика, которая посредством высказываний определяет
истинность или ложность других высказываний.
Глава 10. Оптика и символьные вычисления
359
Логика предикатов: Логические операции, которые на основе манипуляций с
предположениями позволяют сделать утверждения.
Логические выводы, ориентированные на цель: Тип логических выводов,
используемых в процедурах вывода "от цели к фактам". Основное внимание
уделяется изучению состояния и правил логических выводов, которые
вырабатывают желаемую цель. (См. также "Вывод ,,от цели к фактам"" и
"Рассуждения, управляемые математическим ожиданием".)
Логический вывод: Процесс перехода от предположения, истинность которого
установлена, к другому предположению, истинность которого, как считается,
следует из истинности предшествующего предположения.
Непрерывная речь: Обычно произносимые языковые конструкции, состоящие из
потока слов из заданного словарного запаса и подчиняющиеся конкретным
грамматическим правилам. Следует отличать от распознавания отдельных
слов.
Нисходящая схема решения: Подход к решению задачи, в котором перемещаются
от некоторого текущего состояния к начальным условиям. (См. также "Вывод
"от цели к фактам"" и "Логические выводы, ориентированные на цель".)
Машина логических выводов: Часть экспертной системы, содержащая процедуры
и методики, которые будут использоваться для решения задач.
Машинный перевод: Намеренное применение систем обработки естественного
языка для перевода документов с одного языка на другой.
Мета: Приставка, используемая с субъектами искусственного интеллекта для
обозначения имеющихся знаний о базовом слове и субъекте. (Например, под
метазнаниями подразумевают знания о базе знаний и системе.)
Множество правил: Набор правил, составляющих модуль эвристических знаний.
Морфемы: Основные лингвистические единицы, имеющие значение.
Морфологический анализ: Методика, используемая для обработки
естественного языка. Значение и использование слова определяется путем
разделения слова на части и выяснением значения каждой части.
Обучение: Процесс улучшения характеристик системы искусственного
интеллекта с помощью предшествующего опыта, на-
360
Часть IV. Символьные вычисления и искусственный интеллект
правленный на изменение накопленных знаний или стратегий решения задачи.
Отсечение ветвей: Действия по исключению решения или группы решений из
дерева решений задачи.
Планирование: Определение порядка выполнения процессов в программах
искусственного интеллекта.
Поддержание истинности: Действия по поддержанию истинности и
непротиворечивости элементов базы знаний.
Подсистема дачи разъяснений: Часть экспертной системы, логически
обосновывающая или объясняющая свои выводы посредством выдачи краткого
изложения правил вывода и данных, использовавшихся для того, чтобы
получить это заключение.
Подготовка документа: Предполагаемое применение системы обработки
естественного языка. Система действует как опытный редактор, проверяя
ошибки в произношении и грамматике, а также предлагая способы
перефразирования текста.
Поиск в глубину: Стратегия поиска в системах, основанных на знаниях, в
которых возможные решения задачи представляются в виде дерева с вершинами
и ветвями. При поиске в глубину ветвь и связанные с ней решения
рассматриваются для всех вершин, прежде чем передвинуться на следующую
ветвь. В этом способе глубина предполагаемого класса решений может быть
изучена до передвижения на следующую ветвь. (См. также "поиск в ширину".)
Поиск в ширину: Стратегия поиска, применяемая в системах, основанных на
знаниях, где возможные решения задачи представляются в виде дерева,
состоящего из вершин и ветвей. При поиске в ширину исследуются все ветви
дерева, соответствующие определенной вершине (или уровню), прежде чем
переходят к следующему уровню. Таким образом, при поиске упор делается на
ширину пространства состояний. (См. также "поиск в глубину".)
Понимание документа: Предполагаемое применение системы обработки
естественного языка, в которой документ прочитывается, а его содержание
вводится в систему.
Правила продукции: Состоящие из двух частей утверждения, определяющие
определенное действие, которое надо предпринять, когда выполняется
условие предпосылки. Обычно имеют вид правил "Если... тогда...". В
правилах продукции содержатся процедурные знания.
Глава 10. Оптика и символьные вычисления
361
Правило: Утверждение "Если... тогда...", используемое при проведении
дедуктивных рассуждений.
Правильно построенная формула: Синтаксически правильное
утверждение в исчислении предикатов.
Прагматические знания: Знания о высказываниях людей, относящиеся к общему
контексту, по которому записываются или произносятся слова и фразы, а
также знания о том, как различные фразы связаны друг с другом.
Приобретение знаний: Выделение и формулирование знаний для использования
