Студопедия

Главная страница Случайная страница

Разделы сайта

АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника






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






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

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

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

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

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

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

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

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

     

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

    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)

     

     

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

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

     

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






    © 2023 :: MyLektsii.ru :: Мои Лекции
    Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав.
    Копирование текстов разрешено только с указанием индексируемой ссылки на источник.