A logical calculus for problem solving in highly structured application domains (Q1115646)

We propose a modification of the sequential first-order predicate calculus designed to bring the logical system of concepts closer to that of ``artificial intelligence''. We modify the calculus by introducing the notion of a class of objects as a collection of objects having the same structure and provide rules of inference and application of assertions about membership of objects in a certain class, allowing for the internal structure of the objects. We discuss the application of this calculus to the formalization of the central issue of artificial intelligence: finding an adequate representation of the problem as part of the problem solving procedure.