The Government of Canada’s terminology and linguistic data bank.


Record 1 1988-11-04


Subject field(s)
  • Artificial Intelligence

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.


  • Intelligence artificielle

Voir" élagage", "état de recherche".


irréalisable : qui ne peut se réaliser.


Save record 1

Copyright notice for the TERMIUM Plus® data bank

© Public Works and Government Services Canada, 2020
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau


Language Portal of Canada

Access a collection of Canadian resources on all aspects of English and French, including quizzes.

Writing tools

The Language Portal’s writing tools have a new look! Easy to consult, they give you access to a wealth of information that will help you write better in English and French.

Glossaries and vocabularies

Access Translation Bureau glossaries and vocabularies.

Date Modified: