Neural-Symbolic Cognitive Agents: Architecture, Theory and Application (Extended Abstract)