ФОРМАЛИЗАЦИЯ АГЕНТА:

ДОКСАСТИЧЕСКИЕ И ДЕОНТИЧЕСКИЕ

МОДАЛЬНОСТИ

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

Таким образом, при формализации агента следует использовать как

доксастические модальности (модальности мнения), так и

деонтические модальности (модальности действий и норм).

К числу модальностей мнения относятся: «уверен», «предполагаю»,

«сомневаюсь», «отвергаю». В частности, исходное мнение агента может выступать в форме предположения (гипотезы) – базового

предварительного (возможного) представления агента о мире и других агентах, которое может выдвигаться в интересах запуска

механизма действия, направленного на его подтверждение, т.е. формирование уверенности.

Примерами деонтических модальностей являются слова «обязательно», «разрешено», «запрещено».

Деонтические высказывания часто выражаются также с помощью слов «может» и «должен».

ИНФОРМАЦИОННАЯ СТРУКТУРА АГЕНТА: ЕДИНСТВО ОПИСАНИЙ И ПРЕДПИСАНИЙ

Функционирование любого агента опирается как на описания, так и на предписания. Описания содержат информацию о

состояниях среды, воспринимаемых агентом, а предписания – о возможных действиях агента на эту среду.

ВЫСКАЗЫВАНИЕ:

ИНФОРМАЦИОННАЯ

ЕДИНИЦА

должно быть»

Истинность (ОПИСАНИЕ)

ОБЪЕКТ ВЫСКАЗЫВАНИЕ

Полезность (ПРЕ ДПИСАНИЕ)

Истинность: соответствие между объектом и его описанием (первичен объект) Полезность: соответствие между предписанием и его объектом (первично предписание)

СВЯЗЬ МЕЖДУ ИСТИННОСТЬЮ И ВЫПОЛНЕНИЕМ ДЕЙСТВИЯ

Представления агента о мире выражаются в виде истинностных суждений описательного характера, т.е. высказываний вида p = X есть А, характеризуемых значениями истинности v V, т.е. v(p). Истинностные суждения могут применяться и при

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

ЕДИНЫЙ ПОДХОД К ОПИСАНИЮ СУЖДЕНИЙ И ОЦЕНОК АГЕНТА

С ИСПОЛЬЗОВАНИЕМ МНОГОЗНАЧНЫХ СЕМАНТИК

Суждение - высказывание p = X есть А, характеризуемое

значением истинности v V, т.е.

s = p, v(p) ,

где v(p) – функция мультиоценки истинности высказывания p P, например, v: P V4, V4 = {T, F, B, N}; T - Истина, F - Ложь,

B - Истина и Ложь одновременно, N - ни Истина, ни Ложь

Общая идея мультиоценки Дж. Данна – переход от V к 2V

Модальная оценка – высказывание p = X есть А, характеризуемое модальным значением m M , которое

может интерпретироваться с аксиологических (ценность) или

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

mod = p, m (p) ,

где m (p) – функция модальной мультиоценки высказывания p P, m: P W4,

W = {SPM, WPM, WNM, SNM }, например, WD = {О, Р, Б, З}

РОЛЬ ОБРАЗЦОВ, ОЦЕНОК, НОРМ В ТЕОРИИ АГЕНТОВ

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

При этом образец принципиально отличается от примера.

Пример говорит о том, что имеет место в действительности, а образец – о том, что должно быть.

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

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

нормы, обязательной для выполнения в данной ситуации, и оценки степени выполнения ее предписаний.

ОПРЕДЕЛЕНИЕ ПОНЯТИЯ НОРМЫ

Нормы – это социальные запреты и ограничения, накладываемые сообществом (организацией) на отдельного агента.

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

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

Еще К.Менгер установил прямую связь между предписанием и санкцией: p («обязательно p») и «если не p, то наказание или ухудшение».

С другой стороны, формирование норм предполагает согласование мнений по этим нормам

ФОРМАЛИЗАЦИЯ ПОНЯТИЯ НОРМЫ

Норму как предписание к действию можно выразить

четверкой

NR = AG, act, M4, W ,

где АG – множество агентов, которым адресована норма; act ACT – действие, являющееся объектом нормативной регуляции (содержание нормы);

W – множество миров, в которых применима норма (условия приложения, обстоятельства, в которых должно или не должно выполняться действие); М4 = {О, Р, Б, З} – множество базовых модальностей,

связанных с действием act: здесь О – «обязательно», Р – «разрешено», Б – «безразлично» (необязательно), З – «запрещено».

ИНФОРМАЦИОННЫЕ НЕ-ФАКТОРЫ В ТЕОРИИ АГЕНТОВ

НЕ-ФАКТОРЫ

НЕПОЛНОТА ПРОТИВОРЕЧИВОСТЬ НЕТОЧНОСТЬ НЕОДНОЗНАЧНОСТЬ НЕЧЕТКОСТЬ

1.Неполнота информации – локальное восприятие среды.

2.Неточность – интервальное ограничение по точности восприятия.

3.Противоречивость информации, поступающей из разных источников .

4.Неоднозначность предполагает наличие некоторого распределения информации (вероятности, возможности, правдоподобия, уверенности и пр.).

5.Нечеткость. Нечеткое значение приписывается лингвистическим,

качественным оценкам.