EXCALIBUR Adaptive Constraint-Based Agents in Artificial Environments |
[SCSP] | [Grammars] [Elements] [Structural Constraints] [SCSPs] [Generation] [Redundancy] [Combination] [Conclusion] |
[ Please note: The project has been discontinued as of May 31, 2005 and is superseded by the projects of the ii Labs. There won't be further updates to these pages. ] |
(Related publications: [PUBLink] [PUBLink] [PUBLink])
A solution to an SCSP is a constraint graph with an arbitrary number of variables, conventional (or object) constraints and connecting edges, such that the graph satisfies all structural constraints. Thus, the basic ingredients to formulate an SCSP are a set of types of conventional (or object) constraints and a set of structural constraints. But in most cases there will be much less allowed constellations of conventional (or object) constraints than inconsistent ones. This means that - at least for the direct neighborhood of a constraint - a constructive specification is more appropriate than a huge number of structural constraints. Because of this, our SCSP specification will include generic constellations alternatives for the direct embedding of a conventional (or object) constraint and minima and maxima for the direct embedding of extensible constraints. This is comparable with conventional CSPs, where a variable's domain is also mostly represented by enumeration mechanisms with minima and maxima instead of constraints.
A structural constraint satisfaction problem SCSP = (CD, S) consists of a tuple of sets of constraint descriptions CD = (C_{n}, C_{e}, O_{n}, O_{e}) and a set of structural constraints S. The constraint descriptions of C_{n} and O_{n} are pairs (c, p_{base}) with a nonextensible conventional (or object) constraint c and its embedding graph p_{base}. The constraint descriptions of C_{e} and O_{e} are 4-tupel (c, p_{base}, E, p_{max}) with an extensible conventional (or object) constraint c, its minimal embedding graph p_{base}, a set of extension graphs E, and the constraint's maximal embedding graph p_{max}.
An embedding graph shows the constraint with all its directly connected neighbor vertices. If an extensible constraint has no maximal embedding, p_{max} is the empty graph. An extension graph shows the constraint connected to the vertices that can be added in one step. The figure below shows the residual components of the example SCSP. To show the effects of maximal embedding graphs, we introduce a maximum of two Tasks for a Machine.
There are some requirements that are induced by the construction of the search space in the following section (fulfilled for the presented example SCSP):
These requirements can be relaxed by using more sophisticated ways to generate the search space. However, this is not necessary for the work presented here.
[SCSP] | [Grammars] [Elements] [Structural Constraints] [SCSPs] [Generation] [Redundancy] [Combination] [Conclusion] |
For questions, comments or suggestions, please contact us.
Last update:
May 20, 2001 by Alexander Nareyek