Процесс чистки памяти, связанный с обнаружением неиспользуемых программой блоков памяти и присоединением их к пространству свободной памяти для повторного использования. Сборка мусора — необходимый процесс в любой системе, работающей с динамическим распределением памяти.
СВИДЕТЕЛЬСТВО
Факт, используемый для увеличения или уменьшения оценки правдоподобия некоторой гипотезы. С. применяются в продукционных системах, в которых продукции являются гипотезами.
СЕКВЕНЦИЯ
В узком смысле — правило логического перехода, А В, которое интерпретируется следующим образом: если, А истинно, то В также истинно, если, А ложно, то о В сказать ничего нельзя. В широком смысле С. совпадает с понятием ядра продукции.
СЕМАНТИКА
1. Один из аспектов семиотики. Рассматривает отношение знаков к обозначаемому (содержание знаков) независимо от того, кто служит адресатом знака.
2. Значение отдельных единиц знака.
3. Изучение отдельных единиц языка — языковедческая семантика, элементарным объектом изучения которой является единство трех объектов: означающего, означаемого и денотата. Означающее — внешний элемент (последовательность звуков или знаков), денотат — обозначаемый объект действительности и означаемое — отражение этого объекта в сознании человека.
СЕМАНТИКА СИТУАТИВНАЯ
Приписывание некоторым объектам, хранящимся в базе знаний, некоторых характеристик в зависимости от ситуации, в которой эти объекты наблюдаются или используются. В системах понимания текстов на естественном языке С.С. связана с приписыванием различных значений лексемам в зависимости от того контекста, в котором они используются.
СЕМИОТИКА
Наука, изучающая свойство знаков и знаковых систем (в основном естественных и искусственных языков.) Выделяются три основных аспекта исследования: синтактика, изучающая внутренние свойства систем знаков безотносительно к интерпретации; семантика, рассматривающая отношение знаков к их означаемому, безотносительно к особенностям интерпретатора знаков; прагматика, изучающая проблемы интерпретации знаков.
СЕТЬ
Пятерка Н = , где А - множество вершин, В - множество имен (весов) вершин; Р - множество дуг, соединяющих пары вершин; Р1 - множество отмеченных входных и выходных дуг; С - множество имен (весов) дуг.
СЕТЬ АССОЦИАТИВНАЯ
Семантическая сеть, в которой отношения указывают на ассоциативные связи между вершинами, характеризующими объекты, факты и ситуации для описываемой предметной области.
СЕТЬ ВЫВОДА
Структура, которая отображает последовательности применения правил вывода к исходным посылкам. Из-за неоднозначности выбора правил на каждом шаге возникает множество путей, образующих С.В.
СЕТЬ КАУЗАЛЬНАЯ
Семантическая сеть, в которой дуги характеризуют отношения, используемые в каузальной логике.
СЕТЬ ПЕРЕХОДОВ РАСШИРЕННАЯ
Расширение контекстно-свободной грамматики за счет вынесения контекста в специальные именованные регистры со стековой структурой и введения специальных процедур, управляющих анализом с помощью проверки контекста ходом выполнения анализа управляет программист). См. также. Грамматика формальная.
СЕТЬ ПЕТРИ
Модель для описания асинхронных параллельных и недетерминированных процессов, а также систем продукционного типа. Статически модель задается двудольным орфографом с двумя типами вершин — позициями и переходами (изображаемыми обычно кружками и полочками соответственно), причем переходы (позиции) могут соединяться дугами только с позициями (переходами). Исходное состояние С.П. задается начальной маркировкой некоторых её позиций. Маркеры изображаются точками внутри позиций. Динамика вносится соглашением о правиле срабатывания возбужденного перехода (содержащего по крайней мере один маркер в каждой из его входных позиций), который может сработать через заранее неизвестное время, после чего из всех (во все) его входных позиций (выходные позиции) изымается (добавляется) по одному маркеру. Процесс функционирования С.П. состоит в переходе от одной маркировки к другой посредством срабатываний возбужденных переходов.
СЕТЬ ПРИЧИННО-СЛЕДСТВЕННАЯ
Семантическая сеть, в которой все отношения между вершинами трактуются как отношение «причина-следствие», т. е. как нерефлексивное, антисимметричное и транзитивное отношение.
СЕТЬ СЕМАНТИЧЕСКАЯ
Сеть, в вершинах которой находятся информационные единицы, а дуги характеризуют отношения и связи между ними С.С. является наиболее общей моделью представления знаний.
СЕТЬ СЕМАНТИЧЕСКАЯ ИНТЕНСИОНАЛЬНАЯ
Семантическая сеть, в которой отражены интенсиональные знания о предметной области. Эти знания относятся к общим законам области и оперируют не константными фактами, а высказываниями об области, содержащими переменные, которые могут означиваться в конкретных ситуациях. При фреймовом представлении С.С.И. соответствует фрейм-прототип.
СЕТЬ СЕМАНТИЧЕСКАЯ ЭКСТЕНСИОНАЛЬНАЯ
Семантическая сеть, в которой отражены экстенсиональные знания о конкретной ситуации в предметной области. В С.С.Э. все вершины сети соответствуют конкретным объектам, а связи между ними конкретным связям, которые наблюдаются в описании ситуации. При фреймовом представлении С.С.Э. соответствует фрейм-экземпляр.
СЕТЬ СОЕДИНИТЕЛЬНАЯ
Сеть, позволяющая соединить процессор произвольно заданным образом, в том числе каждый с каждым.
СИЛЛОГИЗМ
Специальная форма умозаключения от общего к частному. С. представляет собой заключение, следующее из двух посылок, содержащих утверждения о соотношении объемов двух классов или о принадлежности некоторого элемента определенному классу. Примером С. может служить следующее умозаключение: Все хищники питаются мясом Волк — хищник Волк питается мясом
СИМД-АРХИТЕКТУРА
Архитектура вычислительной системы с несколькими одинаковыми параллельно работающими процессорами, каждый из которых выполняет один и тот же поток команд над своими данными. СИМД-архитектура часто используется в матричных процессорах.
СИНТАКСИС
1. Способы соединения слов в словосочетания и простые предложения и простых предложений — в сложные.
2. Раздел языкознания, изучающий способы соединения слов и предложений, вместе с морфологией составляющий грамматику.
3. Синтаксис текста-то же, что схема дискурса или неративная (повествовательная) схема; строение текста.
СИНТЕЗ ПРОГРАММ АВТОМАТИЧЕСКИЙ
Автоматическое построение программ по исходным условиям задачи. Формально задача С.П.А. может быть поставлена следующим образом: по заданному значению х, удовлетворяющему предикату Р (х), вычислить значение у, удовлетворяющее предикату R (х, у). Здесь х, у — конечные множества входных и выходных переменных программы. Отображение Q = < P (x), R (x, y) > должно при этом содержать достаточно информации для синтеза нужной программы. Различают три подхода: индуктивный синтез программ, дедуктивный синтез программ или трансформационный синтез программ.
СИНТЕЗ ПРОГРАММ ДЕДУКТИВНЫЙ
Автоматический синтез программ в котором используется формальный метод построения программ; вывод программы из заданной спецификации рассматривается как задача конструктивного доказательства существования нужного решения. В ходе реализации С.П.Д. часто используются методы автоматического доказательства теорем в исчислении предикатов первого порядка.
СИНТЕЗ ПРОГРАММ ИНДУКТИВНЫЙ
Автоматический синтез программ опирающийся на нахождение общих для заданного множества примеров процедур, ведущих к решению задачи. С.П.И. может осуществляться на синтаксическом уровне, когда используются внешние признаки программ, или на семантическом уровне, когда в основе лежит семантика модели программы.
СИНТЕЗ ПРОГРАММ ТРАНСФОРМАЦИОННЫЙ
Автоматический синтез программ, в котором конструирование программы осуществляется последовательным преобразованием исходной спецификации в эквивалентную ей результирующую программу. С.П.Т. обычно разбивается на следующие этапы: переход от формальной спецификации к рекурсивной версии программы общего вида; трансформация общерекурсивной версии в рекурсивную версию специального вида; переход от рекурсивной версии к итеративной версии.
СИНТЕЗ ТЕКСТА
См. Генерация текста.
СИСТЕМА АВТОМАТИЗИРОВАННОГО ПРОЕКТИРОВАНИЯ (САПР)
Комплекс средств, предназначенных для помощи инженеру-проектировщику в создании новых технических объектов. САПР включает большое количество расчетных модулей, базу знаний средств ведения документации и технического черчения.
СИСТЕМА АКСИОМАТИЧЕСКАЯ
Система рассуждений, в основе которой лежат аксиомы. Если аксиомы являются логическими (т. е. тождественно истинными вне зависимости от предметной области), то С.А. совпадает с формальной системой. Если среди аксиом имеются аксиомы, справедливые только в данной предметной области, то С.А. применима только в этой области. Часто С.А., у которой имеются предметные аксиомы, называют квазиаксиоматической системой.
СИСТЕМА ВОПРОСНО-ОТВЕТНАЯ
Совокупность программ, позволяющая реализовать вопросно-ответное отношение для пары «пользователь — ЭВМ». С.В.О. обеспечивает поиск релевантных данных и знаний по поступившему в систему вопросу, из которых формируется ответ пользователю. С.В.О. могут использовать вопросы и ответы, формулируемые на естественном языке, ограниченном естественном языке или на специальном формальном языке общения.
СИСТЕМА ДЕДУКТИВНАЯ
Аксиоматическая система, в которой имеет место теорема дедукции, обеспечивающая вывод всего множества выражений, которое допускается аксиомами и правилами вывода (и только ими). При этом предполагается, что выводимые выражения обладают априорным свойством (например, тождественной истинностью или истинностью с оценкой правдоподобия не менее заданной).
СИСТЕМА ДОВЕРИЯ
Совокупность процедур, используемая в системах объяснения экспертных систем. С.Д. применяется для того, чтобы повысить уровень доверия пользователя к результатам, полученным экспертной системой. Для этого С.Д. выдает пользователю ряд дополнительных аргументов в пользу того решения, которое было получено системой, при условии, что эти аргументы не были непосредственно использованы в процессе получения решения.
СИСТЕМА ЕСТЕСТВЕННО-ЯЗЫКОВАЯ
Интеллектуальная система, способная воспринимать тексты или речь на ограниченном естественном языке, понимать их и функционировать в соответствии с информацией, содержащейся в тексте. При необходимости С.Е.Я. может формировать ответные сообщения, связанные с введенным в них текстом. (См. также Интерфейс естественно-языковый.)
СИСТЕМА ИНДУКТИВНАЯ
Модель в которой используется индуктивная логика или индуктивное обобщение (или и то и другое).
СИСТЕМА ИНТЕЛЛЕКТУАЛЬНАЯ
Техническая или программная система, способная решать задачи, традиционно считающиеся творческими, принадлежащие конкретной предметной области, знания о которой хранятся в памяти С. И. Структура С.И. включает три основных блока — базу знаний, решатель и интеллектуальный интерфейс.
СИСТЕМА ИНТЕЛЛЕКТУАЛЬНАЯ ОБУЧАЮЩАЯ
Интеллектуальная система для обучения человека какому-либо роду деятельности или используемая в процессе обучения школьников или студентов. С.И.О. включает естественно-языковый интерфейс, средства графического общения, базу знаний и специальный блок, управляющий процессом подачи материала, анализирующий обучаемого и принимающий решение об оценке степени усвоения.
СИСТЕМА ИНТЕЛЛЕКТУАЛЬНАЯ ОБУЧАЮЩАЯСЯ
Интеллектуальная система в которой имеется совокупность средств для пополнения её базы знаний. Возможны два способа обучения: с учителем и без учителя. В первом случае С.И.О. должна иметь возможность пополнять свою базу знаний информацией, сообщаемой ей учителем, корректировать новую информацию с ранее имевшейся и задавать учителю вопросы, когда возникают конфликтные ситуации. При обучении без учителя С.И.О. обобщает информацию, которая содержится в её базе данных или наблюдается во внешней среде. С помощью индуктивного вывода и, возможно, рассуждений по аналогии и рассуждений по ассоциации С.И.О. формирует гипотезы о новых закономерностях в той предметной области, в которой она работает. Этим новым знаниям система может приписывать оценки правдоподобия.
СИСТЕМА ИНТЕРАКТИВНАЯ
Комплекс программных или аппаратно-программных средств, обеспечивающих взаимодействие пользователя с системой, решающей его задачу в процессе поиска решения.
СИСТЕМА КВАЗИАКСИОМАТИЧЕСКАЯ
Термин объясняется в статье Система аксиоматическая.
СИСТЕМА МУЛЬТИПРОЦЕССОРНАЯ
Вычислительная система, состоящая из большого числа процессорных модулей (элементов), в совокупности решающих сложную задачу. На организацию работы С.М. существенное влияние оказывает используемая соединительная сеть.
СИСТЕМА ОБУЧАЮЩАЯ
Система, способная к накоплению новых знаний в результате обращения к учителю или обобщения наблюдаемых фактов. (См. также Система интеллектуальная обучающаяся.)
СИСТЕМА ОБЪЯСНЕНИЯ
Часть экспертной системы, предназначенная для разъяснения пользователю по его просьбе способа, которым получено решение. С.О. дает ответы на вопросы трех типов. «Как-вопросы» заставляют систему объяснять путь решения. «Почему-вопросы» вызывают у С.О. необходимость в пояснении, почему получено именно это решение, а не какое-либо другое. «Что-вопросы» требуют от С.О. выдачи всей имеющейся в экспертной системе информации относительно объекта или явления, к которому относится «Что-вопрос». Для ответов на подобные вопросы в С.О. имеется набор специальных процедур и рабочая память, в которой в процессе поиска решения формируется информация, необходимая для ответа на вопросы пользователя. С.О. связана система доверия, увеличивающая объяснительную силу экспертной системы.
СИСТЕМА, ОСНОВАННАЯ НА ЗНАНИЯХ
Интеллектуальная система, функционирование которой определяется совокупность знаний о проблемной области, в которой она используется.
СИСТЕМА, ОСНОВАННАЯ НА ПРАВИЛАХ
Интеллектуальная система, в базе знаний которой принято представление знаний в виде систем продукций.
СИСТЕМА ПРЕДСТАВЛЕНИЯ ЗНАНИЙ
Совокупность средств для автоматизированного заполнения баз знаний и поддержания их в рабочем состоянии. В зависимости от выбранной в интеллектуальной системе модели знаний различают С.П.З., основанные на семантических сетях, фреймах и продукционных правилах. С.П.З. входят в состав всех интеллектуальных систем.
СИСТЕМА ПРОДУКЦИЙ
Совокупность множества продукций, выполнение которых задается с помощью стратегии управления выводом. Стратегия определяется абстрактной машиной М = , где М1 формирует фронт продукций, для которых выполнены условия их применимости; М2 производит выбор из фронта готовых продукций той, которая будет выполняться на данном шаге процесса, М3 вносит необходимые изменения в продукции, входящие в С.П., на основании той информации, которая содержалась в постусловии продукции, выполненной на данном шаге процесса.
СИСТЕМА ПРОДУКЦИОННАЯ
См. Система продукций.
СИСТЕМА ПЯТОГО ПОКОЛЕНИЯ ВЫЧИСЛИТЕЛЬНАЯ
Новое поколение ЭВМ, отличающееся от ранее созданных наличием естественно-языкового интерфейса и средств для автоматического синтеза программы на основе хранящихся в памяти систем типовых модулей. Синтез программы производится по сообщению пользователя, сформулированному на профессиональном естественном языке. Таким образом, в С.П.П.В. имеется встроенная интеллектуальная система, дающая возможность общения с ЭВМ пользователей, не обладающих специальными знаниями по программированию.
СИСТЕМА УПРАВЛЕНИЯ АВТОМАТИЗИРОВАННАЯ
См. Автоматизированная система управления.
СИСТЕМА УПРАВЛЕНИЯ БАЗОЙ ДАННЫХ (СУБД)
Комплекс средств, входящих в состав базы данных, с помощью которых формируются поисковые запросы к информации, хранящейся в базе данных, выполняются процедуры поиска, служебные процедуры связанные с сохранением целостности базы, и т. п.
СИСТЕМА УПРАВЛЕНИЯ БАЗОЙ ЗНАНИЙ
Совокупность программных и аппаратных средств для организации в базах знаний процедур, связанных с поиском знаний, пополнением базы знаний, её корректировкой и т. п.
СИСТЕМА УПРАВЛЕНИЯ ПРОИЗВОДСТВОМ
См. Автоматизированная система управления предприятием.
СИСТЕМА УПРАВЛЕНИЯ ТЕХНОЛОГИЧЕСКИМ ПРОЦЕССОМ
См. Автоматизированная система управления технологическим процессом.
СИСТЕМА ФОРМАЛЬНАЯ
Модель, лежащая в основе многих математических теорий. С.Ф. представляет собой четверку: множество базовых элементов синтаксические правила аксиомы правила вывода.
СИСТЕМА ФРЕЙМОВ
Множество фреймов, связанных между собой различными отношениями.
СИСТЕМА ЭКСПЕРТНАЯ
Интеллектуальная система, предназначенная для оказания консультационной помощи специалистам, работающим в некоторой предметной области. Различают два типа С. Э. Системы первого типа предназначены для специалистов, чей профессиональный уровень не слишком высок. В базах знаний таких систем хранятся знания, полученные от специалистов экстракласса. Системы второго типа призваны помогать специалистам высокой квалификации, выполняя для них значительную часть рутинных операций и просмотр больших массивов информации. Особенностью С.Э. является наличие в них системы объяснений, повышающей консультационную силу С.Э.
СИСТЕМА ЭКСПЕРТНАЯ ПУСТАЯ
Экспертная система, у которой база знаний пуста. При использовании С.ЭП. в некоторой предметной области пользователю необходимо произвести заполнение базы знаний либо самому с помощью специальных инструкций по заполнению базы, либо привлекая инженера по знаниям. Как показал опыт, С.Э.П. могут эффективно использоваться лишь на однотипных предметных областях, на которое ориентированы принятые в С.Э.П. способы представления знаний и рассуждений. (См. также Оболочка.)
СЛЕДСТВИЕ ЛОГИЧЕСКОЕ
Факт, полученный в процессе логического вывода в формальной системе.
СЛОТ
Основная структурная единица фрейма. С. представляет собой пару: (атрибут (имя слота) — значение). В качестве значения могут выступать константные факты, выражения, содержащие переменные, ссылки на другие С. и т. п. С. может иметь структуру, элементы которой сами являются слотами. Часто эти более мелкие С. называют фассетами, ячейками, аспектами и т. п.
СОБЫТИЕ
Информационная единица, которой в базе знаний присваивается интервал времени, в течение которого эта единица существует.
СОПОСТАВЛЕНИЕ С ОБРАЗОМ
Процедура сравнения фрагмента знаний или описания с эталоном-образцом. Входит в состав процедуры поиска по образцу в базах знаний и используется при распознавании образов.
СОСТАВЛЯЮЩАЯ ЗНАНИЙ ИНТЕНСИОНАЛЬНАЯ
Знания о предметной области, которые отражают факты, закономерности, свойства и характеристики, справедливые для любых конкретных ситуаций, которые могут возникнуть в этой предметной области.
СОСТАВЛЯЮЩАЯ ЗНАНИЙ ЭКСТЕНСИОНАЛЬНАЯ
Знания о предметной области, отражающие факты, закономерности, свойства и характеристики, типичные для конкретных ситуаций или классов однотипных ситуаций, которые могут возникнуть в этой области.
СПИСОК АССОЦИАТИВНЫЙ
Совокупность пар «атрибут — значение».
СРЕДСТВА ИНЖЕНИРИИ ЗНАНИЙ ИНСТРУМЕНТАЛЬНЫЕ
Системы программирования, которые упрощают работу по созданию интеллектуальных систем.
ССЫЛКА АНАФОРИЧЕСКАЯ
Способ связывания между собой двух предложений в тексте, когда в первом предложении называется лицо, объект, явление и т. п., а во втором используется анафомическое слово (как правило, местоимение), заменяющее слово из первого предложения. Например, в тексте «Система управления дала сбой. Она не была во время продиагностирована» анафорическое слово «она» во втором предложении указывает, что в нем идет речь о той же системе управления, о которой шла речь в первом предложении. С.А. требует специальных процедур при анализе текстов в интеллектуальных системах. С.А. являются частным случаем анафоры.
СТРАТЕГИЯ УПРАВЛЕНИЯ ВЫВОДОМ
Совокупность правил, с помощью которых организуется выбор правил вывода в формальных системах или выбор продукций в системе продукций при поиске решения. Наиболее известные С.У.В. в формальных логических системах — это прямой вывод и обратный вывод. В системах продукций известно много С.У.В. (принцип «классной доски», учет наиболее длинного условия продукции, принцип «повестки дня» и т. п.).
СТРУКТУРА ГЛУБИННАЯ
Структура, отражающая семантику текста на естественном языке. В С.Г. отсутствуют особенности морфологического или синтаксического строения естественного языка. С.Г. используется при машинном переводе с одного языка на другой, а также обеспечивает понимание текстов на естественном языке, так как от С.Г. легко осуществляется переход к тем представлениям знаний, которые используются в базе знаний.
СТРУКТУРА КОГНИТИВНАЯ
Гипотетическая структура, с помощью которой отображаются и хранятся в памяти человека знания об окружающем мире, возможных действиях в нем и о самом человеке. С.К. изучается в когнитивной психологии.
СТРУКТУРА ОДНОРОДНАЯ
Архитектура новых поколений ЭВМ, образованная одинаковыми активными элементами или процессорами, соединенными между собой однотипным образом (например, расположенных на поверхности тора при регулярном соединении каждого активного элемента или процессора с четырьмя ближайшими соседями). Теоретические модели, связанные с функционированием С.О. изучаются в теории клеточных автоматов.
СТРУКТУРА ПАДЕЖНАЯ
Структура текста, в которой используются глубинные падежи (падежи Филмора). Эти падежи не зависят от грамматических падежей какого-либо естественного языка, а отражают глубинные (ролевые) взаимосвязи элементов, о которых идет речь в тексте. Например, для фраз «Иван рубит дерево» и «Дерево рубится Иваном» грамматические падежи для слов «Иван» и «дерево» различаются. Но в обоих случаях глубинным падежом для «Ивана» является субъектный падеж, а для «дерева» — объектный падеж. Число глубинных падежей у разных авторов колеблется от полутора десятков до тридцати. С.П. является одной из разновидностей глубинной структуры.
СТРУКТУРА ПОЗНОВАТЕЛЬНАЯ
В искусственном интеллекте — модель, в которой происходит соотнесение объектов действительности с их внутренним представлением в памяти интеллектуальной системы. С.П. не зависит от особенностей языка, на котором написан текст, а определяется теми механизмами, которыми располагает человеческое сознание для восприятия окружающего мира и его осмысления.
СУЖДЕНИЕ
Выражение, связывающее между собой субъект и предикат с помощью связки «есть». С. изучается в логике.
СУЩНОСТЬ
Любой объект в предметной области.
СХЕМА КОНЦЕПТУАЛЬНАЯ
См. Ограничение целостности.
СЦЕНАРИЙ
Семантическая сеть, в которой в качестве отношений используются каузальные отношения или отношения типа «действие-результат», «действие-цель», «орудие-действие»и т. п.
Искусственный интеллект. Толковый словарь.
Штучний інтелект
