Vervollständigung (improved)

bei einfacher Vervollständigung:

• jedes neue kritische Paar muß sofort orientiert werden.

• manche sind evtl. nicht orientierbar

alternativer Ansatz:

• das Orientieren aufschieben,
• bis neue Regeln vorliegen, die zur Umformung des Paares benutzt werden können
• so daß das umgeformte Paar orientierbar ist

(nichtdeterministischer) Vervollständigungsalgorithmus wird formuliert mittels Inferenzsystem