La Teoría de la Promesa , en el contexto de la ciencia de la información , es un modelo de cooperación voluntaria entre actores o agentes individuales, autónomos que publican sus intenciones entre sí en forma de promesas. Es una forma de teoría de grafos etiquetada, que describe redes discretas de agentes unidos por las promesas unilaterales que hacen.
Una 'promesa' es una declaración de intenciones cuyo propósito es aumentar la certeza del destinatario sobre una afirmación de comportamiento pasado, presente o futuro. [1] Para que una promesa aumente la certeza, el destinatario debe confiar en el prometedor, pero la confianza también se puede construir sobre la verificación (o 'evaluación') de que las promesas anteriores se han cumplido, por lo que la confianza juega una relación simbiótica con las promesas. Cada agente evalúa su creencia en el resultado o la intención de la promesa. Por tanto, la teoría de la promesa trata sobre la relatividad de los agentes autónomos.
Uno de los objetivos de la teoría de promesas es ofrecer un modelo que unifica la descripción física (o dinámica) de un sistema de información con su significado pretendido, es decir, su semántica . Esto se ha utilizado para describir la gestión de la configuración de los recursos en los sistemas de información, entre otras cosas.
Historia
La teoría de la promesa fue propuesta por Mark Burgess en 2004, en el contexto de la informática, con el fin de resolver los problemas presentes en los esquemas de gestión informática basados en obligaciones para la gestión basada en políticas . [1] Sin embargo, rápidamente se vio que su utilidad iba mucho más allá de la informática. El modelo simple de una promesa que se utiliza en la teoría de las promesas (ahora llamado 'micropromesas') puede abordar fácilmente cuestiones de economía y organización. Desde entonces, la teoría de la promesa ha sido desarrollada por Burgess en colaboración con el científico informático holandés Jan Bergstra , dando como resultado un libro: Teoría de la promesa: principios y aplicaciones. [2] publicado en 2013.
El interés por la teoría de las promesas ha aumentado en la industria de las tecnologías de la información, y varios productos la citan. [3] [4] [5] [6] [7] [8]
Autonomía
Las obligaciones, más que las promesas, han sido la forma tradicional de orientar el comportamiento. [9] El punto de partida de la teoría de la promesa de la lógica de la obligación es la idea de que todos los agentes en un sistema deben tener autonomía de control, es decir, que no pueden ser coaccionados o forzados a un comportamiento específico. Las teorías de la obligación en ciencias de la computación a menudo ven una obligación como una orden determinista que causa su resultado propuesto. En la teoría de las promesas, 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 pragmático de "ingeniería", que conduce a una documentación más completa de los roles previstos de los actores o agentes dentro del todo. La razón de esto es que, cuando a uno no se le permite hacer suposiciones sobre el comportamiento de los demás, uno se ve obligado a documentar cada promesa de manera más completa para poder hacer predicciones; así conduce a una documentación más completa que a su vez señala los 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 haciendo que los agentes prometan voluntariamente seguir las instrucciones de otro agente (esto también se considera un modelo de comportamiento más realista). Dado que una promesa siempre puede retirarse, no hay contradicción entre la cooperación voluntaria y el mando y control.
En Filosofía y Derecho, una promesa a menudo se ve como algo que conduce a una obligación. Promise Theory rechaza ese punto de vista. Bergstra y Burgess han demostrado que el concepto de promesa es bastante independiente del de obligación y, de hecho, es más simple. [9]
El papel de las obligaciones en el aumento de la certeza no está claro, ya que las obligaciones pueden provenir de cualquier lugar y un agente local no puede resolver una agregación de restricciones no locales: esto significa que las obligaciones en realidad pueden aumentar la incertidumbre. En un mundo de promesas, todas las restricciones sobre un agente son autoimpuestas y locales (incluso si son sugeridas por agentes externos), por lo que todas las contradicciones pueden resolverse localmente.
Compromisos y sistemas multiagente
La teoría de los compromisos en los sistemas de múltiples agentes tiene algunas similitudes con aspectos de la teoría de las promesas, pero existen diferencias clave. En la teoría de las promesas, un compromiso es un subconjunto de intenciones. Dado que una promesa es una intención publicada, un compromiso puede ser una promesa o no. Una comparación detallada de Promesas y Compromisos en los sentidos previstos en sus respectivos campos está próxima, y no es un asunto trivial.
Ciencias económicas
Las promesas pueden ser valiosas para el prometido o incluso para el que promete. También pueden generar costos. Por tanto, hay una historia económica que contar sobre las promesas. La economía de las promesas motiva naturalmente el comportamiento del "agente egoísta" y la teoría de la promesa puede verse como una motivación para la toma de decisiones teóricas del juego, en la que múltiples promesas desempeñan el papel de estrategias en un juego. [10]
La teoría de las promesas aplicada a las organizaciones [11] guarda cierto parecido con la teoría de la diversidad institucional de Elinor Ostrom . [12] Aparecen varios de los mismos temas y consideraciones; la principal diferencia es que Ostrom se centra, como muchos autores, en el papel de las reglas y obligaciones externas. La teoría de las promesas adopta el punto de vista opuesto de que la obediencia a las reglas es un acto voluntario y, por lo tanto, tiene sentido centrarse en esas promesas voluntarias. Se considera que un intento de obligar a obedecer sin una promesa constituye un ataque. Un beneficio del enfoque de la Teoría de la Promesa es que no requiere elementos estructurales especiales (por ejemplo, las "Posiciones" institucionales de Ostrom) para describir diferentes roles en una red de colaboración; estos también pueden verse como promesas en la Teoría de la Promesa; por tanto, hay una parsimonia que ayuda a evitar una explosión de conceptos y, quizás, lo que es más importante, admite la formalización matemática. El álgebra y el cálculo de promesas permiten un razonamiento simple en un marco matemático.
CFEngine
A pesar de la generalidad de la teoría de promesas, fue propuesta originalmente por Burgess como una forma de modelar el software de gestión de computadoras CFEngine y su comportamiento autónomo. Las teorías existentes basadas en la obligación eran inadecuadas. CFEngine utiliza un modelo de autonomía como una forma de evitar inconsistencias distribuidas en la política y como principio de seguridad contra ataques externos: ningún agente puede ser forzado a recibir información o instrucciones de otro agente, por lo que toda cooperación es voluntaria. Para muchos usuarios del software, esta propiedad ha sido fundamental tanto para mantener sus sistemas seguros como para adaptarse a los requisitos locales.
Comportamiento emergente
En informática , la teoría Promise describe los servicios gobernados por políticas, en un marco de agentes completamente autónomos, que se ayudan entre sí mediante la cooperación voluntaria únicamente. Es un marco para analizar modelos realistas de redes modernas y como modelo formal para la inteligencia de enjambres . [13]
La teoría de la promesa puede verse como un marco teórico lógico y gráfico para comprender las relaciones complejas en las redes, donde se deben cumplir muchas restricciones, que se desarrolló en el Oslo University College , basándose en ideas de varias líneas de investigación diferentes realizadas allí, incluida la política. gestión basada en teoría de grafos, gestión lógica y de configuración . Utiliza un enfoque constructivista que construye estructuras de gestión convencionales a partir de gráficos de agentes autónomos que interactúan. Las promesas se pueden afirmar de un agente a sí mismo o de un agente a otro y cada promesa implica una restricción sobre el comportamiento del agente prometedor. La atomicidad de las promesas las convierte en una herramienta para encontrar contradicciones e inconsistencias.
La agencia como modelo de sistemas en el espacio y el tiempo
Las promesas hechas por agentes autónomos conducen a una estructura gráfica aprobada mutuamente , que a su vez conduce a estructuras espaciales en las que los agentes representan ubicaciones puntuales. Esto permite unificar modelos de espacios inteligentes , es decir, espacios etiquetados semánticamente o incluso funcionales, como bases de datos, mapas de conocimiento, almacenes, hoteles, etc., con otras descripciones más convencionales de espacio y tiempo. El modelo de espacio-tiempo semántico utiliza la teoría de la promesa para discutir estos conceptos de espacio-tiempo.
Las promesas son matemáticamente más primitivas que las adyacencias gráficas, 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 los hace matemáticamente interesantes como noción de espacio y ofrece una forma útil de modelar sistemas de información físicos y virtuales. [14]
Referencias
- ^ a b M. Burgess, Un enfoque para comprender la política basada en la autonomía y la cooperación voluntaria
- ^ Teoría de la promesa: principios y aplicaciones
- ^ Pensando en promesas, O'Reilly, 2015
- ^ Teoría de las promesas: ¿Realmente se puede confiar en que la red cumplirá las promesas?
- ^ Modelo de política de ACI: introducción a algunos de los fundamentos de una política de ACI y cómo se hace cumplir
- ^ Por qué necesita saber acerca de la teoría de la promesa
- ^ OpFlex-ing su infraestructura centrada en aplicaciones de Cisco
- ^ La búsqueda para hacer que el código funcione como la biología acaba de dar un gran paso (Wired 2016)
- ^ a b [0810.3294] Una teoría estática de promesas
- ^ [1]
- ^ "Leyes del comportamiento humano-informático y organización colectiva". Cite journal requiere
|journal=
( ayuda ) [2] - ^ Ostrom, Elinor (2005). Comprensión de la diversidad institucional . Prensa de la Universidad de Princeton . ISBN 978-0-691-12238-0.
- ^ M. Burgess, S. Fagernes (2006), Teoría de la promesa: un modelo de objetos autónomos para la computación generalizada y los enjambres , Oslo University College, ISBN 0-7695-2622-5
- ^ M. Burgess, Espacio-tiempo con semántica