Path: utzoo!news-server.csri.toronto.edu!rutgers!uwm.edu!zaphod.mps.ohio-state.edu!usc!elroy.jpl.nasa.gov!ncar!midway!mimsy!mojo!eng.umd.edu!lev
From: lev@eng.umd.edu (Lev Novik)
Newsgroups: comp.ai
Subject: Inferences
Message-ID: <1991Mar11.163035.9707@eng.umd.edu>
Date: 11 Mar 91 16:30:35 GMT
Sender: news@eng.umd.edu (C-News)
Reply-To: lev@eng.umd.edu (Lev Novik)
Organization: College of Engineering, Maryversity of Uniland, College Park
Lines: 11

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.