On 4/17/19 7:02 PM, James Bolden wrote:
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
Correct. :-)
is rule learning accomplished, i.e., what subsystem would have dominion
over that process?
If we're talking about logical rules, ultimately I suppose they should
be reasoned out, at least if we want to guaranty that they are correct.
Outside of that, any thing that can spit a BindLink should do the trick,
such as MOSES (once fully ported to support Atomese) or the pattern miner.
Orthogonally you may want to have a look at
https://github.com/opencog/opencog/tree/master/examples/pln/inference-control-learning
a little experiment to learn Control Rules (as opposed to Inference
Rules) to guide reasoning, using the pattern miner as learner.
Nil
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
<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
<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
<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>
>
<https://groups.google.com/d/msgid/opencog/5d11793d-9327-413c-8f11-df7560bb72a0%40googlegroups.com?utm_medium=email&utm_source=footer
<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
<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]
<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/7a5e7b0a-e4b0-4f8a-aa1a-a70d3b436352%40googlegroups.com
<https://groups.google.com/d/msgid/opencog/7a5e7b0a-e4b0-4f8a-aa1a-a70d3b436352%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/4b53f629-b9d7-54ca-6564-043888ff7e24%40gmail.com.
For more options, visit https://groups.google.com/d/optout.
