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

Эта статья поднимает множество проблем. Пожалуйста помоги Улучши это или обсудите эти вопросы на страница обсуждения. (Узнайте, как и когда удалить эти сообщения-шаблоны) Эта статья включает в себя список общих Рекомендации, но он остается в основном непроверенным, потому что ему не хватает соответствующих встроенные цитаты. Пожалуйста, помогите улучшать эта статья введение более точные цитаты. (Сентябрь 2020) (Узнайте, как и когда удалить этот шаблон сообщения) Эта статья включает Список ссылок, связанное чтение или внешняя ссылка, но его источники остаются неясными, потому что в нем отсутствует встроенные цитаты. Пожалуйста, помогите улучшать эта статья введение более точные цитаты. (Сентябрь 2020) (Узнайте, как и когда удалить этот шаблон сообщения) (Узнайте, как и когда удалить этот шаблон сообщения)

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

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

Правила

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

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

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

1. Любой конечный набор правил - это комплекс правил;
2. Если ${displaystyle C_ {1}, C_ {2}}$ комплексы правил, то ${displaystyle C_ {1} чашка C_ {2}}$ и ${displaystyle P (C_ {1})}$ комплексы правил;
3. Если ${displaystyle C_ {1} subteq 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.