A logical calculus of problem solution in strongly structured subject areas

A modification is proposed of sequential calculus of first order predicates with a wiew to adapting ist set of concepts to that of «artificial intelligence». The calculus is made to include the concept of a range of objects as a totality of objects of the same structure and rules are formulated for inference and utilization of statements on membership of the objects in a certain range in terms of the internal structure of the objects. The potential of the resultant calculus is discussed in formalizing the problem, central in «artificial intelligence», viz. search for an adequate representation of the problem as part of the solution procedure.