search

Herb-AI / HerbConstraints.jl

Constraints for Herb.jl
https://herb-ai.github.io/
MIT License
0 stars 0 forks source link

`ForbiddenSequence` for non-path sequences #57

Open Whebon opened 1 month ago

Whebon commented 1 month ago

The ForbiddenSequence constraint forbids a sequence of rules in a vertical path. However, most grammars have a different notion of a 'sequence'. For example, the sequence of operations in the robot grammar do not lie on a path.

Image

To forbid the sequence [right, left], we either need to:

  1. rewrite the grammar.
  2. change the semantics of ForbiddenSequence.
  3. make a new forbidden sequence constraints for a different kind of sequence.