[open-nars] Narsese-English translation

[Pei]

Hi all,

Currently there are a few students in Temple University involved in
NARS research, mostly doing testing on the system's expressing and
inferential power. One of them, Seemal Awan, has translated some of
the testing cases of Open-nars (see http://code.google.com/p/open-nars/wiki/SingleStepTestingCases)
from Narsese into English. I just put the files under
http://groups.google.com/group/open-nars/files, as Example-NAL1-
translation.doc to Example-NAL6-translation.doc

Hopefully her work will help other people to understand the system
better. Also, revisions, additions, and comments are welcome.

Pei

[S H]

this reminds me of controlled natural languages, like Attempto Controlled English (ACE).  i wonder how much it already or can be extended to express NARS statements.  it is used to express RDF and OWL.  here are some links to ACE:

http://attempto.ifi.uzh.ch/site/
http://code.google.com/p/aceview/

here is an example of an OWL file translated to ACE english ( http://attempto.ifi.uzh.ch/service/owl_verbalizer/owl_to_ace )

Every animal is something that is a cat or that is a goat.

Everything that is eaten by a goat is a leaf.
Everything that eats nothing but leaves is a goat.

Every human is a person that own an automobile.

Every human is something that is John or that is Mary.

Every man is a person.

Everything eats at most 1 thing.

Everything is eaten by at most 1 thing.

If X eats something that eats Y then X eats Y.

Everything that eats something is an animal.

Everything that is eaten by something is a food that is not an automobile.

If X hate Y then Y eats X.
If X eats Y then Y hate X.

John is a man.

Everything that is an apple or that is a leaf is a food.
  

[Pei]

Thanks for the links!

For every formal representation, there is the issue of how to
translate it into/from natural languages. In that aspect, what we are
doing is similar to the other projects.

However, there is an important technical difference: almost all the
other formal representations are either equivalent to the first-order
predicate calculus, or to a subset of it. NARS isn't. In a sense, it
is closer to natural languages, both in syntax (being term-oriented)
and in semantics (being experience-grounded). The difference is also
in inference --- the other systems are deduction only. If you compare
the examples in your email and the NARS examples, you can see some of
the differences.

Hopefully this translation/testing project will tell us more about the
strength and weakness of NARS, compared with other systems. So far,
the results are encouraging.

Pei

On Feb 4, 6:28 pm, S H <seh...@gmail.com> wrote:
> Currently there are a few students in Temple University involved in NARS research, mostly doing testing on the system's expressing and inferential power. One of them, Seemal Awan, has translated some of the testing cases of Open-nars (seehttp://code.google.com/p/open-nars/wiki/SingleStepTestingCases) from Narsese into English. I just put the files underhttp://groups.google.com/group/open-nars/files, as Example-NAL1- translation.doc to Example-NAL6-translation.doc Hopefully her work will help other people to understand the system better. Also, revisions, additions, and comments are welcome.this reminds me of controlled natural languages, like Attempto Controlled English (ACE).  i wonder how much it already or can be extended to express NARS statements.  it is used to express RDF and OWL.  here are some links to ACE:http://attempto.ifi.uzh.ch/site/http://code.google.com/p/aceview/
> here is an example of an OWL file translated to ACE english (http://attempto.ifi.uzh.ch/service/owl_verbalizer/owl_to_ace)Every animal is something that is a cat or that is a goat. Everything that is eaten by a goat is a leaf. Everything that eats nothing but leaves is a goat. Every human is a person that own an automobile. Every human is something that is John or that is Mary. Every man is a person. Everything eats at most 1 thing. Everything is eaten by at most 1 thing. If X eats something that eats Y then X eats Y. Everything that eats something is an animal. Everything that is eaten by something is a food that is not an automobile. If X hate Y then Y eats X. If X eats Y then Y hate X. John is a man. Everything that is an apple or that is a leaf is a food.

[Pei Wang]

David Lebson, a undergraduate student at Temple student, recently
finished his project "Investigation of the Effectiveness of NARS in
Video Game Scenarios". Now the report and testing cases are at
http://www.cis.temple.edu/~pwang/9991-PJ/Lebson/index.htm

Pei

> --
> You received this message because you are subscribed to the Google Groups "open-nars" group.
> To post to this group, send email to open...@googlegroups.com.
> To unsubscribe from this group, send email to open-nars+...@googlegroups.com.
> For more options, visit this group at http://groups.google.com/group/open-nars?hl=en.
>
>