Promise Theory and the Alignment of Context, Processes, Types, and Transforms
DOI:
https://doi.org/10.36285/tm.43Abstract
Promise Theory concerns the 'alignment', i.e. the degree of functional compatibility and the 'scaling' properties of process outcomes in agent-based models, with causality and intentional semantics. It serves as an umbrella for other theories of interaction, from physics to socio-economics, integrating dynamical and semantic concerns into a single framework. It derives its measures from sets, and can therefore incorporate a wide range of descriptive techniques, giving additional structure with predictive constraints. We review some structural details of Promise Theory, applied to Promises of the First Kind, to assist in the comparison of Promise Theory with other forms of physical and mathematical modelling, including Category Theory and Dynamical Systems. We explain how Promise Theory is distinct from other kinds of model, but has a natural structural similarity to statistical mechanics and quantum theory, albeit with different goals; it respects and clarifies the bounds of locality, while incorporating non-local communication. We derive the relationship between promises and morphisms to the extent that this would be a useful comparison.
References
Mark Burgess. An Approach to Understanding Policy Based on Autonomy and Voluntary Cooperation. In IFIP/IEEE 16th International Workshopon Distributed Systems Operations and Management (DSOM), in LNCS3775, pages 97–108, 2005.
M. Burgess. A Site Configuration Engine. Computing Systems (MIT Press:Cambridge MA), 8:309, 1995.
M. Burgess and R. Ralston. Distributed Resource Administration Using CFEngine. Software Practice and Experience, 27:1083, 1997.
J.A. Bergstra and M. Burgess. Promise Theory: Principles and Applications (second edition). χtAxisPress, 2014, 2019.
M. Burgess. A Treatise on Systems: Volume 2: Intentional Systems with Faults, Errors, and Flaws. ISBN-13 : 979-8603300092 (2020).
S. Hogg. Promise Theory - Can You Really Trust the Network to Keep Promises? Network World, 2015.
l[7] Unattributed article. Why you need to know about promise theory. NoJitter, 2018.
Zeus Kerravala. Cisco expands intent-based networking portfolio. NoJitter, 2018.
C. Hemm Klok. The Quest To Make Code Work Like Biology Just Took a Big Step. Wired, 2016.
‘Melissa’. Opflex-ing your Cisco Application Centric Infrastructure, 2014.
M. Chandramouli and K. Sivakumar. Concepts of net-work intent.
A.W. Morales. The trouble with Promises: Patrick Debois Explains Server-less and ’Service-full’ Culture. Forbes, 2017.
D.C. Marinescu. Cloud Computing: Theory and Practice. Morgan Kaufmann, 2013.
J. Sussna. Turning Requirements Into Promises. Blog post, 2013.
J. Sussna. Scaling Agile Projects Using Promises. Blog post, 2013.
J. Sussna. Promise Theory, Devops, and Design. Blog post, 2013.
J. Sussna. Promise Theory, DevOps, and Design. Blog post, 2013.
J. Sussna. Designing Delivery: Rethinking IT in the Digital Service Economy. O’Reilly, 2015.
C. Ciceri. Notes on Domain-Driven Design Europe ii - 2018 Edition. DZone, 2018.
M. Burgess. Thinking In Promises: Designing Systems for Cooperation. O’Reilly Media, 2015.
J. Bergstra and M. Burgess. Money, Ownership, and Agency. χt-axisPress, 2019.
J. Bergstra and M. Burgess. Promise Theory Case Study on the 2016 Brexit Vote. χt-axis Press, 2017.
J. Bergstra. Promises and Threats by Asymmetric Nuclear Weapon States. χt-axis Press, 2019.
S. Eilenberg and S. MacLane. General Theory of Natural Equivalences. Transactions of the American Mathematical Society, 58:231–294, 1945.
J. Bergstra, A. Ponse, and S.M. Smolka, editors. The Handbook of Process Algebra. Elsevier, 2001.
J.C. Baez and B.S. Pollard. A Compositional Framework for Reaction Networks. arXiv:1704.02051, 2017.
G.R. Grimmett and D.R. Stirzaker. Probability and Random Processes (3rd edition). Oxford Scientific Publications, Oxford, 2001.
C. Hewitt, P. Bishop, and R. Steiger. A Universal Modular Actor Formalism For Artificial Intelligence. InProc. of the 3rd IJCAI, pages 235–245, Stanford, MA, 1973.
J.A. Bergstra and M. Burgess. Local and Global Trust Based on the Conceptof Promises. Technical report, arXiv.org/abs/0912.4637, 2006.
M. Burgess. Spacetime with Semantics (ii). arXiv.org:1505.01716, 2015.
P. Borrill, M. Burgess, A. Karp, and A. Kasuya. Spacetime-Entangled Networks (i) Relativity and Observability of Stepwise Consensus. arXiv:1807.08549, 2018.
J. Schwinger. Quantum Kinematics and Dynamics. Addison Wesley, 1970.
L.E. Ballentine. Quantum Mechanics: A Modern Development. World Scientific, 1998.
C. Berge. The Theory of Graphs. (Dover, New York), 2001.
D.B. West. Introduction to Graph Theory (2nd Edition). (Prenctice Hall, Upper Saddle River), 2001.
C.E. Shannon and W. Weaver. The Mathematical Theory of Communication. University of Illinois Press, Urbana, 1949.
T.M. Cover and J.A. Thomas. Elements of Information Theory. (J.Wiley& Sons., New York), 1991.
M. Burgess and S. Fagernes. Laws of Systemic Organization and Collective Behaviour in Ensembles. In Proceedings of MACE 2007, volume 6 of Multicon Lecture Notes. Multicon Verlag, 2007.
M. Burgess and S. Fagernes. Laws of Human-Computer Behaviour and Collective Organization. submitted to the IEEE Journal of Network and Service Management, 2008.
M.Burgess. Information and Causality in Promise Theory. arXiv:2004.12661, 2020.
M. Burgess. Configurable Immunity Model of Evolving Configuration Management. Science of Computer Programming, 51:197, 2004.
Isaac Asimov.Foundation. Doubleday, 1951.
S. Galam. Sociophysics. Springer, 2012.
T.D. Bradley. Website math3ma blog article.
The n-Category café. Website blog article.
B. Fong and D.I. Spivak. Seven Sketches in Compositionality: An Invitation to Applied Category Theory. arXiv:1803.05316, 2018.
Sophie Libkind. Unifying Open Dynamical Systems: An Algebra of Re-source Sharing Machines. YouTube video, 2020.
Brendan Fong. Decorated Cospans. arXiv:1502.00872, 2015.
D.I. Spivak. Generalized Lens Categories via Functors Cop→Cat. arXiv:1908.02202v3, 2020.
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2021 Jan Aldert Bergstra, Mark Burgess
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.
Authors retain copyright and, if appropriate, performance rights but licence the journal to publish submissions. The lead author confirms that the submission is bound by the CC Attributtion Share Alike 4.0 licence.
