Интеллектуальные системы

Автор работы: Пользователь скрыл имя, 07 Октября 2012 в 21:27, контрольная работа

Описание работы

В данной работе будут рассматриваться многоагентные интеллектуальные системы (МАС). В центре внимания будут МАС с разумными агентами (МАС-РА).
С точки зрения других МАС МАС-РА – система с повышенным сервисом. С общей точки зрения они должны стать важнейшей фазой на пути к информационным системам будущего.
Информационные системы будущего – ИР (искусственно-разумные).

Файлы: 1 файл

Детерминационный анализ и Интеллектуальные системы.doc

— 2.17 Мб (Скачать файл)

Пример:

Пусть X1 - наличие или отсутствие автомобиля Х2 - наличие или отсутствие компьютера Х3 - наличие или отсутствие стиральной машины у - априорное обеспечение техникой

Введем априорное обобщение по у:

у = (высокое, среднее, низкое)

высокое - все 3 предмета, 
 среднее - 2 предмета, низкое – 1 предмет.

Тогда получим вторичную  переменную

у = f0(Х1,Х2,Х3)

А   если   при   измерениях   ввести   признак   апостериорной обеспеченности z:

z = (высокое, среднее, низкое, затрудняюсь ответить)

z = fl(Xl,X2,X3)

В     априорном    обобщении    есть    наш    произвол,     а    в  апостериорном обобщении проявляются  свойства объектов.

Замечания:

Априорное понятие (низкое, высокое, и т.д.) есть огрубление апостериорного качественного значения априорным качественным значением. Этот вид погрешности нами рассмотрен. Программа исследования на ДА-системе зависит от цели, а результат всегда представляется в виде текста на языке очень близком к ЕЯ и содержащим значения признаков.

 

§5. ДА и практические вопросы

Рассмотрим практические вопросы с точки зрения ДА программы:

из предпосылок => результат

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

Вопросы:

1). Предсказание  результата исходя из существующего

положения как предпосылок.

Решение заключается  в уточнении контекста и определении множества существующих предпосылок Е(а) = (al, a2, ...an)

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

Это: a1=>b1


   a2=>b2    точные детерминации.


2). Поиск путей, приводящих  к нужному результату.

Это определение множества  аргументов достаточно точной детерминации с известной функцией.

 

 

 

3) и 4)вопросы

Выработка    понятий    наиболее    адекватных для    описания предпосылок или функций.

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

Пример:

Данные первичных  переменных: Зарплата 1000, 1500, 2000 вторичные данные: Зарплата 1000 - 2000

5). Объяснение   некоторых   положений   в   настоящем   или прошлом.

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

6). Пока не может  быть решен.

 

 

 

Результат:

При   помощи   ДА пять практически важных для организма  вопросов могут быть решены на логическом уровне. У кого есть программа РА, они могут на этом уровне решать свои практические задачи.

 

 

 

Тема 13. Межмассивная обработка данных. Знакомство с детерминационной силлогистикой.

Введение:

Будем   применять   следующий    общепринятый    словарь   «Словарь физики Логоса:

Строка в МД - это опытный образ объекта.

Столбцы в МД - это признаки.

Значение признака - это свойство объекта.

Эйдос - множество значений в клетках МД, имеющие одно 
(общее) значение признака.

 

Признак x

Признак y

 

Признак c

Объект 1

a

b

 

c

Объект 2

b

 

Объект 3

 

c

a

b

 

c

a

b

 

c


х = а - один эйдос, его множество Е(а), объем N(a).

у = b - другой эйдос, его множество Е(b), объем N(b).

z=c – третий эйдос, его множество Е(с), объем N(с).

Детерминация (по-другому) двух эйдосов.

Образ - это эйдос единичного объема или клетка в МД.

Логос -это:

    • мир эйдосов, по другому:
    • эйдос, занимающий весь столбец в МД.

§1. Межмассивная обработка данных и задача обобщения

силлогизмов.

