Психология. Полный энциклопедический справочник

Важное значение моделей С. с. заклю­чается в том, что они представляют со­бой не только среду хранения информа­ции, но и структуру, на основе которой строятся модели процессов мышления (см. Эвристика, Эвристическая педагоги­ка). В ходе формально-логического моде­лирования процессов мышления выделя­ют ряд «фигур* логического мышления, определяющих некоторые механизмы про­ведения рассуждений, построения поня­тий, доказательств. К таким фигурам мож­но отнести: правила построения простых и сложных высказываний, процедуры индукции, дедукции, построение умоза­ключений, правила логического вывода.

Рассмотрим пример, в котором мы име­ем среди исходных данных набор фактов, включающих отдельные высказывания (простые или сложные): Л, В, L, а также вы­сказывания в виде импликаций (струк­тур «если... то»): А -» L, А -> В, F -» С, В -> D, В -? G, G -> Т, К G, L—*B,L—*K. Для простоты будем счи­тать, что единственным правилом выво­да в этом примере будет правило отделе­ния (modus ponens). Это правило было известно еще в древности и хорошо соот­ветствует интуитивному понятию логи­ческого вывода. Общая схема правила от­деления говорит, что мы делаем правиль­ные умозаключения, если из пары посы­лок вида: 1) если р, то q, 2) р получаем в качестве заключения q. Формально правило отделения записывается в виде:

Р.Р -> Q

д

Многократно применяя правило отде­ления, мы можем получить новое знание, напр., в виде А -> Т. Действительно, из Л и А -»В получаем В, затем из В и В -* С получаем С, затем из С и С -» Тполуча­ем Т. Формально в математической логи­ке 3 шага данного вывода записываются как:

А,А -> В В,В->0 С,С->Т ~~Ёз (3 Т~

В такой записи над чертой записыва­ются посылки, под чертой — следствия. При этом заметим, что в итоге мы пост­роили умозаключение А -*Ти одновре­менно получили цепочку рассуждения: А, А —» В —» С —> Т. Заметим также, что данная цепочка не — единственно воз­можный путь для получения результата А-*Т. Тот же вывод получим, построив и др. цепи доказательств. Напр., цепь М? 2; из А,А->1 получаем I, затем из Ь,

1. —»В получаем В, далее логический вы­вод идет так же, как в предыдущем слу­чае; цепь № 3 напишем в сокр. виде: А, А —? ?—> К —> С —> Т.

Данный пример удобно представить не только в аналитическом, но и в образ­ном виде, как часть графа или С. с. (см. рис. 9). Такого рода представления служат целям структурирования информации, В каждом узле сети собирается вся ин­формация по некоторому объекту (ситу­ации). Эта информация представляется в виде наборов характеристик или атри­бутов объекта, а также в виде ссылок, ука­зывающих связи между узлами (объек­тами).