


From: Jim Hendler <hendler@cs.umd.edu>
Date: Wed, 12 Jun 2002 03:57:00 -0400
Message-Id: <p05111708b92caeca2df2@[]>
To: patrick hayes <phayes@ai.uwf.edu>, "Jonathan Borden" <jonathan@openhealth.org>

>>is the harm in being so draconian in how we define truth?
>>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...

Professor James Hendler				  hendler@cs.umd.edu
Director, Semantic Web and Agent Technologies	  301-405-2696
Received on Wednesday, 12 June 2002 03:57:36 GMT
