The problem of programming of a robot which has to operate in a ″world″ consisting of simple objects is considered. The program operates in a deductive manner on the basis of a representation of the surroundings in which the robot acts. It makes decisions on the actions which the robot has to follow to achieve the desired goal. The article proposes an evolution of the so-called STRIPS program approach, based on formal logic, by inserting some procedural aspects and strategies of semantic research. Such a system behaves in a manner similar to goal-oriented language. The possibility and advantages of an effective vocalization of deduction systems adapted to real problems of robot technology are discussed.
|Translated title of the contribution||Use of Mathematical Logic and Goal-Oriented Languages in Robot Plan Formation.|
|Number of pages||11|
|State||Published - Jan 1 1976|