How do you write and verify in cycl?
--- "YKY (Yan King Yin)" <[EMAIL PROTECTED]> wrote:
> This is a simplified version of LRR. I'm working on a translation into
> CycL.
>
>1.
>
>There exists a girl.
>2.
>
>She lived in the past.
>3.
>
>Her nickname is Little Red Ridi
You can customize object serialization in Java, but not in a way that
makes it really fast...
ben
On 3/30/07, Philip Goetz <[EMAIL PROTECTED]> wrote:
On 3/23/07, Ben Goertzel <[EMAIL PROTECTED]> wrote:
> Additionally, we need real-time, very fast coordinated usage of multiple
> processors in an
On 3/23/07, Ben Goertzel <[EMAIL PROTECTED]> wrote:
Additionally, we need real-time, very fast coordinated usage of multiple
processors in an SMP environment. Java, for one example, is really slow
at context switching between different threads.
Java's threads are fairly heavy. You can use Cyb
--- "YKY (Yan King Yin)" <[EMAIL PROTECTED]> wrote:
> This is a simplified version of LRR. I'm working on a translation into
> CycL.
This will be an interesting translation. I wonder if Cyc can answer the
following questions.
>
>1.
>
>There exists a girl.
Cyc probably already knows
That looks like a distinctly watered down version of the story to me :)
-
This list is sponsored by AGIRI: http://www.agiri.org/email
To unsubscribe or change your options, please go to:
http://v2.listbox.com/member/?list_id=303
This is a simplified version of LRR. I'm working on a translation into
CycL.
1.
There exists a girl.
2.
She lived in the past.
3.
Her nickname is Little Red Riding Hood.
4.
She wears a red riding hood everywhere.
5.
(3), because of (4).
6.
One day her mother made so
if you take the module route, some interesting qualities can be
-modules being run / developed / trained /debugged partly independent from the
system
-a way to run them in sandboxes so they cant delete your hard drive
-a way to control the amount of runtime they get (or priority, or
a scheme of a