Анализ мнений и многоагентные системы

Размещено на http://www.allbest.ru/

УДК 007.5:658.5

Анализ мнений и многоагентные системы^** Работа выполнена при финансовой поддержке РФФИ (проект № 05-01-00914а)

М.А. Михеенкова 125190, г. Москва, ул. Усиевича, д.20,ВИНИТИ РАН, mmikh@viniti.ru, В.К. Финн 125190, г. Москва, ул. Усиевича, д.20,ВИНИТИ РАН, finn@viniti.ru,

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

решение принятие агент поведение

1. Формализация действия агентов

Предлагаемая работа лежит в стороне от общего подхода, принятого в теории многоагентных систем, и представляет собой попытку формализации лишь некоторых аспектов действия агентов в таких системах. Мы будем опираться на вариант описания многоагентной системы (МАС), предназначенный для характеризации ее действий [Тарасов, 2002].

Итак, многоагентная система MAS = (A, ACT, , L). Здесь А = {Х₁, …, Х_m} - множество агентов, АСТ = {p₁, …, p_n} - множество действий агентов в МАС, : А2^АСТ, = _i - множество действий агента X_iА, L - подмножество расширенного множества АСТ*, которое описывает действие всей МАС.

Для описания действий агентов воспользуемся введенным в [Гусакова и др., 2001] формальным аппаратом, предназначенным для анализа мнений. Будем считать, что отношение агента к действию может быть положительным (агент выполняет его) - (+1), отрицательным - (-1), противоречивым (агент может как выполнить, так и не выполнить действие) - (0), и неопределенным (неизвестно, выполняет ли агент действие) - . Пусть t - логическая истина, f - логическая ложь, J - оператор, J = t, если v() = , J = f, если v() , где v[] - функция оценки, а переменная принимает значения из {1, -1, 0, } (“фактическая истина”, “фактическая ложь”, “фактическое противоречие”, “неопределенность”, соответственно). Таким образом, J₁р означает, что действие р выполняется, J-₁р - действие р не выполняется, J₀р - выполнение действия противоречиво, Jр - выполнение действия не определено. Тогда, по аналогии с указанной работой, мы можем назвать мнением _j j-го агента (X_j) максимальную конъюнкцию атомов p_n, _j p₁&…&p_n, где _i^(j) {1, 0, }, i = 1, …, n; j = 1, …, 4ⁿ (“” - предикат графического равенства формул). Множество членов этой конъюнкции обозначим [_j]={p₁, …, p_n}. Тогда множество возможных атомарных мнений (действий) U⁽²⁾ = {(p_i)& (_i{1, -1, 0, }), i =1, …, n}.

2. Аргументация

Предлагаемая формализация наиболее естественным образом интерпретируется для интеллектуальных (в частности, интенциональных) агентов, если воспользоваться предложенной в [Финн, 1996] логикой аргументации. В самом деле, можно представить, что когнитивный рассуждающий агент действует (выбирает или не выбирает то или иное действие) на основании некоторых аргументов (представляющих собой, например, внутренние убеждения или мотивы). Тогда А - множество аргументов (аргументационная база) относительно принятия или непринятия некоторых утверждений (выполнения или невыполнения некоторых действий), например, составляющих действия АСТ = {p₁, …, p_n} многоагентной системы МАS. Определим функции g⁺(p_i) и g-(p_i) следующим образом: g: АСТ 2^A, где {+, -}. Таким образом, для данного множества АСТ определяются функции g⁺: АСТ 2^A и g-: АСТ 2^A.

Атомарная оценка для множества истинностных значений {1, -1, 0, } определяется следующим образом (см. [Финн, 1996]):

v[p_i] = 1 g+(p_i) , g-(p_i) = ;

v[p_i] = -1 g+(p_i) = , g-(p_i) ;

v[p_i] = 0 g+(p_i) , g-(p_i) ;

v[p_i] = g+(p_i) = g-(p_i) = ;

Разумеется, каждый агент X_j имеет свой набор аргументационных функций , , = {(p₁), …, (p_n)}, {+, -}. При этом предполагается, что агент действует рационально, т.е. X_ip_j((p_j)(p_j)=).

Отметим, что аргументационная база А рассматривается как общая для всех агентов - это может быть, к примеру, объединение аргументационных баз всех агентов. Однако если речь идет об описании агента (о чем будет сказано ниже), аргументационная база j-го (j = 1, …, m) агента А_j, наряду с его аргументационной функцией = (p₁), ..., (p_n), (p₁), ..., (p_n), может включаться в это описание.

