Coherent Knowledge has (finally!) made ErgoAI open source, with the release of version 3.
This means there are now two declarative languages capable of generating explanations in natural language. I will need to take a look and see how far apart the block languages would be for ErgoAI and s(CASP) as target languages, and determine if the reasoner platform should be changed, or if Blawx should support more than one.
My suspicion is that the multiple-world semantics of s(CASP) is going to provide opportunities that ErgoAI doesn't, and that ErgoAI is going to have computational efficiency advantages that s(CASP) doesn't, and that the ultimate solution will be to refactor the tool to be representation language agnostic, and to modularize out the languages it supports against some sort of shared ontological structure.
Coherent Knowledge has (finally!) made ErgoAI open source, with the release of version 3.
This means there are now two declarative languages capable of generating explanations in natural language. I will need to take a look and see how far apart the block languages would be for ErgoAI and s(CASP) as target languages, and determine if the reasoner platform should be changed, or if Blawx should support more than one.
My suspicion is that the multiple-world semantics of s(CASP) is going to provide opportunities that ErgoAI doesn't, and that ErgoAI is going to have computational efficiency advantages that s(CASP) doesn't, and that the ultimate solution will be to refactor the tool to be representation language agnostic, and to modularize out the languages it supports against some sort of shared ontological structure.