[comp.ai] Inferences

lev@eng.umd.edu (Lev Novik) (03/12/91)

Hi!
Here's a problem: Suppose we have a set of elements, and a set of inferences of
the type "If we know _these_ elements, we can find _that_ one."  Problem: find
the smallest set from which we can derive all elements of te original set.
Can anybody refer me to any algorithm on this (preferably  not NP).?
Thanks.

------------------------------------
Lev Novik
Dept. of Mathematics
University of Maryland, College Park.