Automatic synthesis of action programs for intelligent robots

The problem of automatic synthesis of action programs for intelligent robots in a permanently changing environment is considered. Capabilities of the deductive synthesis of cyclic and self-replicating programs are investigated. New algorithms for synthesis of such action programs for a wide range of...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Programming and computer software Jg. 42; H. 3; S. 155 - 160
1. Verfasser: Osipov, V. Yu
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Moscow Pleiades Publishing 01.04.2016
Springer Nature B.V
Schlagworte:
Algorithms
Artificial Intelligence
Automation
Changing environments
Computer programs
Computer Science
Operating Systems
Programming
Robots
Software
Software Engineering
Software Engineering/Programming and Operating Systems
Synthesis
Logical Condition
Intelligent Robot
Auxiliary Condition
Action Program
Resultative Program
ISSN:0361-7688, 1608-3261
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:The problem of automatic synthesis of action programs for intelligent robots in a permanently changing environment is considered. Capabilities of the deductive synthesis of cyclic and self-replicating programs are investigated. New algorithms for synthesis of such action programs for a wide range of possible conditions are suggested. Results of this synthesis are reported.
Bibliographie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
content type line 23
ISSN:0361-7688
1608-3261
DOI:10.1134/S0361768816030063