| EXCALIBUR Adaptive Constraint-Based Agents in Artificial Environments |
| [GENERATION] | [Variables] [Nonextensible Constraints] [Extensible Constraints] [Constraint Extensions] |
| [ 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 publication: [PUBLink])
One production ensures that it is always possible to add further variables. The production is shown in the figure below (production Pva).
The production for the deletion of a variable (production Pvd in the figure above) requires that the variable is not connected to any constraint (to satisfy reqd). This is ensured by the NAC. The NAC cannot endanger reqp as it is not possible that there are edges to the variable directly after the application of Pva.
| [GENERATION] | [Variables] [Nonextensible Constraints] [Extensible Constraints] [Constraint Extensions] |
For questions, comments or suggestions, please contact us.
Last update:
May 20, 2001 by Alexander Nareyek