2015
Propositional Temporal Logic for planning in an embedded Concurrent Autonomous Agent
Diego Stéfano, F. Ferreira, Priscila S. Martins, André Gustavo S. Conceição, Augusto Loureiro da Costa
ICRA 2015poster
In this paper, a Propositional Temporal Logic (PTL) inference engine is implemented in the cognitive level of a Concurrent Autonomous Agent (CAA). The hardware architecture of the system is an embedded microcontrollers network designed to fit the concurrency requirements of the cognitive model of th…