Title
Symbolic planning and control using game theory and grammatical inference.
Abstract
A system can accomplish an objective specified in temporal logic while interacting with an unknown, dynamic but rule-governed environment, by employing grammatical inference and adapting its plan of action on-line. The purposeful interaction of the system with its unknown environment can be described by a deterministic two-player zero-sum game. Using special new product operations, the whole game can be expressed with a factored, modular representation. This representation not only offers computational benefits but also isolates the unknown behavior of the dynamic environment in a particular subsystem, which then becomes the target of learning. As the fidelity of the identified environment model increases, the strategy synthesized based on the learned hypothesis converges in finite time to the one that satisfies the task specification.
Year
DOI
Venue
2012
10.1016/j.engappai.2014.09.020
Engineering Applications of Artificial Intelligence
Keywords
DocType
Volume
Grammatical inference,Temporal logic control,Adaptive systems
Journal
37
ISSN
Citations 
PageRank 
0952-1976
5
0.45
References 
Authors
35
6
Name
Order
Citations
PageRank
Jie Fu150.45
Herbert Tanner292191.72
Jeffrey Heinz311819.03
Jane Chandlee4203.56
Konstantinos Karydis56514.74
Cesar Koirala661.61