9:34 AMTo:
[EMAIL PROTECTED]Subject: [agi] KNOW
Hi,
The basic difference between KNOW and existing
formal languages used for knowledge representation is that KNOWbelongs
toa "term logic", while the others belong to "predicate logic".
Atomic sentences in term logic h
Title: Message
- Original Message -
From:
Daniel
Colonnese
To: [EMAIL PROTECTED]
Sent: Monday, February 03, 2003 11:57
AM
Subject: RE: [agi] KNOW
Thanks Pei. Post a link to your paper if
possible.
I'll do that whenthepaperis finished.
Some