La teoría de promesas es un método de análisis adecuado para estudiar cualquier sistema de componentes que interactúan. En el contexto de la ciencia de la información , la teoría de promesas ofrece una metodología para organizar y comprender sistemas mediante el modelado de la cooperación voluntaria entre actores o agentes individuales , que hacen públicas sus intenciones entre sí en forma de promesas. La teoría de promesas se basa en la teoría de grafos y la teoría de conjuntos . [1]
El objetivo de la teoría de la promesa es revelar el comportamiento de un todo adoptando el punto de vista de las partes en lugar del del todo. En otras palabras, es una visión del mundo desde abajo hacia arriba y construccionista. La teoría de la promesa no es una tecnología ni una metodología de diseño. No defiende ninguna postura ni principio de diseño, excepto como método de análisis. [2]
La teoría de la promesa se utiliza en una variedad de disciplinas que van desde la gestión de redes ( SDN ) [3] y sistemas informáticos [4] hasta las organizaciones [5] y las finanzas. [6]
Una forma temprana de la teoría de la promesa fue propuesta por el físico y científico informático Mark Burgess en 2004, [3] inicialmente en el contexto de la ciencia de la información, con el fin de resolver problemas observados con el uso de lógicas basadas en obligaciones en esquemas de gestión informática, en particular para la gestión basada en políticas . [7]
Una colaboración entre Burgess y el informático holandés Jan Bergstra perfeccionó el modelo de promesa, que incluía la noción de imposiciones y el papel de la confianza. La cooperación dio lugar a varios libros y numerosos artículos científicos que abarcaban una gama de aplicaciones diferentes. [1] [6] [8] [9] [10] [11] [12] [13]
A pesar de que la teoría de las promesas tiene aplicaciones más amplias, Burgess la propuso originalmente como una forma de modelar el software de gestión informática CFEngine y su comportamiento autónomo. CFEngine se venía desarrollando desde 1993 [4] y Burgess había descubierto que las teorías existentes basadas en obligaciones no eran adecuadas porque "eran meras ilusiones". [14] En consecuencia, CFEngine utiliza un modelo de autonomía (tal como lo implica la teoría de las promesas) como una forma de evitar la inconsistencia distribuida en las políticas y como un principio de seguridad contra ataques externos. A enero de 2023, más de 2700 empresas utilizan CFEngine en todo el mundo. [15]
Fuera de las disciplinas de gestión de configuración y DevOps , la teoría de la promesa tuvo un comienzo lento. En el ensayo Promise You A Rose Garden (2007) [14] Burgess utilizó un estilo más popular y menos académico, pero no logró ampliar la visibilidad general del concepto en ese momento. Unos años más tarde, en 2012, las cosas cambiaron cuando Cisco comenzó a utilizar la teoría de la promesa en sus crecientes iniciativas SDN , también conocidas como Application Centric Infrastructure (ACI). [16] Los medios tecnológicos retomaron el uso en 2013, [17] [3] [18] [19] lo que llevó a una serie de aplicaciones de la teoría de la promesa en nuevas disciplinas en los años siguientes, como la biología, [20] la gestión de la cadena de suministro, [21] el diseño, [22] los negocios/liderazgo [23] [5] y la arquitectura de sistemas. [24] Tim O'Reilly analiza la teoría de la promesa en su bestseller WTF: What's the Future . [25]
La teoría de la promesa se describe como una herramienta de modelado o un método de análisis adecuado para estudiar cualquier sistema de componentes que interactúan. No es una tecnología ni una metodología de diseño y no defiende ninguna postura ni principio de diseño, excepto como método de análisis. [ cita requerida ]
En la teoría de la promesa, se dice que los agentes son autónomos , lo que significa que son causalmente independientes entre sí. Esta independencia implica que no pueden ser controlados desde afuera, que originan sus propios comportamientos completamente desde dentro, pero que pueden confiar en los servicios de los demás mediante la realización de promesas para indicar cooperación. Por lo tanto, los agentes son autodeterminados hasta el momento en que renuncian parcial o totalmente a su independencia al prometer aceptar la guía de otros agentes. [ cita requerida ]
Los agentes pueden ser tan simples como un encabezado en un documento HTML o tan complejos como un servidor de nombres en una red (por ejemplo, un servidor DNS ). Independientemente de la complejidad interna, los agentes encapsulan mecanismos que hacen y mantienen promesas. Un encabezado HTML hace promesas sobre su propia representación a través de declaraciones CSS . [26] Un servidor DNS promete proporcionar respuestas a preguntas sobre nombres de dominio, nombres de host y direcciones IP. [14] El primero es extremadamente simple, el segundo mucho más sofisticado. Estas diferencias en la complejidad del proceso interno conducen a una definición de la llamada escala semántica de la complejidad del agente.
En la teoría de la promesa, los agentes pueden tener intenciones . Una intención puede concretarse mediante un comportamiento o un resultado objetivo. Por lo tanto, las intenciones se concretan al definir un conjunto de resultados aceptables asociados con cada intención. Un resultado es más útil cuando describe un punto fijo matemático o invariante en alguna descripción de estados, porque este puede ser estable tanto dinámica como semánticamente.
Cada intención expresa un resultado cuantificable, que puede describirse como un estado de un agente. Las intenciones a veces se describen como objetivos, metas o estados deseados. La selección de intenciones por parte de un agente se deja sin explicar para evitar preguntas sobre el libre albedrío. [1]
Los agentes expresan sus intenciones entre sí mediante promesas o imposiciones . Esto les proporciona una medida con la que pueden evaluar si las intenciones se cumplen o no (es decir, si las promesas se mantienen). [ cita requerida ]
Las promesas surgen cuando un agente comparte una de sus intenciones con otro agente de manera voluntaria (por ejemplo, al publicar su intención). El método de compartir queda a criterio del modelador.
Por ejemplo, un objeto, como la manija de una puerta, es un agente que promete ser adecuado para abrir una puerta, aunque podría usarse para otra cosa (por ejemplo, para cavar un hoyo en el suelo). No podemos suponer que los agentes aceptarán las promesas dadas en el espíritu con el que fueron concebidas, porque cada agente tiene su propio contexto y capacidades. La promesa de que la manija de una puerta es adecuada podría expresarse en virtud de su forma física o al tener una etiqueta escrita adherida en algún idioma. Un agente que usa esta promesa puede evaluar si el agente cumple su promesa o si es adecuado para el propósito . Cualquier agente puede decidir esto por sí mismo.
Una promesa puede ser utilizada voluntariamente por otro agente para influir en el uso que éste hace de ella. Las promesas facilitan la interacción, la cooperación y tienden a maximizar un resultado previsto. Las promesas no son órdenes ni controles deterministas. [ cita requerida ]
Las obligaciones , más que las promesas, han sido la forma tradicional de modelar el comportamiento, en la sociedad, en la tecnología y en otras áreas. [27] Si bien todavía es dominante, el modelo basado en obligaciones tiene debilidades conocidas, en particular en áreas como la escalabilidad y la previsibilidad, debido a su rigidez y falta de dinamismo.
El punto de partida de la teoría de la promesa con respecto a la lógica de la obligación es la idea de que todos los agentes de un sistema deben tener autonomía de control, es decir, que no pueden ser coaccionados ni forzados a adoptar un comportamiento específico. Las teorías de la obligación en informática suelen considerar una obligación como una orden determinista que causa el resultado propuesto. En la teoría de la promesa, un agente solo puede hacer promesas sobre su propio comportamiento. Para los agentes autónomos, no tiene sentido hacer promesas sobre el comportamiento de otro.
Aunque esta suposición podría interpretarse moral o éticamente, en la teoría de la promesa se trata simplemente de un principio de ingeniería pragmática, que conduce a una declaración más completa de los roles previstos de los actores o agentes en un sistema: cuando no está permitido hacer suposiciones sobre el comportamiento de otros, uno se ve obligado a documentar cada promesa de forma más completa para poder hacer predicciones, que a su vez revelarán posibles modos de falla por los cuales el comportamiento cooperativo podría fallar.
Los sistemas de mando y control, como los que motivan las teorías de la obligación, pueden reproducirse fácilmente si los agentes prometen voluntariamente seguir las instrucciones de otro agente (lo que también se considera un modelo de comportamiento más realista). Como siempre es posible revocar una promesa, no existe contradicción entre la cooperación voluntaria y el mando y control.
En filosofía y derecho, una promesa suele considerarse como algo que lleva a una obligación; la teoría de la promesa rechaza ese punto de vista. Bergstra y Burgess afirman que el concepto de promesa es completamente independiente del de obligación. [27]
Las promesas pueden ser valiosas para el destinatario o incluso para el que las hace, pero también pueden implicar costos. Por lo tanto, existe una historia económica que contar sobre las promesas. La economía de las promesas motiva naturalmente el comportamiento egoísta de los agentes , y la teoría de las promesas puede verse como una motivación para la toma de decisiones en la teoría de juegos , en la que múltiples promesas desempeñan el papel de estrategias en un juego. [28]
La teoría de la promesa también se ha utilizado para modelar y crear nuevos conocimientos sobre los sistemas monetarios . [6]
En informática , la teoría de la promesa describe servicios regidos por políticas, en un marco de agentes completamente autónomos, que se ayudan entre sí únicamente mediante la cooperación voluntaria. Es un marco para analizar modelos realistas de redes modernas y un modelo formal para la inteligencia de enjambre . [29]
La teoría de promesas puede ser vista como un marco teórico lógico y gráfico para comprender relaciones complejas en redes, donde se deben cumplir muchas restricciones, que se desarrolló en Oslo University College , basándose en ideas de varias líneas de investigación diferentes realizadas allí, incluida la gestión basada en políticas, la teoría de grafos, la lógica y la gestión de la configuración . Utiliza un enfoque constructivista que construye estructuras de gestión convencionales a partir de grafos de agentes autónomos que interactúan. Las promesas pueden afirmarse ya sea de un agente a sí mismo o de un agente a otro y cada promesa implica una restricción en el comportamiento del agente prometedor. La atomicidad de las promesas las convierte en una herramienta para encontrar contradicciones e inconsistencias.
Las promesas realizadas por los agentes autónomos conducen a una estructura de grafos aprobada mutuamente , que a su vez conduce a estructuras espaciales en las que los agentes representan ubicaciones puntuales. Esto permite que los modelos de espacios inteligentes , es decir, espacios etiquetados semánticamente o incluso funcionales, como bases de datos, mapas de conocimiento, almacenes, hoteles, etc., se unifiquen con otras descripciones más convencionales del espacio y el tiempo. El modelo de espacio-tiempo semántico utiliza la teoría de las promesas para discutir estos conceptos de espacio-tiempo.
Las promesas son matemáticamente más primitivas que las adyacencias de grafos, ya que un vínculo requiere el consentimiento mutuo de dos agentes autónomos, por lo que el concepto de un espacio conectado requiere más trabajo para construir la estructura. Esto las hace matemáticamente interesantes como una noción de espacio y ofrece una forma útil de modelar sistemas de información físicos y virtuales. [30]
Los organizadores de Open Leadership Network y Open Space Technology, Daniel Mezick y Mark Sheffield, invitaron al creador de la teoría de la promesa, Mark Burgess, a dar una conferencia magistral en la conferencia de Open Leadership Network en Boston en 2019. Esto llevó a aplicar el desarrollo formal de la teoría de la promesa para enseñar conceptos ágiles. Burgess luego amplió las notas de la conferencia a un curso de estudio en línea, [31] lo que, según él, impulsó un estudio aún más profundo de los conceptos de sistemas sociales, incluida la confianza y la autoridad. [32] [33]