At 20:21 08-08-01, Tom Fawcett wrote:
>This is an interesting topic but it seems unrelated to artificial
>intelligence using Perl.
One of the traditional topics of AI is to find ways to generate
implementations from specifications. While this is not possible in general,
there are enough situations where executable specifications are only too
inefficient to be useful. Let's say you write a specification for your
application in a specification language which is restricted such that it is
possible to implement an interpreter for this language. Even if you used a
low-level language to implement this interpreter, the execution of the
specification could be too slow. But you write this interpreter in your
preferred high-level language (which could perhaps be Perl) and apply a
supercompiler to this interpreter together with your specification as
input. Imagine the resulting program would be efficient enough to be used
instead of a hand-coded program. This would be a solution to a classic AI
problem.
I am interested in comments of the supercompiler specialists on how
realistic/unrealistic my scenario is.
-- Helmut
________________________________
Helmut Enck-Radana
Paradigma Software GmbH
http://www.paradigma-software.de
________________________________