L'IMPIEGO DELLA LOGICA MATEMATICA E DEI LINGUAGGI ORIENTATI AD OBIETTIVI NELLA FORMAZIONE DI PIANI PER ROBOT.

Translated title of the contribution: Use of Mathematical Logic and Goal-Oriented Languages in Robot Plan Formation.

P. Corti, G. Gini, Maria L Gini, E. Pagello

Research output: Contribution to journalArticlepeer-review

Abstract

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 contributionUse of Mathematical Logic and Goal-Oriented Languages in Robot Plan Formation.
Original languageItalian
Pages (from-to)35-45
Number of pages11
JournalAlta Frequenza
Volume45
Issue number1
StatePublished - Jan 1 1976
Externally publishedYes

Fingerprint Dive into the research topics of 'Use of Mathematical Logic and Goal-Oriented Languages in Robot Plan Formation.'. Together they form a unique fingerprint.

Cite this