>On Tue, Aug 07, 2007 at 02:55:23PM -0500, Chris Menzel wrote:
>> ...It is (among other things) completeness that makes FOL so important
>> to automated reasoning, as it means that, whenever A is a logical
>> consequence of S in a first-order logic, there is actually a *proof*
>> of A from some (finite) subset of S. (Alas, finding that proof is
>> another kettle of fish entirely, which is why we have more
>> constrained, less expressive logics like description logics and their
>> ilk.)
>
>An alert ontolog-forum reader has pointed out to me that "ilk" can have
>pejorative connotations and hence is often restricted to contexts where
>the persons or things referenced are in some way unsavory or
>undesirable, e.g., "fascists, racists, and others of that ilk." (01)
Interesting. I don't read it with that
connotation. Maybe its meaning has hardened in
recent years, like "hacker". But certainly in
Scotland (from where the usage hails) it means
"kind" or even "family", so McWhinnie of that ilk
means McWhinnie of the McWhinnies. "Ilk" is the
Scots dialect version of "like", and like much
Scots dialect it preserves an older version of
English, in this case the Chaucerian ilke,
meaning the same as. (02)
>(That
>example actually comes from OS X's built in dictionary program.) For
>the record, I want to point out that I had no such usage in mind above. (03)
Och, mannie, we hadnae sech a thowt aboot ye.
Ye're a gentleman, and nae mistakin. (04)
>My point was purely logical (05)
Weel, wha' else? A doot ye can manage a thowt that isnea logical if ye tried. (06)
>: that, due to the general undecidability of
>full FOL, research in automated reasoning has led to the development of
>more contrained logics that trade some measure of expressive power for
>decidability. DLs of course constitute a particularly salient and
>important example, as they underlie OWL and form the basis of a variety
>of ontology-oriented automated reasoning systems like Racer. The
>superfluous and potentially misleading tag "and their ilk" above should
>simply have been left off. (07)
Nae need to harp on so, y'r forgiv'n. (08)
Pat (09)
>
>-chris
>
>
>_________________________________________________________________
>Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
>Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
> (010)
--
---------------------------------------------------------------------
IHMC (850)434 8903 or (650)494 3973 home
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32502 (850)291 0667 cell
phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes (011)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (012)
|