3. ДСМ-метод и поведение агентов

Исходным предикатом используемого в указанной модели ДСМ-метода является X₁Y, интерпретируемый как «объект X обладает множеством свойств Y». Массив начальных данных (база данных и база фактов) содержит высказывания типа “высказывание «объект C обладает множеством свойств A» имеет истинностную оценку , n” ({1, -1, 0, }, n - номер шага вычислений, выражающий степень правдоподобия истинностного значения). В ДСМ-языке это высказывание имеет вид J_, n(C₁A), где J_, n - определенный выше оператор Россера-Тюркетта. J_, n = t, если v[] = , n; J_, n = f, если v[] , n, v[] есть функция оценки, , n - “внутренние” истинностные значения для представления фактов, t, f - “внешние” истинностные значения двузначной логики. В результате применения ДСМ-рассуждений порождаются высказывания вида J_, n(C₂A) (n>0) - “высказывание «подобъект C есть причина множества свойств A» имеет истинностную оценку , n”, а также высказывания вида J_, n(C ₃ Q) (n>0) - “высказывание «мнение Q есть следствие характеристик субъекта C» имеет истинностную оценку , n”. Порождаемые предикаты представляют собой предикаты причинности, формализующие причинно-следственные зависимости типа «сходство субъектов поведения влечет сходство действий этих субъектов» (₂, прямой ДСМ-метод) и «сходство мнений субъектов есть следствие сходства самих субъектов» (₃, обратный ДСМ-метод). Высказывания J_, 0(C₁A) суть факты, J_, n(C_jA) (j = 1, 2, n>0) и J_, n(C ₃А) (n>0) - гипотезы.

Как видно из сказанного, анализ средствами ДСМ-метода предполагает определение сходства рассматриваемых объектов и их свойств. В нашем случае объектами анализа являются агенты, их свойствами - определенные выше мнения [_j], [] . При этом, как уже говорилось, описание самих агентов, может включать самые различные характеристики, в том числе, аргументационную базу и аргументационные функции агента, Аg_j = C_j, А_j, , или Аg_j = C_j, А_j, . Если аргументационная база общая для всех агентов, ее не нужно включать в описание Аg_j = C_j, . Здесь C_j - некие характеристики агента, существенные для используемой модели МАС. Так, например, интенциональный агент может быть описан тройкой (B, D, I) (см. [Тарасов, 2002]), где BBel - убеждения агента, DDes - его желания, IInt - его намерения. Сходство агентов определяется как Аg_i П Аg_j = C_iC_j, , где C_i C_j. - сходство выбранных характеристик i-го и j-го агентов, - пересечение кортежей = (p₁), …, (p_n), (p₁), …, (p_n) и = (p₁), ..., (p_n), (p₁), ..., (p_n), определяемое покомпонентным пересечением (p_l) (p_l), где {+, -}, l = 1, …, n (n - число утверждений множества АСТ = {p₁, …, p_n}), (p_l) А, (p_l) А, (А - множество аргументов (аргументационная база) относительно принятия или непринятия действий из АСТ). Подчеркнем, однако, что выбор характеристик описания агентов остается за рамками нашей работы и целиком находится в компетенции создателей МАС.

3.2 Поведение агентов

Список литературы

[Гусакова и др., 2001] Гусакова С.М., Михеенкова М.А., Финн В.К. О логических средствах анализа мнений // НТИ. Сер. 2. - 2001. _ № 5. _ с. 4_22.

[Тарасов, 2002] Тарасов В.Б. От многоагентных систем к интеллектуальным организациям: философия, психология, информатика. - М.: УРСС, 2002.

[Финн, 1996] Финн В.К. Об одном варианте логики аргументации // НТИ, сер. 2, 1996, № 5 - 6.

[Финн, 1999] Финн В.К. Синтез познавательных процедур и проблема индукции // НТИ, сер.2, 1999, №1 - 2.

[Финн и др., 2002] Финн В.К., Михеенкова М.А. О логических средствах концептуализации анализа мнений // НТИ. Сер. 2. - 2002. _ № 6. _ с. 4_22.

[Финн и др., 2005] Финн В.К., Михеенкова М.А. Логические средства формализации закрытых опросов и проблемы распознавания рациональности мнений // Материалы I Всероссийской конференции «Сорокинские чтения-2004», МАКС Пресс, 2005.

[Финн, 2006] Финн В.К. Об одном классе логик аргументации // Материалы настоящей конференции.

Размещено на Allbest.ru