- From: Jim Hendler <hendler@cs.umd.edu>
- Date: Wed, 12 Jun 2002 03:57:00 -0400
- To: patrick hayes <phayes@ai.uwf.edu>, "Jonathan Borden" <jonathan@openhealth.org>
- Cc: "Dan Connolly" <connolly@w3.org>, www-rdf-logic@w3.org
> >>What >>is the harm in being so draconian in how we define truth? >> >>Isn't that how the internet works ... let a thousand flowers bloom ... and >>so why not allow a thousand truths? > >OK, provided you agree that when the ATM talks to the bank and >credit union computers, and those computers talk to the IRS >computers, and they all use their own notions of truth, that you are >happy with what happens to your bank account. And then of course >there are the FBI computers and the NIMA computers.... Interesting Pat, so you're saying that when I stick my little plastic card into the Automated teller in Italy, and it hands me Euros charging an appropriate exchange rate against my machine in the US, that they are using a formal model theory to make it work -- can you show it to me?? err, perhaps sometimes you underestimate what can be done with "social agreements" instead of pure logic... -JH -- Professor James Hendler hendler@cs.umd.edu Director, Semantic Web and Agent Technologies 301-405-2696 Maryland Information and Network Dynamics Lab. 301-405-6707 (Fax) Univ of Maryland, College Park, MD 20742 240-731-3822 (Cell) http://www.cs.umd.edu/users/hendler
Received on Wednesday, 12 June 2002 03:57:36 UTC