Hi,
The basic difference between KNOW and existing
formal languages used for knowledge representation is that KNOW belongs
to a "term logic", while the others belong to "predicate logic".
Atomic sentences in term logic have the format "subject-copula-predicate", while
sentences in predicate logic have the format
"predicate(arguments)".
These two types of language are not equivalent at
the level of object-language. The detailed comparison of the two is a
long story. I'm working on a paper for it, and here is a brief
summary:
The term logic framework as the following
advantages over the predicate logic framework:
\item Its syntactic structure is closer to
that of a natural language.
\item It is easier to represent various types of uncertainty in a uniform. \item The concept of evidence can be naturally defined. \item The inference rules are simple and natural. \item The inference rules guarantee the semantic relevance among premises and conclusions. \item Multiple types of non-deductive inference can be defined and justified in a unified manner. \item Inference process is unified with other processes, such as learning and categorization. Pei
|
Title: Message
- [agi] An Artificial General Intelligence in the Making RSbriggs
- RE: [agi] An Artificial General Intelligence in the ... Ben Goertzel
- RE: [agi] An Artificial General Intelligence in the ... Gus Constan
- RE: [agi] An Artificial General Intelligence in ... Daniel Colonnese
- RE: [agi] KNOW Pei Wang
- RE: [agi] KNOW Daniel Colonnese
- Re: [agi] KNOW Pei Wang
- RE: [agi] An Artificial General Intelligence... Ben Goertzel
- Re: [agi] An Artificial General Intelligence... Shane Legg