The Use of the Predicates Logic for Defining the Notion «Frame

The work has been written in an attempt to make clear the notion "frame" as being used in the research of artificial intelligence by means of logic. It has been shown that the use of means of the first order predicates logic for defining the notion "frame", which was first presented by Marvin Minsky as a model for presenting knowledge, cause the damage of its original sense and as a result some useful properties of the frame model are lost.