Temporal reasoning: a solution for multiple agent collision avoidance
- 4 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 494-499 vol.1
- https://doi.org/10.1109/robot.1990.126027
Abstract
A temporal reasoning system for solving practical planning problems is presented. The system is based on a nonmonotonic temporal logic which features homogeneous assertions, continuous time, and defeasible inferences. The model-theoretic semantics provide a basis for algorithms which generate inferences directly from axioms in the logic. The system's utility is demonstrated by a solution to the multiple agent collision avoidance problem. A formulation of this problem separates spatial and temporal considerations. The temporal reasoning system is used to predict collisions and generate efficient strategies for avoiding them.Keywords
This publication has 12 references indexed in Scilit:
- A prototype, integrated, CAD-based robotic assembly systemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A hierarchical strategy for path planning among moving obstacles (mobile robot)IEEE Transactions on Robotics and Automation, 1989
- Efficient Intersection Tests for Objects Defined ConstructivelyThe International Journal of Robotics Research, 1989
- Chronological ignorance: Experiments in nonmonotonic temporal reasoningArtificial Intelligence, 1988
- Coordinating the motions of robot arms in a common workspaceIEEE Journal on Robotics and Automation, 1987
- Structuring Free Space as a Hypergraph for Roving Robot Path Planning and NavigationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1987
- Collision avoidance between robots operating in the same cellPublished by Institution of Engineering and Technology (IET) ,1985
- Towards a general theory of action and timeArtificial Intelligence, 1984
- Spatial Planning: A Configuration Space ApproachIEEE Transactions on Computers, 1983
- A Temporal Logic for Reasoning about Processes and Plans*Cognitive Science, 1982