A logic of efficient and optimal designs. (5th November 2019)

• Record Type: Journal Article
• Authors: Primiero, Giuseppe
• Is Part Of: Journal of logic and computation. Volume 29:Number 6(2019)
• Page Start: 947
• Page End: 968
• Publication Date: 2019-11-05
• Subjects: Logic programming -- Periodicals; Logic, Symbolic and mathematical -- Periodicals; Computational complexity -- Periodicals; 005.115
• DOI: 10.1093/logcom/exz014
• Languages: English
• ISSNs: 0955-792X

Abstract

Abstract: Logics of design have been formulated until recently to offer systematic treatments of the way systems express the relation between resources, processes and their outputs. We present a logic of systems design which explicitly formalizes this relation as a decidable checking problem on resource access and define computable efficiency and optimality properties.