- From: Drew McDermott <drew.mcdermott@yale.edu>
- Date: Sun, 30 Nov 2003 16:58:27 -0500 (EST)
- To: www-rdf-rules@w3.org
[Bijan Parsia]
... except that
Shirky seems to be arguing, if against anything, against formality and,
you in so far as I can read your computation vs. deduction paragraph as
a half-agreement with Shirky, seem to agree, but I know that's wrong.
I'm in favor of formalizing that which can be formalized. Like
Wittgenstein.
I think the semantic web is going to be important in areas that have a
reasonable expectation of being formalizable, including things like
routine commercial transactions, certain kinds of information
retrieval, route planning, scheduling, optimization given well-defined
objective functions, combination of evidence sources for narrowly
circumscribed domains, and so forth. But even in these domains
deduction has no special status except that it is the most
conservative inference technique around.
-- Drew
--
-- Drew McDermott
Yale Computer Science Department
Received on Sunday, 30 November 2003 16:58:29 UTC