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

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

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

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

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

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

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

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

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

42. Cистемный подход при проектировании информационных компьютерных систем.

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

При системной разработке объекта (системы) в основу должны быть положены следующие принципы:

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

2. учет истории, и особенно перспектив, развития систем данного и близких классов;

3. всестороннее рассмотрение взаимодействия системы с внешней средой;

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

5. учет возможности изменения исходных данных и даже решаемой задачи при проектировании, производстве и эксплуатации системы;

6. выделение главных показателей качества, подлежащих улучшению в первую очередь;

7. сочетание принципов композиции, декомпозиции и иерархичности;

8. выявление основных технических противоречий, препятствующих улучшению качества системы и ускорению процесса ее разработки, а также отысканию приемов их преодоления;

9. правильное сочетание различных методов проектирования (математических, эвристических, экспериментальных);

10) обеспечение должного взаимодействия в процессе проектирования специалистов различных уровней и профилей.

43. Формальные системы. Логика предикатов.

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

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

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

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

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

Известные формальные логические системы:

Логика высказываний (пропозициональная логика) и логика предикатов первого и более высокого порядка (они были созданы математиками и логиками) для проверки непротиворечивости математических теорий и контроля правильности доказательств.

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

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

Логика высказываний предписывает или ставит предложениям выражениям естественного языка истину или ложь.

Истина подразделяется на :

• ИСТИНА языка;

• Логическая ИСТИНА;

• Фактическая ИСТИНА.

В логике высказываний определены 5 логических операций :

Связка	Обозначение	Соответствующие союзы в естественном языке
Отрицание	~,-, ­­­	НЕ
Дизъюнкция	V	ИЛИ
Конъюнкция		И
Импликация	, , ->	Если, то
Эквивалентность		Тождество

В естественном языке логическим связкам обычно всегда соответствуют союзы И, ИЛИ, НЕ. Но это не всегда.

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

1. Всякое высказывание есть формула;

Под высказыванием понимается утверждение либо И или Л. Не всякому выражению естественного языка можно предписать значение либо истины, либо ложности. Пример: Я лжец

Существуют предложения, которым в отдельности можно приписать И, Л, но всему тексту нельзя.

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

Исчисление предикатов включает в себя: символы предметных переменных, символы предметных констант, символы n-местных отношений, символы n-местных предикатов, логические операции, кванторы общности и существования, вспомогательные символы.

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

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

44. Человек и его воспроизводство.

45. Основные положения при построении системы MARGIE.

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

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

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

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

Концептуальное умозаключение – это попытка достроить концептуальную информацию и определить следующие цели:

- Возможности, не выраженные явно в высказываниях.

- Обусловленности деятельности в момент высказывания.