A Framework of Basics for Sensor Modelling, using Higher- Order Logic (HOL), as a Sensing Mechanics Inference Computational Platform

Higher Order Logic also known as HOL, is a widely-used process calculus tool for creating formal specifications of systems and for proving properties about them. It has been widely used in both the industry and academia to support formal reasoning in many areas, including hardware and software verification. The underlying logic and computational theories, are very much well established. In principle, they could be used to support any computational project, which can be defined in higher order logic, an expressive logic originally developed as a foundation for mathematics. In our presentation of this paper, we attempted to study and simulate generalisation of sensing mechanisms, using Higher Order Logic. Sensors and Sensing systems, are highly central to the crucial and safe functioning of industrial systems, like Nuclear Systems, Medical systems, Intelligent Textiles for information processing and Space systems, just to name a few. We hope our paper on this important topic is timely and useful to a wide range of audience. Furthermore, we adopted a tutorial approach to solve lemmas using Isabelle-HOL integrated system for sensing mechanisms.