With the release of my restored versions of #FMCS and #Babylon I plan on posting more about #SymbolicAI programming techniques and algorithms, the #KnowledgeEngineering approach to #MachineLearning, and why #DemonicMetaprogramming (as in, #Metaprogramming under the semantics of demonic nondeterminism) is so important for them

Whenever applicable, I will include side-by-side comparisons of #Babylon and #KnowledgeWorks as well

#AI #CommonLisp #Lisp #OpenSource

I’ve restored Jürgen Walther’s #Babylon #AIWorkbench system for #CommonLisp from the CMU AI Repository, released under the #MITLicense and available from #Ultralisp or directly from the #GitHub repo linked below

Babylon provides a comprehensive set of tools for #SymbolicAI programming and metaprogramming, such as frames, productions, propositional and predicate logic, constraint satisfaction, expert systems, demonic metaprogramming via #FMCS, to build #KnowledgeEngineering based systems

It’s basically an #OpenSource version of #KnowledgeWorks from #LispWorksEnterprise (although I’ve made no attempt to optimize or benchmark performance of Babylon against KW at this stage)

Naturally I plan to extend Babylon with all the tools necessary for #ConnectionistAI programming as well

#Lisp #AI

https://github.com/thephoeron/babylon/