On Mon, 15 Oct 2001, Wlodzislaw Duch wrote:
> I agree completely that we need better method to express knowledge
> than simply rules and decision trees. First Order Logic is one step
> beyond that and AI has provided us with a whole subbranch devoted to
> the representation of knowledge. The issue is not only how to do it
> but how to find efficient ways of doing it.
Wlodek,
Above all, I would like to emphasize that, as in all "good" sciences, the
issue of an adequate model must precede all other issues, including the
complexity issues. (Just try to imagine addressing a physicist regarding
some computational complexity issues when he/she is trying to develop a
satisfactory model!).
> While decision trees are
> very efficient to do simple things they are not so great to discover
> and represent higher-level structured knowledge.
>
> ETS has some advantages here but there are two problems that need to
> be addressed.
> First is the need for efficient implementation of the minimal
> transformation cost calculations and the second is an efficient
> implementation of the search for the best substitutes that should
> allow to discover class structures.
>
> We have once worked on algorithmic complexity (or Levin's complexity)
> that in principle could discover the simplest program solving a given
> task but in practice it couldn't do much being NP hard. Is there any
> progress in this direction?
As Oleg Golubitsky mentions in his message, we are working on it.
Cheers,
Lev
