On Wed, Dec 13, 2017 at 12:23 PM, Mindey I. <[email protected]> wrote:
>
> Atomese is not an ontology, like OpenCyc, nor is it a KR representation
>> language, like KIF. It is a meta-language that can describe these other
>> two languages.
>>
>
> For what I understand, it's an evolving generalized hypergraph database,
> linking hardware systems, not just software and concept definitions as
> hyperedges, and thus, having something else than itself to map its
> hyperedges is not readily possible, would that be a good way to put it? If
> not, what makes atomese unrepresentable in other languages?
>
It would be easiest to work out some examples. Suppose your KR language
has relations for "is-a", "has-part" -- these are two relations in
WordNet. In atomese, I can represent these as
EvaluationLink
PredicateNode "is-a"
ListLink
Variable "$X"
Variable "$Y"
and
EvaluationLink
PredicateNode "has-part"
ListLink
Variable "$X"
Variable "$Y"
But, in atomese, I can also write:
EvaluationLink
PredicateNode "has-similar-color"
ListLink
Variable "$X"
Variable "$Y"
Since WordNet does not have a "has similar color" relation, that's it, game
over.
>
>
>> If you wish, you could take OpenCyc, and put it into the atomspace (this
>> has been done before), or you could take anything in KIF, and put it into
>> the atomspace. But you cannot go in the other direction. So this doesn't
>> make sense. They're operating at different levels.
>>
>
> How would things like this be addressed in atomspace? What would be the
> address for OpenCyc in it, or what about the address of IBM's Watson in it?
> A hardware I/O system is also a relation to me.
>
I don't understand the question. Perhaps this:
EvaluationLink
PredicateNode "has URL"
ListLink
Concept "IBM Watson"
Concept "http://www.ibm.com/watson/";
or perhaps
EvaluationLink
PredicateNode "runs on hardware made from PowerPC"
ListLink
Concept "IBM Watson"
which would evaluate to "true" or "probably true".
Think of it this way: atomese is kind-of-like json, or kind-of-like
javascript, or kind-of-like prolog or kind-of-like SQL -- it is a little
bit like all of these.
If your email asked: can I translate atomese into prolog, or atomese into
javascript, I would have said, yes, sort-of-maybe with various
difficulties. If you asked "can I translate prolog into atomese" or "can I
translate javascript into atomese" I would have said "yes, with various
difficulties".
But instead you compared it to KIF and OpenCyc. Can random prolog or
javascript programs be converted to KIF or OpenCyc? I don't think so, not
in any normal sense.
--linas
>
> Mindey
>
> --
> 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/7e033647-faca-4072-999d-31b9f206de6b%40googlegroups.com
> <https://groups.google.com/d/msgid/opencog/7e033647-faca-4072-999d-31b9f206de6b%40googlegroups.com?utm_medium=email&utm_source=footer>
> .
>
> For more options, visit https://groups.google.com/d/optout.
>
--
*"The problem is not that artificial intelligence will get too smart and
take over the world," computer scientist Pedro Domingos writes, "the
problem is that it's too stupid and already has." *
--
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/CAHrUA34YpwYjoc6ehdG%2BCWi6MTg059u66D40%2BnhhB6nc6igojQ%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.
