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]
<mailto:[email protected]>.
To post to this group, send email to [email protected]
<mailto:[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/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/331e03da-9bf5-8d18-913d-966e793a2ddc%40gmail.com.
For more options, visit https://groups.google.com/d/optout.
