Thank you for your prompt response and pointers, Nil. Both URE and PLN look to be in my wheelhouse.
I'm reading through simple and frog at the moment. It looks like rewrite rules are written in Atomese. I assume this is because the goal is for most, if not all, rules to be learned rather than built-in. How is rule learning accomplished, i.e., what subsystem would have dominion over that process? On Wednesday, April 17, 2019 at 10:43:03 AM UTC-5, Nil wrote: > > Hi James, > > your help on PLN, and logic/reasoning in general could be greatly > appreciated! > > OpenCog has an rewriting system, call the Unified Rule Engine (URE), > akin to Prolog, with some special operators to communicate with the > AtomSpace (OpenCog's hypergraph data base) and manipulate sub-symbolic > knowledge, probabilities, tensors, etc. > > On top of the URE is implemented PLN (Probabilistic Logic Network), but > really any type of logic can be implemented, even higher order (albeit > with some inconveniences since the unifer is first-order-ish). > > I suggest you go straight to the examples > > https://github.com/opencog/atomspace/tree/master/examples/ure > > start with simple, then frog. > > Then go to the PLN examples if you wish > > https://github.com/opencog/opencog/tree/master/examples/pln > > start with good-song. > > There's plenty more stuff to explore. For instance we have a pattern > miner that runs on top the URE, a program learner called MOSES, etc. > > Nil > > On 4/17/19 6:30 PM, James Bolden wrote: > > Hi, > > > > My name is James Bolden. I'm an upperclassman math and philosophy > > student with significant computer science experience. > > My philosophy background has been concerned primarily with philosophy of > > mind and consciousness studies. My experience in > > mathematics has been aimed towards abstract algebra and mathematical > > logic. Anyway, I'm interested in contributing to OpenCog > > in whatever capacity I can. However, I'm not totally sure where to > > start. I've done a lot of reading on the wiki and played around > > some with the atomspace. But I've only got a basic grasp of some of the > > key systems (this project is big). Any pointers or direction > > would be greatly appreciated. > > > > Thanks, > > James > > > > -- > > 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] <javascript:> > > <mailto:[email protected] <javascript:>>. > > To post to this group, send email to [email protected] > <javascript:> > > <mailto:[email protected] <javascript:>>. > > 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/5d11793d-9327-413c-8f11-df7560bb72a0%40googlegroups.com > > > < > https://groups.google.com/d/msgid/opencog/5d11793d-9327-413c-8f11-df7560bb72a0%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/7a5e7b0a-e4b0-4f8a-aa1a-a70d3b436352%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
