Реферат: Логическая модель

2. Логическая модель

Чаще всего используется для записи математических аксиом и теорем с использованием логики предикатов, что позволяет сократить количество записываемых «знаков» в несколько раз.

Пример: словесное изложение теоремы «Если две прямые а и в параллельны третьей прямой с, то они параллельны между собой» можно сжать до следующего вида: (а || с, в || с) → (а || в ).

В данной словесной записи 67 знаков, а в логической модели – всего 15.

Такая форма записи позволяет сократить запись, что приводить к тому, что все выражение воспринимается учащимся целиком и при этом не теряется нить рассуждений (высказывания).

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

3. Модель семантической сети

Как правило, используется для раскрытия объема понятия, то есть тех разновидностей, которые характеризуют данный предмет. Примером семантической сети могут служить формально-логические приемы отражения блоков информации большого масштаба. Графы, блок-схемы, терминологические гнезда также являются разновидностями семантических сетей. По мере их построения не только расширяется объем понятия, но и устанавливаются межпонятийные связи с выше, ниже, рядом стоящими понятиями. На рисунке 3 приведена семантическая сеть моделей представления знаний.




Рис. 3 Модели представления знаний

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

Вернуться к Занятию 2_Часть3.