complejo de reglas

Un complejo de reglas es un conjunto que consta de reglas y/u otros complejos de reglas. Esta es una generalización de un conjunto de reglas y proporciona una herramienta para investigar y describir cómo las reglas pueden funcionar como valores, normas , reglas de juicio o prescriptivas y meta-reglas. También es posible examinar objetos que consisten en reglas como roles, rutinas , algoritmos , modelos de realidad, relaciones sociales e instituciones. En la teoría de juegos , las reglas y los complejos de reglas se pueden utilizar para definir el comportamiento y las interacciones de los jugadores (aunque en la teoría de juegos generalizada , las reglas no son necesariamente estáticas. Los complejos de reglas están especialmente asociados con el sociólogo Tom R. Burnsy Anna Gomolinska y el Círculo Teórico de Uppsala .

En este contexto, una regla es un tipo de conocimiento (en el sentido de la lógica epistémica (ver Fagin, 2003)) formalizado como un conjunto de premisas o condiciones, un conjunto de justificaciones y un conjunto de conclusiones (esto puede escribirse como un triple, una regla ). Los elementos de X deben cumplirse y los de Y pueden cumplirse. Si Y , las justificaciones, no se cumplen, entonces no se puede aplicar la regla. Si X , las premisas, obtener y las justificaciones no se sabe que no se aplican, entonces se aplica la regla y se concluye. Si X e Y están vacíos, entonces la regla es axiomática (un "hecho" o directiva incondicional). Así, las reglas pueden ser vistas como los objetos básicos del conocimiento. ${\ estilo de visualización r: = (X, Y, \ alfa)}$ ${\ estilo de visualización \ alfa}$

Formalmente, un complejo de reglas es la clase que contiene todos los conjuntos finitos de reglas, se cierra bajo la unión teórica de conjuntos y el conjunto potencia , y conserva la inclusión:

Esto significa que para complejos de reglas y , también son complejos de reglas. Un complejo es un subcomplejo del complejo si o puede obtenerse eliminando algunas reglas y/o paréntesis redundantes (Burns, 2005). ${\ estilo de visualización C_ {1}}$ ${\ estilo de visualización C_ {2}}$ $C_{1}\cap C_{2},C_{1}-C_{2}$ ${\ estilo de visualización B}$ ${\ estilo de visualización A}$ ${\ estilo de visualización B = A}$ ${\ estilo de visualización B}$ ${\ estilo de visualización A}$ ${\ estilo de visualización A}$

Juegos integrados socialmente: una perspectiva de computación granular. En SK Pal, L. Polkowski y A. Skowron (eds). "Computación neural aproximada: técnicas para computar con palabras", Springer, Berlin Heidelberg, páginas 411–434.