Анализ целевой установки системы

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

RA– характеристика необходимого условия достижения ЦУ.

GA– характеристика достаточного условия ЦУ.

Для каждой оценки вводится 3 дополнительных оценки:

L, M- модальные операторы необходимости и возможности.

LRA– необходимо достижимое

L˜RA– необходимо недостижимое

MRA– возможно достижимое.

14. Формальные системы

Формальные системы создаются для описания в форме символьных выражений рассуждений об элементах некоторой предмет области. Все эти рассуждения выполняются согласно определённым правилам. Формальная система содержит:

4. Алфавит символов;

5. Правила построения правильных формул или допустимых выражений языка (ПППФ);

6. Логические аксиомы и правила вывода новых выражений из уже имеющихся.

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

Формальная теория– это соединение логических аксиом, которые выражают свойства объектов некоторой предметной области.

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

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

Логика предикатовпервого порядка – более развитая система, включает в себя логику высказываний.

Исчисление предикатов включает в себя

-символы предметных переменных,

- символы предметных констант,

-символы n-местных отношений (иначеn-местн фий),

-символы n-местных предикатов,

-логические операции,

-кванторы общности и существования

-вспомогательные символы (, , …)

Переменные в исчислении предикатов – элементы некоторой предметной области; а в логике высказываний переменные – это есть булевы переменные истинности высказываний.

Предикатможет иметь несколько переменных аргументов-элементов предметной области; в логике высказываний переменной соответствует истинность высказывания-значения 0,1.

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

Содержание формальной теорииопределяется её интерпретацией, под которой понимается система , состоящая из непустой областиД– облать интерпретации и соответствия, которое сопоставляет каждой предметной константе элемент в областиД, каждому предикатному символу соответствующее отношение в областиДи каждому функциональному символу некоторую операцию в множествеД.

Вероятностная логика– расширение логики предикатов. В ней логическим формулам приписывается мера выполнимости, т.е. вероятность.

Рассмотрим пример:

Пусть имеем 3 формулы А,АB,B. Рассмотрим непротиворечивые случаи истинности или неистинности этих формул. Для этого используем принцип, что из истинных посылок следует истинность вывода, истинность заключения возможна, когда посылки неистинны.

Рассмотрим варианты Мвозможных миров:

М 1 2 3 4

1 1 0 0 А

1 0 1 1 АВ

1 0 1 0 В

1. истины все три формулы

2. истина А

3. истинны 2 последние

4. АВ– истинна

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

Пусть вероятности существования этих миров описываются вектором: (p1,p2,p3,p4)Отсюда мы можем определить вероятность выбора каждой логической формулы выражениемА = М * P

А- вероятность истинности каждой из 3-х формул; размерность вектораА = 3 х 1

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

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

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

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

При этом возникают трудности с конструктивной интерпретацией кванторов. Эти трудности могут преодолеваться путем ограничения действия кванторов.

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

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