Типовые представления моделей мира в когнитивных науках

Требуется создать модель для большинства, модель представления мира: Общие знания о мире в виде логических конструкций предикатной формы.

Специфические факты описывающие конкретные факты.

Основные структуры взаимодействия обычно в виде продукции.

В большинство моделей входит цели и иерархии (аксиологический блок).

Используются фреймы - типизированная тематически единая ситуация.

Сцена - описание ситуации как она есть.

Планы - структуры знаний о достижении целей, то есть с включением аксиологии.

Сценарии - стереотипное поведение.

Повышение гибкости формальных языков в информационных технологиях.

M = <T, P, A, П>

M - семантическая система

T - алфавит системы

P - синтаксические правила

A - системы аксиом

П - прагматические правила

Что бы ввести гибкость необходимы параметры:

C = <M, Xt, Xp, Xa, Xp>

Управление на контекстах

M* = <M, D>

Расширение алфавита и расширение состава аксиом.

Расширение алфавита производится за счет мета-переменных, а именно создается объект нового языка служащий кодом или обозначением множества объектов старого языка, наделяется своей семантикой и называется понятием.

Пример: Температура.

Изменение состава аксиом - в состав аксиом нового мира включаются все выводимые выражения по мере получения их вывода, они называются теоремами.

Комбинации Xa и Xt - создает аппарат точных наук, конкретизация науки из общей производится за счет ведения граничных условий (фундаментальных констант)

Этот же путь используется политике в социальных соглашений (регламенты и т.д.)

Построение формальных систем с изменяющейся прагматикой - адаптивная модель

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

Построение формальных систем с изменяющейся логикой отношений - это направление является основой для активного использования ИТ.

1. Не монотонные модальные логики

2. Правда подобный (абдуктивный или индуктивный вывод)

3. Псевдо-физические

4. Баесовские сети доверия

Не монотонные модальные логики: В классической логике принцип монотонности если некоторые утверждения выводимы в данной системе то этот факт не может изменить ни чего.

Реализуется методом частичных решеток.

не противоречит

p(Z) * unless (q(X) -> m(X)

| ^

p(W) ->|

|

r(W)

Начиная с точки на которую повешан этот оператор.. Предусмотрен частичный порядок, и противоречие

Логическая целостность этой конструкции проверяется только руками.

Расширение алфавита и изменение состава аксиом как средства повышения гибкости формальных языков в ИС