TERMIUM Plus®

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

UNACHIEVABILITY PRUNING [1 record]

Record 1 1988-11-04

English

Subject field(s)
  • Artificial Intelligence
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.

French

Domaine(s)
  • Intelligence artificielle
OBS

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

OBS

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

Spanish

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

Features

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: