Kompleks reguł

Zespół reguł to zestaw składający się z reguł i/lub innych kompleksów reguł. Jest to uogólnienie zestawu reguł i zapewnia narzędzie do badania i opisywania, w jaki sposób reguły mogą funkcjonować jako wartości, normy , reguły osądzające lub nakazowe oraz metareguły. Możliwe jest również zbadanie obiektów składających się z reguł, takich jak role, rutyny , algorytmy , modele rzeczywistości, relacje społeczne i instytucje. W teorii gier reguły i zespoły reguł mogą być używane do definiowania zachowań i interakcji graczy (chociaż w uogólnionej teorii gier , reguły niekoniecznie są statyczne. Kompleksy reguł są szczególnie kojarzone z socjologiem Tomem R. Burnsem i Anną Gomolińską oraz Uppsala Theory Circle.

Formalizowanie

Zasady

W tym ujęciu reguła to rodzaj wiedzy (w sensie logiki epistemicznej (zob. Fagin, 2003)) sformalizowany jako zbiór przesłanek lub warunków, zbiór uzasadnień i zbiór wniosków (można to zapisać jako trzykrotnie, reguła ${\ Displaystyle r: = (X, Y, \ alfa)}$ ). Elementy X powinny się utrzymać, a Y mogą się utrzymać. Jeśli Y , uzasadnienia, nie są spełnione, reguła nie może być zastosowana. Jeśli X $,$ a uzasadnienia nie mają zastosowania, wówczas reguła jest stosowana i zawarta. Jeśli X i Y są puste, wówczas reguła jest aksjomatyczna („fakt” lub dyrektywa bezwarunkowa). Reguły można zatem postrzegać jako podstawowe przedmioty wiedzy.

Kompleks reguł

Formalnie kompleks reguł to klasa, która zawiera wszystkie skończone zbiory reguł, jest zamknięta w teorii mnogościowej unii i zbiorze mocy oraz zachowuje inkluzję:

Każdy skończony zbiór reguł jest zbiorem reguł;
do ${\ Displaystyle C_ {1}, C_ {2}}$ są kompleksami reguł, to i $} \displaystyle P(C_{1})}$ ${\ Displaystyle C_ {1} \ kubek C_$ to kompleksy reguł;
Jeśli do ${\ displaystyle C_ {1} \ subseteq C_ {2}}$ i ${\ displaystyle C_ {2}}$ jest zespołem reguł, to jest regułą do $\ displaystyle C_ {2}}$ złożony.

Oznacza to, że dla kompleksów reguł $,$ ${2}}$ \ do $\ Displaystyle C_ {1} \ cap C_ { 2},C_{1}-C_{2}}$ to także zespoły reguł. Kompleks jest podkompleksem kompleksu, $jeśli$ lub B $B$ $= A$ ${\ displaystyle B}$ można uzyskać z ${\ displaystyle A}$ poprzez usunięcie niektórych reguł z ${\ displaystyle A}$ i / lub zbędnych nawiasów (Burns, 2005).

Fagin, Ronald i in. Rozumowanie o wiedzy. Cambridge: MIT Press, 2003.
Burns TR, Roszkowska E. (2005) Uogólniona teoria gier: założenia, zasady i opracowania ugruntowane w teorii społecznej, w poszukiwaniu ładu społecznego, „Studia z logiki, gramatyki i retoryki”, tom. 8(21):7–40.
Gomolińska Anna, (1999) Kompleksy reguł reprezentacji aktorów społecznych i interakcji. „Studia z logiki, gramatyki i retoryki”, tom 3 (16): 95–108.
Gomolińska,Anna (2004) Podstawowe pojęcia matematyczne teorii

gry osadzone społecznie: szczegółowa perspektywa obliczeniowa. W SK Pal, L. Polkowski i A. Skowron (red.). „Przetwarzanie zgrubne neuronowe: techniki przetwarzania za pomocą słów”, Springer, Berlin Heidelberg, strony 411–434.