AI-ESTATE: a declarative based logic calculator

In the conduct of proposing, building and marketing an IEEE 1232 Artificial Intelligence-Exchange Service Tie to-All Test Environments (AI-ESTATE) based diagnostic engine it has become evident that very few test engineers, program and project managers understand the advanced powers of AI-ESTATE as a declarative based logic calculator. This paper will discuss the nature of AI-ESTATE in several terms. The problem that Al-ESTATE solves - can be seen as a typical type of problem in science and engineering that has a tradition of stimulating the advancement of mechanical/electrical calculation. This tradition starts with the nature and the economics of the calculation problems tackled by Pascal, Leibniz, Turing, Mauchly and Eckert, von Neumann and many others. In the case of AI-ESTATE the advancement is partially stimulated by the economics of system test and diagnosis, the impact of the decoupling of diagnostic decision making from the rest of the "Test Environment", and the impact of the people that worked together to provide the IEEE 1232 Standard. The advantages of declarative languages is discussed over the disadvantages of imperative languages in a general context. The form of the logic calculator is discussed and how the gap between data syntax and model semantics is bridged and the calculator is "programmed" via a declarative or descriptive model editor. A final discussion will focus on how Al-ESTATE might be embedded on a board or cast as an IC