consistency

property of a knowledge base maintained if-and-only-if its negation is not a tautology

Categorias: