Prolog programming for artificial intelligence
Prolog programming for artificial intelligence
Defining Software by Continuous, Smooth Functions
IEEE Transactions on Software Engineering
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Hi-index | 0.00 |
The commenter agrees with R.A. De Millo and R.S. Lipton's assertion in the above-titled work that continuous, smooth functions of comparable complexity can be used to represent Boolean functions computed by programs. The commenter reconciles this assertion with a referee's objection that the discontinuity of software resides in the large changes of behavior that results from small changes of code, which was countered by the authors by arguing that this notion of discontinuity is vague. It is suggested that this vagueness can be remedied if discontinuity is replaced by a more natural measure that nevertheless captures a similar intuition.