circonscription 

Règle conjecturale qui permet de sauter aux conclusions au moyen de schémas axiomatiques particuliers. A savoir, les objets dont on peut démontrer qu’ils possèdent une certaine propriété P en raisonnant à partir de certains faits A sont tous les objets qui satisfont P. Plus généralement, la circonscription peut être utilisée pour conjecturer que les tuples <x, y …, z> on peut montrer que pour satisfaire une relation P (x, y, …, z), tous les tuples satisfaisant cette relation.

Français

circonscription n.f.

Anglais

circumscription
Source : TERMIUM Plus
Intelligence artificielle / Elaine Rich ; traduit de l’anglais par David Guedj. — Rich, Elaine. Paris : Masson, 1987.
viii, 439 p.;Traduction de : Artificial intelligence.;Comprend des index.;Bibliogr. : p. (416)-430.;ISBN 2225807736. / viii, 439 p.;Traduction de : Artificial intelligence;Comprend des index.;Bibliogr. : p. (416)-430.;ISBN 2225807736. * 1987