Abstract
I discuss how the capabilities of the Edinburgh Designer System can be extended and used to support symbolic computation for robotics. I conclude that the Algebra Engine requires to handle temporal constructs, groups and tolerances, that the taxonomy can support activity modules and that automatic plan formation would require the creation of a specialist.

This publication has 6 references indexed in Scilit: