Ivan, is this new idea what are your writing about ""intensional" representation of deduction/abduction tree"? Do you have any literature or references regarding this idea? I could be greate if You can share the sources of your idea.
Automatic programming is quite old field that has ceased to be develope in nineties and after them there has been only development of templates. I am not aware about big theories or sophisticated technologies behind model driven development. Code generation is one of my goals but I have not implemented it yet. I plan to do this in very crude way: I will have inference process whose result will be abstract syntax tree (of some industrial programming languages like Java, Typescript and HTML) as a Scheme code and then I will generate actual code (Java, Typescript, HTML) from this syntax tree. Functional programming languages have no distinction between data and code (at least I have heard about such thesis in Scheme book) - meaning - Scheme data structures can be perceived as executable programs and that is why generation of Scheme data structures can be the same as generation of executable code (Javascript has some similar features) but I am not pursuing this path because I want object-oriented code - the generated code should be of industrial quality. There is work in implementation of Goedel machine (self-improving software) and as far as I have read about it, they are using lambda calculus. In AGI books (engineering AGI) there are chapters about evolutionary code generation but the generated code is the result of genetic programming process in that case. Genetic programming is quite relaxed and heuritic method, I would prefere more rigorous automatic programming methods - code should be generated in the inference process from the specifciation and specification should be autoatically generated from the normas, best practices, interaction with the customer. Of course, in this inference process we can use adaptable, probabilistic, non-classical logics, but nevertheless - logics should be used. Evolutionary search can not give guarantees that inference process can give. -- 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/2d3ac0f2-0d30-4d7f-9fce-25afc7be392f%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
