Promise Theory as a Tool for Informaticians

Promise Theory as a Tool for Informaticians, Transmathematica, Published 2020-04-19

DOI: 10.36285/tm.35

20 Pages Posted: 1 Jun 2020

See all articles by Jan Bergstra

Jan Bergstra

University of Amsterdam; Minstroom Research

Date Written: March 31, 2020

Abstract

Promise theory was designed and developed from 2005 onwards by Mark Burgess and his coworkers. It totalises the notion of a promise so that it applies to both animate and inanimate promisers. The focus of promise theory is on applications in informatics and systems design. This paper extends the account of promises by providing more detailed requirements on promises. In particular, the requirement of determinacy, the requirement of decomposition of aggregate agents, and the feature of a promise bias are introduced. The paper further includes an account of threats, as well as of risks, both viewed as an extension of promise theory. It is finally indicated by means of a series of informal examples how and where various kinds of promises and threats may occur in informatics.

Suggested Citation

Bergstra, Jan, Promise Theory as a Tool for Informaticians (March 31, 2020). Promise Theory as a Tool for Informaticians, Transmathematica, Published 2020-04-19, DOI: 10.36285/tm.35, Available at SSRN: https://ssrn.com/abstract=3591152 or http://dx.doi.org/10.2139/ssrn.3591152

Jan Bergstra (Contact Author)

University of Amsterdam ( email )

Spui 21
Amsterdam, 1018 WB
Netherlands

Minstroom Research

Koningslaan 114
Utrecht, Utrecht 3583GV
Netherlands

Do you have a job opening that you would like to promote on SSRN?

Paper statistics

Downloads
123
Abstract Views
895
Rank
584,619
PlumX Metrics