Planning from First Principles for Geometric Constraint Satisfaction

Citation: Sanjay Bhansali and Glenn A. Kramer. (1994) Planning from First Principles for Geometric Constraint Satisfaction. In KSL-94-25, 1994.

Publication techreport ( Edit )
type	Technical Report
bibtype	techreport
Bibtex basics
author	Sanjay Bhansali and Glenn A. Kramer
title	Planning from First Principles for Geometric Constraint Satisfaction
number	KSL-94-25
institution	Knowledge Systems, AI Laboratory
address	Seattle, WA
year	1994
Bibtex more
note	April.
Access Paper
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.

KSL Technical Report ID: KSL-94-25

Abstract	An important problem in geometric reasonin … 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. ut geometric bodies,actions, and topology.
Address	Seattle, WA +
Author	Sanjay Bhansali and Glenn A. Kramer +
Bibtype	techreport +
Has author	Sanjay Bhansali and Glenn A. Kramer +
Has identifier	KSL-94-25 +
Has publishing details	1994 +
Has title	Planning from First Principles for Geometric Constraint Satisfaction +
Has where published	KSL-94-25 +
Has year	1994 +
Institution	Knowledge Systems, AI Laboratory +
Ksl tr id	KSL-94-25 +
Note	April.
Number	KSL-94-25 +
Process note	YES +
Title	Planning from First Principles for Geometric Constraint Satisfaction +
Year	1994 +