Остался нерешенным 6 практический вопрос: "В какой мере верно  считать, что из х = а, у = b следует, что z = с, если знаем характеристики следования а=>b и b=>с, а нужно узнать характеристики, следования а=>с?"

Характеристики - полнота  и точность взаимодействия двух эйдосов.

Этот вопрос относится  к взаимодействию трех эйдосов, а  практическим он является, т.к. часто  встречаются два опыта (в одном  задействованы характеристики х и у, а в другом опыте задействованы у и z). Сделать обследование, в котором задействованы х и z, исключается, например, по причине дороговизны. Поэтому установление характеристик а=>с является вопросом межмассивной обработки данных.

 

 

Пример:

                                         

a=>b,     b=>c       a=>c


(I1,C1)   (I2,C2)        (I,C-?)

 

  • - логическое следование (силлогизм)

 

(1)- частная форма записи, необходимо обобщить запись, чтобы  были все формы 3-ех эйдосов:

(a=>b, b=>c) ( с=>а) - всего таких форм 8.

В некоторых предположениях (1) становится общим видом записи связи 3-ех эйдосов,

Далее нужно обобщить:

1). Аристотелевский контекст

2). Аристотелевские квантификаторы

"а" = "все ...есть..." ≈ {1}

"е'= "не ...не есть..." ≈ {0}

"i" = "некоторые...есть..." ≈ (0;1]



       "о" = "некоторые...не есть" ≈ [0;1)

В этих предположениях Аристотель рассматривал всего 256 силлогизмов. В  некоторых предположениях можно  считать, что он рассматривал 512 силлогизмов, из которых 24 верных.

1 (a) = N(a ω1)>0 / N

2(b) = N(bω2) / N

Рω3(с) = N(c ω3) / N

ω - контекст

Р..(..) - относительные  частоты соответствующих эйдосов

N - объем Логоса

N(...) - объем эйдоса в контексте ω

Относительные частоты  не превосходят:

0 < Pω1(a)< = 1


0 < Pω2(a)< = 1

0 < Pω3(a)< = 1

 

 

А общий случай контекста  заключается в произвольном ограничении  относительных объемов внутри единичного полуинтервала (0;1].

 

Мы получили следующую  запись детерминационного силлогизма:

 

 

 

 a=>b,  , b=>c   c=>a


K=[r1,2;s1,2] L=[r2,3;s2,3]    R=[r1,3;s1,3]  (*)

M=[r2,1;s2,1] N=[r3,2;s3,2]   S=[r3,1;s3,1]

 


       A                                                     B

[ri,j;si,j] δ=[0;1]

Ω=Ω1 ([ω1, Ө1]; Ω222]; Ω333])

ωj >= ε = 1/N

i,j=1,2,3…- номера детерминации

Обозначения:

ri,j - левый конец отрезков,  выражающих обобщенные квантификаторы:


si,j - правый конец отрезков,  значения точности и полноты.

Ω - обобщенный контекст.

ω1 – левый конец отрезков,  выражающих ограничения на


Ө1 - правый конец отрезков,  безусловные частоты эйдосов.

N – объем логоса.

ε – квант относительных частот.

Сокращенная запись детерминационного  силлогизма:(*) А В Исследования  детерминационного   силлогизма   (*)   означает решение   задач,   стоявших   перед   Аристотелем,   т.е.   найти   все силлогизмы и найти из них те, которые правильные.

 

 

§2.Проблема 3-ех эйдосов

Постановка проблемы:

В силлогизме A – посылка, а B – заключение

Даны условные посылки

 

 

 

a=>b                 ,        b=>c                                           


 r1,2 <= P(b/a) < = s1,2;     r2,3  <=  P(c/b) < = s2,3               = A

 r2,1 <= P(a/b) < = s2,1;     r3,2 <=  P(b/c) <= s3,2                                           

Нужно найти границы  точности и полноты заключения или 3-ей детерминации: (a=>c) ?

a=>c


y± < = P(c/a) < = y-            ?

d± < = P(a/c) < = d-

 

 

