Основным понятием институциональной экономики является понятие «Институт».
Институциональная экономика – область знаний о правилах экономического поведения: о том, как они «работают», как формируются и меняются, с какими издержками и выгодами связано их создание, изменение, соблюдение и нарушение [1–3]. «Институты имеют значение» – в этой короткой фразе нобелевского лауреата Д. Норта выражен смысл переворотах во взглядах экономистов, который произошел в XX веке [1, c. 5].
Поскольку само понятие институциональной экономики является производным от понятия института, для более глубокого понимания ее предмета важно ввести достаточно четкое и строгое представление о формах описания институтов.
Все множество форм описания институтов можно подразделить на два типа – явные и неявные. Описания первого типа характеризуют с той или иной степенью полноты все компоненты, в единстве образующие (экономический) институт, описания второго типа отражают последствия функционирования или использования института [3, c. 18].
К явным формам описания институтов можно отнести следующие формы: словесное, качественное описание; логическое описание и алгоритмические формы описания. Для логического и алгоритмического описания институтов достаточно эффективным средством является четкая формальная логика [3].
При анализе полной (стандартизированной) логической структуры института и предписаний, входящих в алгоритмы описания институтов можно заметить, что разные субъекты, оказавшись в одной и той же начальной ситуации, в силу несовпадающих ограничений своей рациональности могут приходить к разным выводам относительно следования или не следования норме [2–3]. Ограниченность рациональности проявляется в неполноте информации, которой располагает индивид при принятии решений, в ограниченности вычислительных возможностей, т.е. неспособности полностью учитывать значительное число факторов, проводить долгие и сложные вычисления и т.п. Другими словами, полная логическая структура может института является нечеткой логической структурой. Такие нечеткие структуры могут быть описаны с использованием теории нечетких множеств и нечеткой логики [4–7].
В данной работе мы предлагаем рассмотрение нечеткой логической формы описания института с использованием теории нечетких множеств и нечеткой логики.
Основные понятия теории нечетких множеств и элементов нечеткой логики будем рассматривать как в [4–7].
Нечетким множеством на универсальном множестве Х называется совокупность пар (μА(х), х), где μА(х) – степень принадлежности элемента х∈Х нечеткому множеству . Степень принадлежности – это число из диапазона [0,1]. Чем выше степень принадлежности, тем большей мерой элемент универсального множества соответствует свойствам нечеткого множества. Функцией принадлежности называется функция, позволяющая для произвольного элемента универсального множества вычислить степень его принадлежности нечеткому множеству.
Также, как в основе теории четких множеств используется четкая логика, так и в случае нечетких множеств используется нечеткая логика.
Нечетким высказыванием называется утверждение или повествовательное предложение, относительно которого можно судить о степени его истинности или ложности в настоящее время. Итак, степень ложности каждого нечеткого высказывания принимает значение из интервала [0,1], при чем 0 и 1 являются предельными значениями степени истинности и совпадают с понятием ложности и истинности для четких высказываний.
Индифферентностью назовем нечеткое высказывание, которое имеет значение степени истинности, равное 0,5, так как оно истинно в той же мере, в которой и ложно.
Нечеткие высказывания, в отличие от четких высказываний, будем обозначать прописными латинскими буквами с тильдой. Поскольку в нечеткой логике степень истинности каждого высказывания рассматривается относительно его содержания, то нечеткое высказывание и степень его истинности будем обозначать одной и той же буквой.
Нечеткие высказывания бывают простые и сложные. Сложные нечеткие высказывания создаются из простых, например и с помощью нечетких логических операций отрицания (), конъюнкции (), дизъюнкции (), импликации (), эквивалентности (), степени истинности которых определяются соответственно следующими выражениями:
;
;
;
;
Нетрудно убедится в том, что высказывания в определениях логических операций над нечеткими высказываниями в случаях, когда степень истинности высказываний и принимает только два значения 0 и 1, определяют соответствующие логические операции над четкими высказываниями.
Рассмотрим так же нечеткие логические формулы, которые определены не на четких определенных переменных, а на любом множестве Х. Свои значение эти формулы принимают из отрезка [0,1]. Такие нечеткие логические формулы называются нечеткими предикатами [5–7].
Пусть нечеткий предикат определен на множестве . Тогда для ∀x∈X определено значение μА(х) предиката .
Величину назовем степенью всеобщности свойства элементов множества Х. Если , то на логическую формулу может быть навешен квантор нечеткой всеобщности , который читается «для всех ...», или «для любого ...».
Пусть – нечеткая логическая формула от одной переменной, которая принимает значения из множества Х. Выражение означает «для любого x∈X степень истинности больше или равна 0,5».
Исторически и логически первой формой явного описания институтов выступает их словесное, качественное описание. Соответственно, понятию института можно дать следующее определение [1–5]:
Институт – это совокупность, состоящая из правила или нескольких правил, в составе которых выделяются: ситуация (условия приложения правила), индивид (адресат правила), предписываемое действие (содержание правила), санкции за неисполнение предписания, а также субъект, применяющий эти санкции к нарушителю, или гарант правила.
Словесное описание институтов является важнейшим источником информации о существе социально одобряемого или допустимого порядка действий нуждается в определенном упорядочении и стандартизации. Достаточно эффективным средством для этого может служить четкая формальная логика [3], а в условиях неопределенности (нечеткости) – нечеткая формальная логика [4–7]. Соответствующие формы описания институтов можно назвать логической формой и нечеткой логической формой.
В основу логического и нечеткого логического описания института могут быть положены представления о том, что разнообразие норм определяется следующими шестью «элементами» или «частями» нормы: содержанием, условиями приложения, адресатом, характером, перечнем санкций и гарантом норм. Содержание нормы является действие, которое может, должно или не должно быть выполнено; условия приложения – это указанная в норме ситуация, с наступлением которой следует или допустимо реализовать предусмотренное данной нормой действие; субъект – это лицо или группа лиц, которым адресована норма; характер нормы определяется тем, обязывает она, разрешает или запрещает выполнить некоторое действие; перечень санкций – это набор действий, предпринимаемых в отношении субъекта нормы ее гарантом в случае выявления последним отклонений в действиях субъекта в соответствующих условиях приложения от предписываемого содержания нормы. Гарант нормы – индивид, определенная группа индивидов, специализированная организация или группа организаций, либо все множество индивидов, применяющие санкции к субъектам нормы, отклоняющимся в своих действиях от ее содержания [3].
Итак, полная (стандартизированная) нечеткая логическая структура института включает описания: четкого содержания (A); нечетких условий приложения ; субъекта (S); нечеткого характера ; четкого перечня санкций (P) и гаранта нормы .
Введенные символические обозначения элементов института вместе со стандартными средствами нечеткой формальной логики, определения и описание которых приведены выше, позволяют реконструировать следующее нечеткое логическое определение института, которое уточняет его словесное (качественное) определение, приведенное выше:
(1)
где
Эта нечеткая логическая формула может быть прочитана следующим образом: нечеткий набор нечетко является институтом, когда для любого индивида, который является субъектом нормы , в любой момент времени степень истинности больше или равна 0,5.
Предложенная нечеткая логическая формула (1) в случаях, когда степень истинности принимает только два значения 0 и 1, является четкой логической формулой для логического описания института [3, c. 21].
Нечеткая логическая формула института (1) представляет явное выражение всех существенных его элементов, а так же нечетких логических временных и причинных связей между этими элементами. Тем самым эта формула характеризует экономические институты как особые системы действий. Если опираться в исследованиях на эту формулу, то стандартизировано нечетко описать любой институт – значит заменить использованные в ней символические обозначения конкретными качественными и / или количественными описаниями элементов нормы, включая характеристику времени задержки при применении санкций (Δt), то есть специфицировать все переменные и константы, входящие в запись формулы (1) [3].