On the representation of problems in artificial intelligence

Abstract

Summary form only. In determining the computer language requirements for implementation of problem solving processes in AI, it is essential to clarify the nature of components that enter in the formulation of problems, solutions, and problem-solving procedures. An abstract formulation of a pattern in AI includes: the specification of a domain of discourse, the characterization of a set of possible solutions, and the specification of problem conditions that a member of the solution set must satisfy for it to be accepted as a solution to the problem. The data structures and process structures of program formulations of problems must be responsive to the characteristics of procedural formulations, which, in turn, depend on features of the key components of abstract problem formulations.<>