4 ms·
Sounds similar to IBM Watson that generates Prolog code on-the-fly. I wonder if Viv is using Prolog behind the scenes too (behind the visual AST representation)
by frik 10y ago
Sounds similar to IBM Watson that generates Prolog code on-the-fly. I wonder if Viv is using Prolog behind the scenes too (behind the visual AST representation).
- nl 10y agoAFAIK Watson doesn't generate Prolog. It does use Prolog rules: "Specifically, decomposition for Puzzle questions is performed by matching manually developed Prolog rules against the question’s predicate-argument structure to identify its subparts.", "Relation detection patterns are written in Prolog and apply unification pattern matching over PAS" "Most of our rule-based question analysis components are implemented in Prolog" (All from the IBM system journal issue on Watson). I'm pretty sure I've read all the published papers on Watson (the QA system). It's possible I've missed something, so a citation would be great if I have.
- frik 10y agoThe missing puzzle piece for your understanding, is how Prolog works. Prolog is declarative programming language, the program logic is expressed in terms of relations, represented as facts and rules. A computation is initiated by running a query over these relations.
- nl 10y agoYes. And? Watson doesn't generate its own rules - they are hard coded.
- agumonkey 10y agoI was a bit pissed at the shiny marketing talk about dynamically generated programs. I wonder how new this is really or if it's just a way to appear fancy by hiding behind USPTO curtains.
- lucb1e 10y agoI don't know much about the process of getting a patent, but at least once you have it, the whole idea is that they can't hide behind curtains. In exchange for time-limited exclusivity you have to publish how your invention works.
- agumonkey 10y agoYou do have to describe your thing but it's not that precise.