Planning for behaviour-based robotic assembly : a logical framework
This thesis describes an approach to robotic assembly planning based on a logic of <i>plan specification</i> formulae. These formulae consist of a term representing the plan, a description of the states before and after the plan is performed (using a simple but structured world model), a...
Main Author: | |
---|---|
Published: |
University of Edinburgh
1991
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.645109 |