Re: plain rules, please [was: Semantic Web Rule Language (SWRL) 0.5 released]

   [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