From: Jim Hendler ([email protected])
Date: 02/07/01
At 12:40 PM -0600 2/7/01, Dan Connolly wrote:
>
>
>To have the parsing of one document depend on the
>contents of another conflicts with that goal/principle.
>
>Another way to state this principle is that
>the knowledge contained in two documents, X and Y,
>is always the conjunction of the knowledge in X with
>the knowledge in Y. To allow X to change what Y says
>in some non-monotonic way doesn't seem scalable/workable
>to me.
>
I absolutely agree with the first of these and completely disagree
with the second, so maybe they're not exactly equivalent... since I
tend to like examples, here's one
Web page 1 says: X is true
Web page 2 says: X is False
The parsing of web page 1 or two is not changed by reading the other,
but I don't know a good monotonic way to combine these two without
problem (solution is for me to tag them, or reject them, or something
- but I need to be allowed to recognize conflict)
web page 1 says: 1 is an integer
web page 2 says: 1 is a real
web page 3 says: 1 is not an integer
are these cases inherentely different? I'm not sure,
Prof. James Hendler [email protected]
Computer Science Dept 703-696-2238 (phone)
Univ of Maryland 703-696-2201 (Fax)
College Park, MD 20853 http://www.cs.umd.edu/~hendler
This archive was generated by hypermail 2.1.4 : 04/02/02 EST