Planning from First Principles for Geometric Constraint Satisfaction
Abstract
An important problem in geometric reasoning is to find the configuration of a collection of geometric bodies so as to satisfy a set of given constraints. Recently, it has been suggested that this problem can be solved efficiently by symbolically reasoning about geometry using a degrees of freedom analysis. The approach employs a set of specialized routines called plan fragments that specify how to change the configuration of a set of bodies to satisfy a new constraint while preserving existing constraints. In this paper we show how these plan fragments can be automatically synthesized using first principles about geometric bodies, actions, and topology.
Cite
Text
Bhansali and Kramer. "Planning from First Principles for Geometric Constraint Satisfaction." AAAI Conference on Artificial Intelligence, 1994.Markdown
[Bhansali and Kramer. "Planning from First Principles for Geometric Constraint Satisfaction." AAAI Conference on Artificial Intelligence, 1994.](https://mlanthology.org/aaai/1994/bhansali1994aaai-planning/)BibTeX
@inproceedings{bhansali1994aaai-planning,
title = {{Planning from First Principles for Geometric Constraint Satisfaction}},
author = {Bhansali, Sanjay and Kramer, Glenn A.},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {1994},
pages = {319-324},
url = {https://mlanthology.org/aaai/1994/bhansali1994aaai-planning/}
}