- 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