Open jefft0 opened 8 years ago
Hi Jeff,
I agree, we should have an axiom that says you can't be in, or experience something in two places at once. I looked at the axioms for &%located and &%partlyLocated and didn't seem to find anything. So, if you have a chance to look for an axiom that might cover this, it would be a helpful double-check. If we don't find anything, we could say something like
(=>
(holdsDuring ?T
(located ?A ?P))
(not
(exists (?P2)
(and
(not
(partlyLocated ?P2 ?P))
(not
(equal ?P ?P2))
(holdsDuring ?T
(located ?A ?P2))))))
(=>
(experiencer ?P ?A)
(not
(exists (?P2)
(and
(overlapsTemporally ?P ?P2)
(experiencer ?P2 ?A)
(not
(partlyLocated (WhereFn ?P) (WhereFn ?P2)))))))
I'm not 100% sure these are right, but they are a start.
Adam
The Calendar has Processes where the user is the experiencer. I can think of two ways that there could be conflicts between such processes: Can't be physically in two non-overlapping Regions at the same time, and can't pay attention to different things at the same time. The first is simpler, so let's start there.
Is there a subclass of Process, or a subrelation of experiencer, or some other way to say that an Agent is an experiencer of a Process because of physical presence? A positive example is taking a Trip from one location to another. A negative example is attending a Skype meeting or balancing a checkbook for an hour (where "paying attention" would be relevant issue regardless of physical presence). How can the Calendar examine a Process and know to look for conflicts based on the experiencer's physical location?