Physical presence of experiencer

[jefft0]

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?

[apease]

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