Understanding Dynamic Logic Using 2D Images

Abstract

To understand the working of Dynamic Logic (DL) we discuss a simple example considering 2D images and finding a Gaussian pattern in the image if it exist. The technique is also noise resistant and works well on noisy data can be which can be simulated by adding randomness to the image. In implementing a pattern in the image, we do need to know the characteristics of the model for example in our case we are looking for circular patterns and simple equations of circle provides a basis for developing an analytic measure. We provide our implementation for understanding the basics of Dynamic Logic (DL). The understanding included a determination of when to terminate the iteration process and a dependence between model parameters.