Автор работы: Пользователь скрыл имя, 07 Октября 2012 в 21:27, контрольная работа
В данной работе будут рассматриваться многоагентные интеллектуальные системы (МАС). В центре внимания будут МАС с разумными агентами (МАС-РА).
С точки зрения других МАС МАС-РА – система с повышенным сервисом. С общей точки зрения они должны стать важнейшей фазой на пути к информационным системам будущего.
Информационные системы будущего – ИР (искусственно-разумные).
Пример:
Пусть X1 - наличие или отсутствие автомобиля Х2 - наличие или отсутствие компьютера Х3 - наличие или отсутствие стиральной машины у - априорное обеспечение техникой
Введем априорное обобщение по у:
у = (высокое, среднее, низкое)
высокое - все 3 предмета,
среднее - 2 предмета, низкое – 1 предмет.
Тогда получим вторичную переменную
у = f0(Х1,Х2,Х3)
А если при измерениях ввести признак апостериорной обеспеченности z:
z = (высокое, среднее, низкое, затрудняюсь ответить)
z = fl(Xl,X2,X3)
В априорном
обобщении есть наш
произвол, а в
апостериорном обобщении
Замечания:
Априорное понятие (низкое, высокое, и т.д.) есть огрубление апостериорного качественного значения априорным качественным значением. Этот вид погрешности нами рассмотрен. Программа исследования на ДА-системе зависит от цели, а результат всегда представляется в виде текста на языке очень близком к ЕЯ и содержащим значения признаков.
§5. ДА и практические вопросы
Рассмотрим практические вопросы с точки зрения ДА программы:
из предпосылок => результат
То, что при формулировке вопросов называется результат, будем рассматривать как множество значений функций соответствующих детерминации, а предпосылки как аргумент детерминации у нас были сформулированы практические вопросы.
Вопросы:
1). Предсказание результата исходя из существующего
положения как предпосылок.
Решение заключается
в уточнении контекста и опреде
Достаточно точных детерминаций, связывающих эти предпосылки с возможными результатами (функциями) этих детерминаций.
Это: 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 верных.
Pω1 (a) = N(a ω1)>0 / N
Pω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]
A
[ri,j;si,j] δ=[0;1]
Ω=Ω1 ([ω1, Ө1]; Ω2[ω2,Ө2]; Ω3[ω3,Ө3])
ω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. Примеры истинных детерминационных силлогизмов.
Точность K L \ R
Полнота M N S
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
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