Hi Alex,
we haven't experimented with reasoning-based language generation. I can
see how this would be possibly once the the Backward Chainer is
completed (I hope to be done today, as I've been saying to myself for
the past 4 months). Either we could support dependent types, put the
specification in the variable type, and use this variable as a target
for the Backward Chainer, then translate the generated atomese program
to an industrial language. Or directly formalize an industrial language
in the atomspace. We would then invoke the backward chainer on the
following target
Evaluation
Predicate "meet-c++-specification"
List
<specification>
Variable "$prog"
which would fill up $prog with programs that meet the given
specification. The tedious part is to describe "c++-meet-specification",
etc. Of course it would rapidly explode in complexity, but for very
simple programs it should work. Making this scalable is the next
challenge that we'll eventually attempt to address via meta-learning.
Nil
On 01/25/2017 11:59 PM, Alex wrote:
By "industrial programming language" I meant (as this term is used by
our professor) languages that are used for the business software
development, i.e. languages like Java, JavaScript, SQL, C++, C#, Python,
COBOL, FORTRAN, etc. and there is no direct connection with the quality
of the language or its tools. E.g. there are very good Prolog, Haskell
etc. implementations but I don't call then "industrial programming
languages", because they are rarely used for business programming.
--
You received this message because you are subscribed to the Google
Groups "opencog" group.
To unsubscribe from this group and stop receiving emails from it, send
an email to [email protected]
<mailto:[email protected]>.
To post to this group, send email to [email protected]
<mailto:[email protected]>.
Visit this group at https://groups.google.com/group/opencog.
To view this discussion on the web visit
https://groups.google.com/d/msgid/opencog/8a893437-096d-4477-9c19-e8098d1a9b8f%40googlegroups.com
<https://groups.google.com/d/msgid/opencog/8a893437-096d-4477-9c19-e8098d1a9b8f%40googlegroups.com?utm_medium=email&utm_source=footer>.
For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to the Google Groups
"opencog" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/opencog.
To view this discussion on the web visit
https://groups.google.com/d/msgid/opencog/e7feca03-1e22-9358-f859-98629400bb3a%40gmail.com.
For more options, visit https://groups.google.com/d/optout.
