Комплекс правил

Комплекс правил — это набор, состоящий из правил и/или других комплексов правил. Это обобщение набора правил, предоставляющее инструмент для исследования и описания того, как правила могут функционировать как ценности, нормы , оценочные или предписывающие правила и метаправила. Также возможно исследовать объекты, состоящие из таких правил, как роли, рутины , алгоритмы , модели реальности, социальные отношения и институты. В теории игр правила и комплексы правил могут использоваться для определения поведения и взаимодействия игроков (хотя в обобщенной теории игр правила не обязательно статичны. Комплексы правил особенно связаны с социологами Томом Р. Бернсом и Анной Гомолинской , а также Теоретический кружок Упсалы .

Формализация

Правила

В этом контексте правило — это тип знания (в смысле эпистемической логики (см. Fagin, 2003)) формализованный как набор предпосылок или условий, набор обоснований и набор выводов (это можно записать как тройка, правило $r:=(X,Y,\alpha )$ ). Элементы X должны выполняться, а элементы Y могут выполняться. Если Y , обоснования, не выполняются, то правило не может быть применено. Если X , предпосылки, выполняются, и неизвестно, что обоснования неприменимы, то правило применяется, и $\alpha$ заключен. Если X и Y пусты, то правило является аксиоматическим («факт» или безусловная директива). Таким образом, правила можно рассматривать как основные объекты познания.

Комплекс правил

Формально комплекс правил — это класс, который содержит все конечные наборы правил, замкнут относительно теоретико- множественного объединения и степенного множества и сохраняет включение:

Любой конечный набор правил представляет собой комплекс правил;
Если $C_{1},C_{2}$ являются комплексами правил, то $C_{1}\cup C_{2}$ и $P(C_{1})$ являются комплексами правил;
Если $C_{1}\subseteq C_{2}$ и $C_{2}$ является комплексом правил, то $C_{1}$ представляет собой комплекс правил.

Это означает, что для комплексов правил $C_{1}$ и $C_{2}$ , $C_{1}\cap C_{2},C_{1}-C_{2}$ также являются комплексами правил. Комплекс $B$ является подкомплексом комплекса $A$ если $B=A$ или $B$ можно получить из $A$ удалив некоторые правила из $A$ и/или лишние круглые скобки (Burns, 2005).

Ссылки

Феджин, Рональд и др. Рассуждения о Знании. Кембридж: MIT Press, 2003.
Бернс Т.Р., Рошковска Э. (2005) Обобщенная теория игр: предположения, принципы и разработки, основанные на социальной теории, в поисках социального порядка, «Исследования по логике, грамматике и риторике», Vol. 8 (21): 7–40.
Гомолинская Анна, (1999) Комплексы правил для представления социальных акторов и взаимодействий. «Исследования по логике, грамматике и риторике», том 3 (16): 95–108.
Гомолинская, Анна (2004) Фундаментальные математические понятия теории

социально встроенные игры: детальная компьютерная перспектива. В СК Пал, Л. Полковски и А. Скоурон (ред.). «Грубые нейронные вычисления: методы вычислений со словами», Springer, Берлин-Гейдельберг, страницы 411–434.