→ Пошук по сайту       Увійти / Зареєструватися
Знання Искусственный интеллект. Толковый словарь.

Искусственный интеллект. Толковый словарь.. Семантичний конспект розділу

Искусственный интеллект. Толковый словарь.

Толковый словарь по системам искуственного интелекта. Словарь содержит около 550 терминов
Авторы-составители: А.Н.Аверкин, М.Г.Гаазе-Рапопорт, Д.А.Поспелов
Компьютерная версия: И.Н.Листопад, А.Б.Прокудин, Е.Н.Щербаков

1. ВЫВОД [Центральне поняття розділу]

ВЫВОДПолучение новых информационных единиц из ранее известных. Частным случаем является логический вывод

2. АБДУКЦИЯ

АБДУКЦИЯ — Правдоподобный вывод от частного к частному.

3. ВЫВОД АБДУКТИВНЫЙ

Вывод на основании абдукции.

4. ВЫВОД ВЕРОЯТНОСТНЫЙ

Вывод, при котором каждое выражение, используемое в нем, имеет оценку правдоподобия в виде вероятности того, что оно является истинным. При В.В. применяются специальные процедуры для вычисления вероятности истинного значения результирующего выражения по вероятностям посылок, используемых при выводе.

5. ВЫВОД ПРАВДОПОДОБНЫЙ

Вывод, при котором каждый шаг сопровождается вычислением оценки достоверности полученного утверждения. Частными случаями В.П. является, например, вывод вероятностный и вывод индуктивный.

6. ВЫВОД ПО АНАЛОГИИ

Вывод, основанный на перенесении рассуждения из исследованной области на другую область, похожую на исследованную. Если имеется вывод A ^ B, и область, в которой определено A, гомоморфна области, где определена C, а область, где определено B, гомоморфна области, где определено D, то вывод A ^ B порождает вывод C ^ D. В.П.А. есть частный случай правдоподобного вывода.

7. ВЫВОД ОБРАТНЫЙ

Вывод, при котором поиск доказательства начинается с целевого утверждения. Выясняются условия, при которых целевое утверждение является выводимым. Эти условия принимаются за новые целевые утверждения и процесс поиска продолжается. В.О. заканчивается, когда все очередные условия оказываются аксиомами или процесс условий обрывается, не приведя к аксиомам. В.О. широко используется в интеллектуальных системах при поиске решений.

8. ВЫВОД НЕЧЕТКИЙ

Вывод, при котором используются нечеткие кванторы или значения функций принадлежности. При нечетких кванторах правила вывода определяют тот квантор, который следует приписать результату при заданных значениях кванторов посылок. При использовании значений функций принадлежности правило вывода определяет значение этой функции для результата по значениям функций принадлежности посылок.

9. ВЫВОД НЕМОНОТОННЫЙ

Вывод, при котором нарушается свойство монотонности при выводе.

10. ВЫВОД НА ЗНАНИЯХ

Вывод, использующий в качестве посылок выражения, хранящиеся в базе знаний В.Н.З. может быть достоверным, если эти выражения являются достоверным, или правдоподобным или снабжены оценками правдоподобия. Как правило, процедуры В.Н.З. включают поиск необходимых знаний для вывода, т.е. процедуру поиск по образцу.

11. ВЫВОД ИНТУИЦИОНИСТСКИЙ

Вывод, характерный для интуиционистской логики, не использующий, в частности, закон снятия двойного отрицания и закон исключенного третьего.

12. ВЫВОД ИНДУКТИВНЫЙ

Вывод "от частного к общему". Позволяет на основании обобщения частных примеров некоторого явления выдвинуть гипотезу о существовании общей закономерности. В интеллектуальных системах, использующих В.И., работают механизм, позволяющий при формировании гипотезы приписывать ей оценку правдоподобия (например, вероятность того, что данная гипотеза является истинной). В.И. является средством получения новых знаний в интеллектуальных системах.