2013/06/27 by J.A. Bergstra, Jan A. Bergstra, Bergstra, Jan A.
Computer Science · Decision Sciences · #Complex Systems and Decision Making #FOS: Computer and information sciences #Multi-Agent Systems and Negotiation #Software Engineering (cs.SE) #cs.SE
paper · pdf · doi:10.48550/arxiv.1306.6412
29 pages
arxiv created 2013/06/27 · openalex publication_date 2013/06/27 · arxiv updated 2013/06/28 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
An alignment is developed between the terminology of outcome oriented decision taking and a terminology for promise issuing. Differences and correspondences are investigated between the concepts of decision and promise. For decision taking, two forms are distinguished: the external outcome delivering form and internalized decision taking. Internalized decision taking is brought in connection with Marc Slors' theory of self-programming. Examples are produced for decisions and promises in four different several settings each connected with software technology: instruction sequence effectuation, informational money transfer, budget announcement, and division by zero.