½¾¾½¾¾¾¾¾¾¾¾½¾-½


 

 

 

½¾¾½¾¾¾¾¾¾¾¾½¾-½


 

 

 

 

Нужно найти границы  точности и полноты, т.е. детерминации a=>c так, чтобы в силлогизме А В всегда, когда A – истинно (в смысле характеристики находятся в заданных границах), B – было бы истинным (т.е. ее характеристики находились в пределах [y-; y+], [d-; d+]

Замечание: Если произвольно задать характеристики 3-ей детерминации, то могут быть случаи несуществования и ложности. Ложность, когда a=>c существует, но не в заданных границах.

Несуществование:


 

 


 


 

 

 

Общий случай существования  обобщенного силлогизма:



 





 

 

 

 

Трехмерная таблица  сопряжения признаков:

 

a

X1

X2

X3

X4

`a

X5

X6

X7

X8

 

B

`b

b

`b

c

`c


 

8

å xi = N,

i=1

"i, xi > = 0,

xi – объемы множеств.

Для случая существования, как следует из определения точности и полноты,

 

P(c/a) = (x1+x2)/(x1+x2+x3+x4)

P(a/c) = (x1+x2)/(x1+x2+x5+x6)

 

Искомые границы выражаются так:

y+- = max, min P(c/a)

d+- = max, min P(a/c)

По поводу решения: Решение поставленной проблемы может быть сведено к

“задаче    “   дробно-линейного программирования Л.В. Конторовича в 8-мимерном пространстве.


 

§3.Формы решения

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

w1 = q1 = a


w2 = q2 = b

w3 = q3 =  d

 

В этом частном случае мы получаем выражение из 20-ти областей, на которых определены 40 функций. А общий случай, когда для каждого i, wi ¹ qi  настолько громоздкий, что и в журнальных статьях не приводится. Выражение имеет смысл использовать в ЭВМ, применяя стандартную программу симплекс-метода.

 

 

§4. Примеры  истинных детерминационных силлогизмов.

Рассмотрим 2 детерминационных силлогизма в сокращенной записи.

 

Точность           K     L    \  R


Полнота             M    N         S 


 

 

 


  1.     {1}     {1}   \    {1}

            d          d              d

 

We = ( [e,1][e,1]; [e,1] )         e =1/N

    (2)     [ m1,1]    [ m1,1]    \     [ υ, 1]


                 d             d                    d

 

We = ( [w,1][w,1]; [w,1] )

 

Оба силлогизма (1) и (2) можно  рассматривать вместе, если ввести запись в такой форме:


(3)        [r1,2; s1,2  ]      [ r2,3; s2,3]     \    [r1,3; s1,3]

                            d                     d                       d

 

 

  1. r2,1 = r3,2 = 0

s2,1 = s3,2 =1

 

 

Для случая (3) в литературе 1990г. имеется полное решение, т.е. когда wi ¹ qi и это решение дает:

d- = min ( …в обл….)

d+ = max ( …в обл….)

y- = min ( …в обл….)

y+ = max ( …в обл….)

получается всего 36 формул, содержащихся в этом решении, из этих формул получается следующее:

Cиллогизм 1 может быть записан так:


          a=>b     b=>c               a=>c

           {1}      {1}         \     {1}

            d           d                     d

 

 

в контексте 

W = ( [1/N ,1][1/N,1]; [1/N,1] )

Одна из общепринятых лингвистических формул контекста  такова “существует хотя бы по-одному a, b и c”. В этих условиях имеет место силлогизм 1. Одна из принятых лингвистических форм его прочтения такая: «Из того, что “все a – суть b” и “ все b – суть c” следует, что “ все a – суть c”»

Это известный силлогизм  Аристотеля “AAA” и он означает:








 


 

 

 

 

Результат 1:

Один из истинных силлогизмов  Аристотеля содержится в обобщенном силлогизме.

 

 

Cиллогизм 2 может быть записан так:

при m1 = m2

Информация о работе Интеллектуальные системы