TERMIUM Plus^®

Record 1,  Textual support,  English

Record number: 1, Textual support number: 1 CONT

One source of computational waste in backward planning is work on clauses that describe unachievable states. For example, it is not possible to crate a state in which block A is on block B and block B is clear. Thus, if we ever produce the following clause during backward planning using resolution refutation, we can prune it from further consideration because it is valid (i.e., its negation is inconsistent). One way to detect such cases is to set up a resolution subprocess to test clauses for validity. If this test reveals that a clause is valid, that clause is pruned from further consideration. This deletion strategy is sometimes called unachievability pruning. We test for validity by testing the negated clause for consistency.  1, record 1, English, - unachievability%20pruning

Record 1,  Textual support,  French

Record number: 1, Textual support number: 1 OBS

Voir" élagage", "état de recherche".  1, record 1, French, - %C3%A9lagage%20de%20clauses%20valides

Record number: 1, Textual support number: 2 OBS

irréalisable : qui ne peut se réaliser.  2, record 1, French, - %C3%A9lagage%20de%20clauses%20valides

Record 1,  Textual support,  Spanish