Лекция
Это окончание невероятной информации про словарь по искусственному интеллекту.
...
дискурса или неративная (повествовательная) схема; строение текста.
Автоматическое построение программ по исходным условиям задачи. Формально задача С.П.А. может быть поставлена следующим образом: по заданному значению х, удовлетворяющему предикату Р (х), вычислить значение у, удовлетворяющее предикату R (х, у). Здесь х, у - конечные множества входных и выходных переменных программы. Отображение Q = < P (x), R(x, y) > должно при этом содержать достаточно информации для синтеза нужной программы. Различают три подхода: индуктивный синтез программ, дедуктивный синтез программ илитрансформационный синтез программ.
Автоматический синтез программ в котором используется формальный метод построения программ; вывод программы из заданной спецификации рассматривается как задача конструктивного доказательства существования нужного решения. В ходе реализации С.П.Д. часто используются методы автоматического доказательства теорем в исчислении предикатов первого порядка.
Автоматический синтез программ опирающийся на нахождение общих для заданного множества примеров процедур, ведущих к решению задачи. С.П.И. может осуществляться на синтаксическом уровне, когда используются внешние признаки программ, или на семантическом уровне, когда в основе лежит семантика модели программы.
Автоматический синтез программ, в котором конструирование программы осуществляется последовательным преобразованием исходной спецификации в эквивалентную ей результирующую программу. С.П.Т. обычно разбивается на следующие этапы: переход от формальной спецификации к рекурсивной версии программы общего вида; трансформация общерекурсивной версии в рекурсивную версию специального вида; переход от рекурсивной версии к итеративной версии.
См. Генерация текста.
Комплекс средств, предназначенных для помощи инженеру-проектировщику в создании новых технических объектов. САПР включает большое количество расчетных модулей, базу знанийсредств ведения документации и технического черчения.
Система рассуждений, в основе которой лежат аксиомы. Если аксиомы являются логическими (т. е. тождественно истинными вне зависимости от предметной области), то С.А. совпадает сформальной системой. Если среди аксиом имеются аксиомы, справедливые только в данной предметной области, то С.А. применима только в этой области. Часто С.А., у которой имеются предметные аксиомы, называют квазиаксиоматической системой.
Совокупность программ, позволяющая реализовать вопросно-ответное отношение для пары "пользователь - ЭВМ". С.В.О. обеспечивает поиск релевантных данных и знаний по поступившему в систему вопросу, из которых формируется ответ пользователю. С.В.О. могут использовать вопросы и ответы, формулируемые на естественном языке, ограниченном естественном языке или на специальном формальном языке общения.
Аксиоматическая система, в которой имеет место теорема дедукции, обеспечивающая вывод всего множества выражений, которое допускается аксиомами и правилами вывода (и только ими). При этом предполагается, что выводимые выражения обладают априорным свойством (например, тождественной истинностью или истинностью с оценкой правдоподобия не менее заданной).
Совокупность процедур, используемая в системах объяснения экспертных систем. С.Д. применяется для того, чтобы повысить уровень доверия пользователя к результатам, полученным экспертной системой. Для этого С.Д. выдает пользователю ряд дополнительных аргументов в пользу того решения, которое было получено системой, при условии, что эти аргументы не были непосредственно использованы в процессе получения решения.
Интеллектуальная система, способная воспринимать тексты или речь на ограниченном естественном языке, понимать их и функционировать в соответствии с информацией, содержащейся в тексте. При необходимости С.Е.Я. может формировать ответные сообщения, связанные с введенным в них текстом. (См. Интерфейс естественно-языковый.)
Модель в которой используется индуктивная логика или индуктивное обобщение (или и то и другое).
Техническая или программная система, способная решать задачи, традиционно считающиеся творческими, принадлежащие конкретной предметной области, знания о которой хранятся в памяти С.И. Структура С.И. включает три основных блока - базу знаний, решатель и интеллектуальный интерфейс.
Интеллектуальная система для обучения человека какому-либо роду деятельности или используемая в процессе обучения школьников или студентов. С.И.О. включает естественно-языковый интерфейс, средства графического общения, базу знаний и специальный блок, управляющий процессом подачи материала, анализирующий обучаемого и принимающий решение об оценке степени усвоения.
Интеллектуальная система в которой имеется совокупность средств для пополнения ее базы знаний. Возможны два способа обучения: с учителем и без учителя. В первом случае С.И.О. должна иметь возможность пополнять свою базу знаний информацией, сообщаемой ей учителем, корректировать новую информацию с ранее имевшейся и задавать учителю вопросы, когда возникают конфликтные ситуации. При обучении без учителя С.И.О. обобщает информацию, которая содержится в ее базе данных или наблюдается во внешней среде. С помощью индуктивного вывода и, возможно, рассуждений по аналогии и рассуждений по ассоциации С.И.О. формирует гипотезы о новых закономерностях в той предметной области, в которой она работает. Этим новымзнаниям система может приписывать оценки правдоподобия.
Комплекс программных или аппаратно-программных средств, обеспечивающих взаимодействие пользователя с системой, решающей его задачу в процессе поиска решения.
Термин объясняется в статье Система аксиоматическая.
Вычислительная система, состоящая из большого числа процессорных модулей (элементов), в совокупности решающих сложную задачу. На организацию работы С.М. существенное влияние оказывает используемая соединительная сеть.
Система, способная к накоплению новых знаний в результате обращения к учителю или обобщения наблюдаемых фактов. (См. Система интеллектуальная обучающаяся.)
Часть экспертной системы, предназначенная для разъяснения пользователю по его просьбе способа, которым получено решение. С.О. дает ответы на вопросы трех типов. "Как-вопросы" заставляют систему объяснять путь решения. "Почему-вопросы" вызывают у С.О. необходимость в пояснении, почему получено именно это решение, а не какое либо другое. "Что-вопросы" требуют от С.О. выдачи всей имеющейся в экспертной системе информации относительно объекта или явления, к которому относится "Что-вопрос". Для ответов на подобные вопросы в С.О. имеется набор специальных процедур и рабочая память, в которой в процессе поиска решения формируется информация, необходимая для ответа на вопросы пользователя. С С.О. связанасистема доверия, увеличивающая объяснительную силу экспертной системы.
Интеллектуальная система, функционирование которой определяется совокупность знаний о проблемной области, в которой она используется.
Интеллектуальная система, в базе знаний которой принято представление знаний в виде систем продукций.
Совокупность средств для автоматизированного заполнения баз знаний и поддержания их в рабочем состоянии. В зависимости от выбранной в интеллектуальной системе модели знанийразличают С.П.З., основанные на семантических сетях, фреймах и продукционных правилах. С.П.З. входят в состав всех интеллектуальных систем.
Совокупность множества продукций, выполнение которых задается с помощью стратегии управления выводом. Стратегия определяется абстрактной машиной М = 1, M2, M3 >, где М1формирует фронт продукций, для которых выполнены условия их применимости; М2 производит выбор из фронта готовых продукций той, которая будет выполняться на данном шаге процесса, М3 вносит необходимые изменения в продукции, входящие в С.П., на основании той информации, которая содержалась в постусловии продукции, выполненной на данном шаге процесса.
См. Система продукций.
Новое поколение ЭВМ, отличающееся от ранее созданных наличием естественно-языкового интерфейса и средств для автоматического синтеза программы на основе хранящихся в памяти систем типовых модулей. Синтез программы производится по сообщению пользователя, сформулированному на профессиональном естественном языке. Таким образом, в С.П.П.В. имеется встроенная интеллектуальная система, дающая возможность общения с ЭВМ пользователей, не обладающих специальными знаниями по программированию.
См. Автоматизированная система управления.
Комплекс средств, входящих в состав базы данных, с помощью которых формируются поисковые запросы к информации, хранящейся в базе данных, выполняются процедуры поиска, служебные процедуры связанные с сохранением целостности базы, и т. п.
Совокупность программных и аппаратных средств для организации в базах знаний процедур, связанных с поиском знаний, пополнением базы знаний, ее корректировкой и т. п.
См. Автоматизированная система управления предприятием.
См. Автоматизированная система управления технологическим процессом.
Модель, лежащая в основе многих математических теорий. С.Ф. представляет собой четверку: множество базовых элементов синтаксические правила аксиомы правила вывода.
Множество фреймов, связанных между собой различными отношениями.
Интеллектуальная система, предназначенная для оказания консультационной помощи специалистам, работающим в некоторой предметной области. Различают два типа С.Э. Системы первого типа предназначены для специалистов, чей профессиональный уровень не слишком высок. В базах знаний таких систем хранятся знания, полученные от специалистов экстракласса. Системы второго типа призваны помогать специалистам высокой квалификации, выполняя для них значительную часть рутинных операций и просмотр больших массивов информации. Особенностью С.Э. является наличие в них системы объяснений, повышающей консультационную силу С.Э.
Экспертная система, у которой база знаний пуста. При использовании С.ЭП. в некоторой предметной области пользователю необходимо произвести заполнение базы знаний либо самому с помощью специальных инструкций по заполнению базы, либо привлекая инженера по знаниям. Как показал опыт, С.Э.П. могут эффективно использоваться лишь на однотипных предметных областях, на которое ориентированы принятые в С.Э.П. способы представления знаний и рассуждений. (См. Оболочка.)
Факт, полученный в процессе логического вывода в формальной системе.
Основная структурная единица фрейма. С. представляет собой пару: (атрибут (имя слота) - значение). В качестве значения могут выступать константные факты, выражения, содержащие переменные, ссылки на другие С. и т. п. С. может иметь структуру, элементы которой сами являются слотами. Часто эти более мелкие С. называют фассетами, ячейками, аспектами и т.п.
Информационная единица, которой в базе знаний присваивается интервал времени, в течение которого эта единица существует.
Процедура сравнения фрагмента знаний или описания с эталоном-образцом. Входит в состав процедуры поиска по образцу в базах знаний и используется при распознавании образов.
Знания о предметной области, которые отражают факты, закономерности, свойства и характеристики, справедливые для любых конкретных ситуаций, которые могут возникнуть в этой предметной области.
Знания о предметной области, отражающие факты, закономерности, свойства и характеристики, типичные для конкретных ситуаций или классов однотипных ситуаций, которые могут возникнуть в этой области.
Совокупность пар "атрибут - значение".
Системы программирования, которые упрощают работу по созданию интеллектуальных систем.
Способ связывания между собой двух предложений в тексте, когда в первом предложении называется лицо, объект, явление и т. п., а во втором используется анафомическое слово (как правило, местоимение), заменяющее слово из первого предложения. Например, в тексте "Система управления дала сбой. Она не была во время продиагностирована" анафорическое слово "она" во втором предложении указывает, что в нем идет речь о той же системе управления, о которой шла речь в первом предложении. С.А. требует специальных процедур при анализе текстов винтеллектуальных системах. С.А. являются частным случаем анафоры.
Совокупность правил, с помощью которых организуется выбор правил вывода в формальных системах или выбор продукций в системе продукций при поиске решения. Наиболее известные С.У.В. в формальных логических системах - это прямой вывод и обратный вывод. В системах продукций известно много С.У.В. (принцип "классной доски", учет наиболее длинного условия продукции, принцип "повестки дня" и т. п.).
Структура, отражающая семантику текста на естественном языке. В С.Г. отсутствуют особенности морфологического или синтаксического строения естественного языка. С.Г. используется примашинном переводе с одного языка на другой, а также обеспечивает понимание текстов на естественном языке, так как от С.Г. легко осуществляется переход к тем представлениям знаний, которые используются в базе знаний.
Гипотетическая структура, с помощью которой отображаются и хранятся в памяти человека знания об окружающем мире, возможных действиях в нем и о самом человеке. С.К. изучается в когнитивной психологии.
Архитектура новых поколений ЭВМ, образованная одинаковыми активными элементами или процессорами, соединенными между собой однотипным образом (например, расположенных на поверхности тора при регулярном соединении каждого активного элемента или процессора с четырьмя ближайшими соседями). Теоретические модели, связанные с функционированием С.О. изучаются в теории клеточных автоматов.
Структура текста, в которой используются глубинные падежи (падежи Филмора). Эти падежи не зависят от грамматических падежей какого-либо естественного языка, а отражают глубинные (ролевые) взаимосвязи элементов, о которых идет речь в тексте. Например, для фраз "Иван рубит дерево" и "Дерево рубится Иваном" грамматические падежи для слов "Иван" и "дерево" различаются. Но в обоих случаях глубинным падежом для "Ивана" является субъектный падеж, а для "дерева" - объектный падеж. Число глубинных падежей у разных авторов колеблется от полутора десятков до тридцати. С.П. является одной из разновидностей глубинной структуры.
В искусственном интеллекте - модель, в которой происходит соотнесение объектов действительности с их внутренним представлением в памяти интеллектуальной системы. С.П. не зависит от особенностей языка, на котором написан текст, а определяется теми механизмами, которыми располагает человеческое сознание для восприятия окружающего мира и его осмысления.
Выражение, связывающее между собой субъект и предикат с помощью связки "есть". С. изучается в логике.
Любой объект в предметной области.
См. Ограничение целостности.
Семантическая сеть, в которой в качестве отношений используются каузальные отношения или отношения типа "действие-результат", "действие-цель", "орудие-действие" и т. п.
Направление в искусственном интеллекте, в рамках которого создаются модели и способы генерирования на ЭВМ аналогов результатов творческой деятельности человека. Сюда относятся программы для сочинения музыкальных произведений, стихотворений, прозы, машинная графика и живопись, игровые программы и т. п.
Утверждение о том, что "лямбда"-исчисление эквивалентно интуитивному пониманию алгоритма Т.Ч. аналогичен другим тезисам (например, тезису Тьюринга о том, что машина Тьюрингаэквивалентна интуитивному пониманию алгоритмического процесса), позволяющим формализовать понятие алгоритма.
Логическая теория, в которой все исходные аксиомы являются тождественно истинными, а правила вывода - достоверными.
Теория, в основе которой лежит формальная система.
Раздел лингвистики, описывающий, как в текстах на естественном языке отражаются мотивы и цели говорящего. В Т.Р.А. большую роль играют внелингвистические компоненты (длительность пауз, тон, громкость произнесения, мимика и жесты), что сближает Т.Р.А. используется при создании модели общения в интеллектуальных системах.
Константа, переменная или выражение вида f(t1, t2, ... tn) где f - функциональный символ; ti - термы.
Объединенные под одним именем по какому-либо признаку данные. Т.Д. используются в базах данных.
Описание данных на языках программирования, позволяющее создавать в памяти ЭВМ те структуры данных, которые удобны для решения задачи.
Область, на которой определены значения предиката. Из этой области берутся значения для означивания переменных, входящих в предикат. Для многоместных предикатов У. есть декартово произведение областей определения для каждого из аргументов предиката.
Специальная область, на которой проверяется невыполнимость множества дизъюнктов (клауз) при реализации процедур вывода типа метода резолюций.
Термин объясняется в статье Унификация.
Унификатор r, обладающий тем свойством, что для всякого другого унификатора q для того же множества выражений существует такая подстановка t, что q = zt, где zt - композиция подстановок r и t.
Процедура подстановки термов в два логических выражения вместо переменных. Термы подбираются таким образом, что при замене ими одноименных в двух выражениях переменных оба выражения становятся идентичными. Сама подстановка называется унификатором. У. используется при логическом выводе в методе резолюций.
Способ управления сложными техническими и организационными системами, при котором с помощью экспертной информации строится классификатор, позволяющий разбивать все наблюдаемые ситуации на классы и приписывать каждому классу одношаговое решение или первый шаг в многошаговом решении. Для описания ситуаций и классификации их в У.С. используется модель знаний, близкая в семантической сети.
См. Слот.
В искусственном интеллекте совокупность знаний, активизируемая при формировании или интерпретации сообщения на естественном языке.
Выражение вида Н(t1, t2,..., tm), где Н - m-местный предикат, ti - термы.
Выражение в формальной системе в котором либо нет переменных, либо переменные являются связанными квантификаторами.
Замкнутая формула, сохраняющая тождественную истинность при всех интерпретациях.
Выражение в формальной системе, в которое входит хотя бы одна переменная, не связанная квантификатором.
Множество с нецелой размерностью для описания негладких кривых и поверхностей. Ф. используется в системах машинной графики для задания сложных графических образов и при изменении масштабов изображений. С помощью Ф. удается при изменении масштаба убирать и вводить элементы изображения, зависящие от выбранного масштаба.
Специальная форма представления знаний, которая определяется рекурсивно. Ф. состоит из конечного числа слотов, каждый из которых имеет имя и значение.
1. Фрейм, выступающий в качестве образца при поиске по образцу в базах знаний.
2. Синоним для фрейма-экземпляра.
Фрейм, у которого все слоты имеют имена, являющиеся глубинными падежами.
Фрейм, у которого в части слотов (или во всех слотах) отсутствуют константные значения. Ф.П. описывает знание о предметной области. При означивании всех слотов. Ф.П. константными значениями он превращается в фрейм-экземпляр.
Фрейм-прототип, у которого значения всех слотов заполнены констативной информацией. Совокупность Ф.Э. образует экстенсиональную базу данных.
Термин объясняется в статье Автомат конечный.
Функция, значение которой характеризует веру субъекта в истинность события или факта.
Термин объясняется в статье Автомат конечный.
Характеристическая функция для нечеткого множества, изменяющаяся в интервале (0,1).
Функциональный символ операции по устранению кванторов существования в логических выражениях, приведенных к префиксной нормальной форме.
Последовательность формул, начинающаяся с аксиом в которой каждая последующая формула выводится на основе совокупности предшествующих элементов цепочки.
Шкала, на которой задана метрика, позволяющая отсчитывать расстояния от абсолютного начала.
Шкала, на которой задана метрика, позволяющая оценивать расстояния между элементами, отображенными на шкалу.
Шкала, использующая пары слов-антонимов (острый - тупой, хороший - плохой и т. п.), стоящие на концах шкалы. Средняя позиция шкалы является нейтральной. Кроме того, имеется еще несколько промежуточных делений, как правило, не обозначаемых никакими словами. Ш.О. используется в психологических экспериментах, связанных с выявлением особенностей индивидуального психосемантического пространства испытуемых. (См. Пространство Осгуда.)
Метрическая шкала, в которой расстояния отсчитываются от какого-либо относительного маркера, например от наблюдаемого в данный момент объекта.
Порядковая шкала, на которой располагаются значения лингвистической переменной или интервалы, получаемые из функций принадлежности отсечками соответствующего уровня.
Шкала, на которой отображается лишь отношение порядка между элементами, расположенными на шкале. Ш.Т. обладает свойствами, присущими метрическим шкалам.
Специальная шкала для проецирования размытых шкал, у которых на расположение квантификаторов оказывает влияние конкретная семантика ситуаций, для описания которых они используются. На Ш.У. эти квантификаторы переводятся в другие отражающие общую меру размытости. Ш.У. позволяет сравнивать между собой высказывания, относящиеся к разным размытым шкалам.
Новое поколение ЭВМ, архитектура которого опирается на модель формального нейрона. В зависимости от решаемой задачи происходит соединение формальных нейронов между собой с помощью транзитных клеток. Достоинством таких ЭВМ является возможность распараллеливания протекающих процессов. Из формальных нейронов образуется однородная структура или неоднородная, на которой асинхронно протекает несколько процессов.
Прием решения задачи, основанный не на строгих математических моделях и алгоритмах, а на соображениях, восходящих к "здравому смыслу". Как правило, Э. отражает особенности того, как такие задачи решает человек, когда от не пользуется строго формальными приемами. Если эти человеческие способы решения удается запрограммировать, то такие программы называются эвристическими. Э. часто используются при программировании игр, имитации творческих процессов и т. п. В экспертных системах при формализации профессиональных знаний человека, касающихся способов решения задач в той или иной проблемной области, широко используются те Э., которыми руководствуются профессионалы-эксперты.
Множество цепочек символов, порождаемых с помощью автоматной грамматики.
Язык для обращения в базы данных и базы знаний за необходимой информацией. Формально Я.З. это счетное множество цепочек из символов некоторого конечного алфавита. На этом множестве цепочек выделено подмножество правильных цепочек или правильных запросов. Каждый правильный запрос имеет процедурную интерпретацию а операциях, разрешенных для информационных единиц, находящихся в базе данных или базе знаний.
Множество цепочек символов, порождаемых контекстно-свободной грамматикой.
Множество цепочек символов, порождаемых контекстно-связанной грамматикой.
Способ описания моделей знаний в системах представления знаний. На сегодняшний день известны Я.П.З. для модели знаний в виде фреймов (языки LISP, FRL, KRL и др.), а также рядпродукционных языков.
Язык представления знаний в основе которого лежит исчисление предикатов первого порядка. Выражениями Я.П.З.Л. являются синтаксически правильные формулы этого исчисления. В виде таких формул записывается все хранимые в системе декларативные и процедурные знания. Достоинством Я.П.З.Л. является их полная формализуемость и наличие для них формальных процедур, позволяющих выполнять вывод и анализ таких характеристик записей, как непротиворечивость, эквивалентность и т. п. Недостатком Я.П.З.Л. является плохая наглядность для пользователя информационных единиц, записанных в виде формул логического исчисления.
Язык предствления знаний, основной единицей которого является продукция.
Язык, ориентированный на описание дискретных автоматических устройств, в частности конечных автоматов с памятью и без памяти. Позволяет строить компактные описания, особенно для сильно недоопределенных автоматов. Описание на Я.С. состоит из секвенций, каждая из которых является частным случаем продукции, в левой и правой части которой находятся булевы функции. Смысл секвенции состоит в том, что правая функция принимает значение 1, если левая функция равна 1, и не определена, если левая функция равна 0.
Язык представления знаний и манипулирования знаниями, использующий в качестве модели знаний фреймовые представления. Наиболее известными Я.Ф. являются языки FRL и KRL.
Объект исследований, о внутреннем устройстве которого либо известно частично, либо существуют некоторые гипотезы. В отличие от черного ящика, модели Я.С. учитывают помимо связей между реакциями и внешними воздействиями и те частичные сведения, которые известны о его внутреннем строении.
Введенное У. Р. Эшби наименование объекта исследования, внутреннее устройство которого неизвестно или не принимается во внимание. Модель Я.Ч. строится на основе его поведения т.е. реакции на воздействия, поступающие на вход извне, и характеризует связи между реакциями и вызвавшими их воздействиями. Модели Я.Ч. теоретически обосновываются в направлении экспериментальной психологии, называемом бихевиоризмом, и обычно называются моделями "стимул - реакция".
А как ты думаешь, при улучшении словарь по искусственному интеллекту, будет лучше нам? Надеюсь, что теперь ты понял что такое словарь по искусственному интеллекту и для чего все это нужно, а если не понял, или есть замечания, то не стесняйся, пиши или спрашивай в комментариях, с удовольствием отвечу. Для того чтобы глубже понять настоятельно рекомендую изучить всю информацию из категории Искусственный интеллект. Основы и история. Цели.
Часть 1 Толковый словарь по искусственному интеллекту
Часть 2 АНАЛИЗАТОР СИНТАКСИЧЕСКИЙ - Толковый словарь по искусственному интеллекту
Часть 3 ИЗВЛЕЧЕНИЕ ЗНАНИЙ - Толковый словарь по искусственному интеллекту
Часть 4 МОДЕЛЬ ВЫЧИСЛИТЕЛЬНАЯ - Толковый словарь по искусственному интеллекту
Часть 5 ПОИСК АССОЦИАТИВНЫЙ - Толковый словарь по искусственному интеллекту
Часть 6 СИНТЕЗ ПРОГРАММ АВТОМАТИЧЕСКИЙ - Толковый словарь по искусственному интеллекту
Ответы на вопросы для самопроверки пишите в комментариях, мы проверим, или же задавайте свой вопрос по данной теме.
Комментарии
Оставить комментарий
Искусственный интеллект. Основы и история. Цели.
Термины: Искусственный интеллект. Основы и история. Цели.