Yes, opencog atomese is very much influenced by ideas from prolog. However, unlike flora2 and ergo, it just seemed easier to cut loose and ignore all the other buzz-words: "semantic web" "W3C", RIF, etc because trying to track all of that, being buzzword compliant, was just wayyy too much work.
Also, atomsese is unlike prolog (or flora or ergo) because it's very interested in probabilistic methods: have not boolean true/false, but have probabilities attached to everything. this means that in the end, all the buzzwords in flora/ergo would need to get ported to a probabilistic, uncertain-inference framework. And that changes the game completely. Also, another difference: those urls mention https://en.wikipedia.org/wiki/F-logic whereas atomese is a "meta-logic", so that you can layer f-logic or whatever your favorite system or logic, on top of atomese. It tries hard to not care about what logic or KR system you want to use. It got pushed that way because of the goofy arguments between Pei Wang's NARS group, and Opencog's PLN: I just said -- screw it, make a system that can do either or both at the same time. whatever structure or formula you want to use .. Bayesian probability or something else ... its up to you. The chainers and the pattern tools are meant to be generic. --linas On Tue, May 9, 2017 at 3:09 PM, Dmitry Ponyatov <[email protected]> wrote: > but I am not pursuing this path because I want object-oriented code - the >> generated code should be of industrial quality. >> > > I see Prolog-derivatives as implementation of backtracking reasoner on top > of hypergraph knowledge base -- prolog rules look like exclusively > hypergraph beast. > > Maybe you should look here ? This Ergo/Flora system include mix of > > - Minsky frames looks like native representation for object-based > software systems, and > - Transactional Reasoning represents state machines behavior in logic > programming domain. > > https://sites.google.com/a/coherentknowledge.com/ergo-suite-tutorial/ > > and free core at http://flora.sourceforge.net/ > > Flora-2 (a.k.a. Ergo Lite) is an advanced object-oriented knowledge > representation and reasoning system. It is a dialect of F-logic with > numerous extensions, including meta-programming in the style of HiLog, > logical updates in the style of Transaction Logic, and defeasible > reasoning. Applications include intelligent agents, Semantic Web, > knowledge-based networking, ontology management, integration of > information, security policy analysis, and more. > > > > At first time I thought about opencog as a partner for Flora, firstly, as > a visualization tool (it seems Flora lacks it) and as a generic engine for > non-backtracking applications. > But I found lot of problems with opencog nonportability and lack of > prebuilt packages for Debian Linux, not speaking about necessity to shove a > buggy virtualbox to my win32 host system. > > Now I'm playing with http://hypergraphdb.org as standin for opencog at > this role. > > -- > 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/7ead7c35-ec95-4ddf-874c-0f4ddb38a935%40googlegroups.com > <https://groups.google.com/d/msgid/opencog/7ead7c35-ec95-4ddf-874c-0f4ddb38a935%40googlegroups.com?utm_medium=email&utm_source=footer> > . > > For more options, visit https://groups.google.com/d/optout. > -- 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/CAHrUA35mEEiUx6boeWxR4TmtknrUTOLmt2_yNwdmHY8%3D5A3LCw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
