6. Обучение, память. Составление образцов. Оправдание. Сети подобия. Группы, классы. Аналогии. Резюме, эвристический поиск. Фреймы - парадигмы.

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

Обучение – фреймы, которые должны храниться в нашей долговременной памяти и модифицироваться в процессе обучения и жизни. Есть жизненная ситуация, к которой нам надо подобрать фрейм. Но полностью подходящего фрейма у нас нет, поэтому мы ищем более подходящий, сопоставляем эти фреймы, комбинируем и получаем новый фрейм, который нас полностью удовлетворяет.

7. Структурные компоненты фрейма.

Терминал (слот) – минимальная структура для хранения информации во фрейме. Маркеры - простые условия задания (значений), требования, например, относительно типа, вида значений. Маркеры могут быть указателями, ограничителями или фильтрами.

10. Подтверждение следствия.

Пусть А обозначает некоторое ясно сформулированное предположение к настоящему моменту ни доказанное, ни опровергнутое.

Пусть В обозначает некоторое следствие А.

В также обозначает некоторое ясно сформулированное предположение к настоящему моменту ни доказанное, ни опровергнутое.

Теперь мы предпринимаем проверку В.

Если бы оказалось, что В ложно мы могли бы заключить, что и А ложно.

Из а следует в, в ложно - а ложно

Что же произойдёт если В окажется верным (В= «истина»).

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

Из а следует в, в истинно – а более правдоподобно

Таким образом в случае использование в рассуждениях (5) имеется две возможности:

1. Мы имели некоторое представление о правдоподобности а и она стала несколько (сколько) большей;

2. Мы не имели понятия о правдоподобности а, но но у нас появились данные, что она стала больше.

Последовательное подтверждение нескольких следствий.

из А следует В₁

из А следует В₂

из А следует В_n

…

из А следует В_n+1

В_n+1 сильно отличается от ранее подтвержденных следствий В₁ , В₂ , В_n

В_n+1 истинно

А значительно более правдоподобно

Здесь высказывания, приведенные в отдельных строках, конъюнктивно связаны между собой. При программной реализации таких рассуждений следует задуматься о мере отличия В_n+1 от В₁ , В₂ , В_n.

Подтверждение следствия имеет всё большее значение для истинности исходного высказывания, чем более оно отличается от ранее подтвержденных следствий. Здесь речь идёт о накоплении правдоподобия. И в противоположности влияния высказывания «В_n+1 очень похоже на ранее подтвержденных следствия В₁ , В₂ , В_n» уменьшает рост правдоподобия:

из А следует В₁

из А следует В₂

из А следует В_n

…

из А следует В_n+1

В_n+1 очень похоже на ранее подтвержденных следствия В₁ , В₂ , В_n

В_n+1 истинно

А немножко более правдоподобно

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

Подтверждение невероятного следствия.

из А следует В

В само по себе очень невероятно

В истинно

А гораздо более правдоподобно;

из А следует В

В само по себе вполне вероятно

В истинно

А немного более правдоподобно.

Таким образом, подтверждение следствия имеет большее или меньшее значение в зависимости от того, более или менее вероятно само это следствие.