From your reference at: http://www.ihmc.us/users/phayes/IKL/SPEC/SPEC.html
Given a set S of individuals,
the proposition extension P(S) is the set of all propositions about a finite
subset of S. The universe UI is then required to contain all propositions
defined over itself, i.e. to be a fixed point of the equation x=P(x) under the
starting condition that x contain all referents of simple names, numerals and
quoted strings in the vocabulary. This fixedpoint is well-defined and countable
if the initial universe is, since every proposition can be regarded as composed
(perhaps in many ways) from a sentential form F and a name mapping N from its
vocabulary to the universe. Since sentential forms are finite, they have only
finitely many constituents; hence, propositions only have finitely many. Thus
for each proposition there is a finite set of things it is about, and a finite
size for its corresponding sentential form, and so the propositional extension
of a countable set is countable.
If a set of English sentential forms is complete and countable wrt a
corpus, then if EVERY English sentence in the corpus is represented by some
unification of AT LEAST ONE template, then the set of templates is
representative of the corpus.
Wouldn't the corpus so described and the templates so abstracted, be equivalent
input forms to a semantic interpreter?
-Rich
Sincerely,
Rich Cooper
EnglishLogicKernel.com
Rich AT EnglishLogicKernel DOT com
(949) 525-5712
725 Center Street
Costa Mesa,
CA 92627
-----Original Message-----
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
[mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Rich Cooper
Sent: Sunday, June 28, 2009 6:21 PM
To: '[ontolog-forum] '
Subject: Re: [ontolog-forum] Semantic Systems
JS>OK. Tell me what was the occasion when you directly saw,
heard,
felt, tasted, or smelled a disjunction. I can believe that you
saw something you couldn't interpret and name -- say a color
that was somewhere between yellow and green. But that is not
a disjunction. It is some explicit color that you couldn't
identify.
RC>Any two signs, experienced separated by a time delay, could be
distinguished given some discriminant predicate that is true for one
and
false for the other. Why would that be truer of conjuncts than
disjuncts?
The entire field of EE pattern recognition is based on finding such
invariant patterns among the signal fluffs, and normalizing the
patterns.
-Rich
Sincerely,
Rich Cooper
EnglishLogicKernel.com
Rich AT EnglishLogicKernel DOT com
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr:
http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr:
http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx