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

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

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

Правила

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

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

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

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

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

Рекомендации

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

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