On 02/26/2017 04:02 PM, Amirouche Boubekki wrote:
In one sentence: Mine the history of inferences and ask the system to come up with inference control patterns that may speed up future inferences.Of course the problem of learning inference control patterns is open-ended, ultimately you need an AGI to address that. But wait, we have one! That's what we're building! How does PLN, backward/forward inference has to do with that? Is it the same thing as unification and subsumsion?
Ultimately inference can be used to extract even more subtle inference control patterns.
As for unification and subsumption, I don't think it is the same. Both the backward and forward chainers rely on unification to build inferences. And there are subsumptions at different levels, like within the type system, that is taken into account during unification, or via atomese constructs like InheritanceLink, to build relationships between concepts in the atomspace to reason on.
Nil
Thanks in advance. -- 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/39b254a0-c0b6-48b8-9051-dc1efdb16f9a%40googlegroups.com <https://groups.google.com/d/msgid/opencog/39b254a0-c0b6-48b8-9051-dc1efdb16f9a%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/f0563dfc-edc4-5913-dd88-e746d638c401%40gmail.com. For more options, visit https://groups.google.com/d/optout.
