On Thu, Apr 27, 2017 at 11:47 PM, Daniel Gross <[email protected]> wrote:
> Hi Linas, > > I guess i should further ask: > > What determines the expressiveness of OpenCogs representation, the one > that is bult-into its inference. > That's three different questions. Inference is done by PLN, and it uses only a dozen atom types or so. You can design your own inference system, by use the provided backward and forward chainers. These can work with any atom types. The default set of atom types is quite rich, (over a hundred) but you can add more if you wish. http://wiki.opencog.org/w/Atom_types The "expressiveness" isn't limited, per-se: the opencog atom types define typed lambda calculus, Thus, you can compute anything a turning machine can compute, and also more: anything a quantum computer could compute, or a generic machine on a homogenous space (a quotient of lie groups) -- the later generalizing both the turing machine and the quantum computer. Whoop-de-doo. But "expresiveness" is not a hard problem to solve. That's not where the action is. --linas > > thank you, > > Daniel > > On Thursday, 27 April 2017 05:27:45 UTC+3, linas wrote: > >> >> >> On Wed, Apr 26, 2017 at 2:06 PM, Nageen Naeem <[email protected]> wrote: >> >>> how I can differentiate knowledge representation in OpenCog and >>> traditional knowledge representation techniques. >>> >> >> Opencog is really pretty traditional in its representation form. There >> are whizzy bits: the ability to assign arbitrary valuations to the KR (e.g. >> floating point probabilities). Maybe I should say that opencog allows you >> to "design your own KR", although it provides a reasonable one, based on >> the PLN books. >> >> There's a pile of tools not available in other KR systems, including a >> sophisticate pattern matcher, a prototype pattern miner, a learning >> subsystem, an NLP subsystem. Its an active project, its open source, with >> these last two distinguishing it from pretty much everything else. >> >> --linas >> >> >>> >>> On Thursday, April 27, 2017 at 12:02:16 AM UTC+5, Nageen Naeem wrote: >>>> >>>> basically, i want to compare knowledge representation techniques, want >>>> to compare knowledge representation in OpenCog and in clarion? any >>>> description, please. >>>> >>>> On Wednesday, April 26, 2017 at 11:54:11 PM UTC+5, linas wrote: >>>>> >>>>> >>>>> >>>>> On Wed, Apr 26, 2017 at 1:41 PM, Nageen Naeem <[email protected]> >>>>> wrote: >>>>> >>>>>> OpenCog didn't shift to java from c++? >>>>>> >>>>> >>>>> You are welcome to study https://github.com/opencog for the source >>>>> languages used. >>>>> >>>>> >>>>>> Thanks for defining pros and cons if there is any paper on comparison >>>>>> with other architecture kindly recommend me. >>>>>> >>>>> >>>>> Ben has written multiple books on the archtiecture in general. The >>>>> wiki describes particular choices. >>>>> >>>>> I am not aware of any other (knowledge-representation) architectures >>>>> that can do what the atomspace can do. So I'm not sure what you want to >>>>> compare against. Triplestore? various actionscripts? Prolog? >>>>> >>>>> --linas >>>>> >>>>> >>>>>> On Wednesday, April 26, 2017 at 9:36:04 PM UTC+5, Ben Goertzel wrote: >>>>>>> >>>>>>> OpenCog did not shift from Java to C++, it was always C++ >>>>>>> >>>>>>> The advantage of Atomspace is that it allows fine-grained semantic >>>>>>> representations of all forms of knowledge in a common framework. >>>>>>> The >>>>>>> disadvantage is, this makes things complicated. The other >>>>>>> advantage >>>>>>> is, this fine-grained representation makes data amenable to multiple >>>>>>> AI algorithms, including ones that can work together synergetically >>>>>>> >>>>>>> ben >>>>>>> >>>>>>> On Wed, Apr 26, 2017 at 12:10 PM, Nageen Naeem <[email protected]> >>>>>>> wrote: >>>>>>> > Hey, >>>>>>> > I'm searching for pros and cons for using atomspace for knowledge >>>>>>> > representation but didn't get any full-fledged answer related to >>>>>>> it. what >>>>>>> > are the pros and cons of using atomspace and why OpenCog shifted >>>>>>> to java >>>>>>> > from c++ what are reasons behind it? >>>>>>> > >>>>>>> > -- >>>>>>> > 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/bd2cd2ad-b15c-4a2e >>>>>>> -a962-328a3197c0d7%40googlegroups.com. >>>>>>> > For more options, visit https://groups.google.com/d/optout. >>>>>>> >>>>>>> >>>>>>> >>>>>>> -- >>>>>>> Ben Goertzel, PhD >>>>>>> http://goertzel.org >>>>>>> >>>>>>> "I am God! I am nothing, I'm play, I am freedom, I am life. I am the >>>>>>> boundary, I am the peak." -- Alexander Scriabin >>>>>>> >>>>>> -- >>>>>> 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/d6da6287-a623-47eb >>>>>> -b3c3-6444bce465c0%40googlegroups.com >>>>>> <https://groups.google.com/d/msgid/opencog/d6da6287-a623-47eb-b3c3-6444bce465c0%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/CAHrUA34M6YXsUtXZfHrFXChztnCPZgrzHcaoOen4%2B7MAY1KXxw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
