I'm not sure AIML isn't Turing complete by the way. Its "think" keyword makes it similar to Semi-Thue, a string-rewriting based Turing complete programming language. But I get what you mean: it's not Turing complete in the traditional meaning.
As we're creating computing tools, our end-users are actually developers. My audience is made of hypothetic developers, who would make products meant to be used by non-tech people. So API matters, and more generally speaking, what happens between input and output matters, because this audience is interested in it.
What I'm doing is like a transparent motor. I want the (user) interface to show the clockwork inside, like a crystal Harley-Davidson made of glass and ice, sort of.
I think the future of AI is a convergence of techniques, where Turing completeness matters less and less. Because it all gets mixed in something higher. It's not only about being able to calculate anything, but rather it's about: what can we compute easily, here and now.
Brainfuck is Turing-complete. But clearly that's not enough. It's a sh*tty language that's not meant to be
used, because anyway, there's nothing
useful you can do with it here and now.
I happen to
like love creating languages. Unfortunately, I had to realize (thank you Uncle Bob Martin) that we don't need another language. J'en ai fait mon deuil. What we need, as developers, as
writers of minds , is a really really wide toolbox, that lets you express what you want, instantly. Need logic? Ok, here is logic. Need bayesian network? Ok, here. Need NLP? Well, we have you covered. Who gives a sh*t about semi-colons and curlies and typing paradigm... Even list comprehension is just silk. Yeah, silk is nice, but it's still fabric.
So, look at OpenCog. Who forked an OpenCog project here? Nobody. Why. Because hell, who would spend two weeks trying to set things up, with a 75% risk of failure, to end up with something you can't even deploy to your end-users. And if you could, what would you wire it to? A 10k€ robot? Come on, let's be serious.
We, developers, are
users. As any user, we want plug&play solutions. It has to work, here and now. My position is maybe controversial, but it feels like shouting out loud what people think quietly.
Anyway, this XML world concept has everything needed. It is simple to implement, it can host simple
and complex solutions. It solves both the world problem and the mind-body problem. It is pluggable in any external architecture.
I wonder in which extent it is possible to push up to higher levels while retaining Turing completeness.
If we keep things modular and decoupled, there should be no limit. Take RiveScript for instance. By itself, even though it is Turing complete, it is obviously strongly oriented towards conversational agent authoring, since it's its purpose.
But forget for a sec what its purpose is, and just consider
what it does really. RiveScript takes strings as input, and gives you back other strings, potentially reusing parts of the input to build up the output. This is not a conversation, this is string processing. It's not
that high level after all! It is
how we use it that makes it high level. Same goes for any other tool. JsonQ is a json manipulation library. But used as an ontological real-time situation analyser, wow... you get a very high level box of goodness.
So you take tools, whether Turing complete or not. You take them not for what they're meant to achieve, but for what they do. And you plug them in a flexible architecture that lets users - us, the devs - do what they need to.
Now my smartphone is 31% low on battery, and I'm 28% low on alcohooool. I need to eval my self!!!