Events Events are abstractions. They represent time related objects in space and time. Events can be treated as similar to ”ordinary” objects, but when we talk about events, we use different wordings than for non temporal objects. The following paralells exist: SubEvent(BattleOf Britain,WorldWarII) Partof ( BattleOfBritain,WorldWarII) Period(BattleOf Britain)= [1940,1942]. Has(BattleOfBritain,period, [1940,1942]) Duration(Period(BattleOf Britain))=Years(2) Has(BattleOf Britain,Duration,2). Note that time intervals can be regarded as special form of event. SubEvent( BattleOf Britain, [1940,1942]).

Categorization of Events Like any other sort of objects, events can be grouped into categories. For example, WorldWarII belongs to the category Wars. To say that a Civil war occurred in England in the 1640s, we could say ako(event,thing). haveatt(event,period,interval). ako(war,event). haveatt(war,location,place). ako(civilwar,war). isa(w1,civilwars). has( w1,period,[1640,1649]). has(w1,location,england).

Event Examples We can add arguments to event description to create more specific categories. To say that Shankar flew from New York to New Dehli yesterday, we could write ako(flyevent,event). haveatt(flyevent,passenger,agent). haveatt(flyevent,source,place). haveatt(flyevent,destination,place). ako(fly(shankar,newyork,newdehli),flyevent). isa(e1, fly(shankar,newyork,newdehli)). has(e1,period,yesterday). A short notation for all this is E(fly(shankar,newyork,newdehli),yesterday). If we use a slightly different notation, we get close to a verbal expression do(fly(shankar,newyork,newdehli),yesterday).

Event objects and event categories In the previous example, it was tempting to let fly(shankar,newdelhi,newyork) be an event instead of an event category. ’isa(fly(shankar,newyork,newdehli),flyevent).’ ’has(fly(shankar,newyork,newdehli),period,yesterday).’ There are reasons to avoid this however because if Shankar flew from New York to New Delhi several times there would be no way to distinguish the the different times from the same expression fly(shankar,newyork,newdehli). However, there is a way of making a definition E(c,i)   e e  c  SubEvent(e,i) E(fly(shankar,newyork,newdehli),yesterday ). If we replace E by do, we we get closer to a verbal expression do(fly(shankar,newyork,newdehli),yesterday). Shankar did (at least once) yesterday fly from New York to New Delhi.

Shopping Event Examples In the shopping world, we can talk about shopping events. Yesterday, John went to the North Berkely Safeway supermarket and bought two pound of tomatoes and a pound of ground beef. We could give properties to buying event like this ako(buyingevent,event). haveatt(buyingevent,buyer,person). haveatt(buyingevent,purchase,bunchofgoods). haveatt(buyingevent,amount,money).

Shopping event cont’d A concrete shopping event can now be identified isa(e1,buyingevent). has(e1,buyer,john). has(e1,time,yesterday). has(e1,bunchofgoods,sometomatoesandbeef). We can also connect a verbal expression to a buyingevent do(buy(john, sometomatoesandbeef),yesterday). as isa(E,buyingevent), has(e1,buyer,john), has(e1,bunchofgoods,sometomatoesandbeef), has(e1,time,yesterday).

Processes The events so far are what we call discrete events. However, the category or set of events denoted Flying(Shankar) is actually made up of several subevents which are all members of Flying(Shankar). Categories of events with this property is called process categories. One metapredicate T(c,i) expresses that a process c is going on throughout an interval i. T(Working(Stuart),ToDayLunchHour).

Time Intervals Time is important for agents, and we shall look at two types: Moments and Intervals. Intervals have a Start, an End and a duration. Moments are special cases of Intervals with no duration, and Start = End. J. Allen was a pioneer in systematization of interval structures:

Relations between time intervals j i before(i,j) equal(i,j) | equal(j,i) (13 relations ) after(i,j)

Predicates on time intervals Meet(i,j) Before(i,j) After(j,i) During(i,j) Overlap(i,j) Overlap(j,i) Ends(i,j) Equals(i,j) Starts(i,j) i i i i j j j j i j There are 13 different relations (considering symmetries) i j i j

Mental Events and Mental Objects Agents may have beliefs and can deduce new beliefs. Yet none of them has any knowledge about beliefs and about deduction. The objects of beliefs are called mental objects. So we have relationships between agents and mental objects, called propositional attitudes. The most important relationships between an agent A and a mental object P are Believes(A,P) Knows(A,P) Wants(A,P) The representation of mental objects has the form of a proposition. Turning a proposition into an object is called reification. Example: Believes(Lois,Fly(Superman)).

Referential Transparency and Opacity There is a problem with propositional attitudes. As we but not Lois knows, Clark = Superman But the following inference does not hold Clark=Superman  Believes(Lois,Fly(Superman))  Believes(Lois,Fly(Clark)) Technically, the property of being able to substitute a term freely is called referential transparency. If not, the situation is referentially opaque.

Axioms of knowledge and belief There are many axioms, some that are contrversial Knowledge is true belief Knows(A,P) Believes(A,P)  P From that follows that Knows(A,P) => P The following applies for Know as well Logical agents can do simple reasoning (MP) Believes(A,P)  Believes(A,P =>Q) => Believes(A,Q) Logical agents can handle conjuntions Believes(A,P)  Believes(A,Q) Believes(A,P  Q) Logic agents believe tatutologies (controversial) |= P (tatutology) => Believes(A,P) Know whether is defined by KnowsWhether(A,P) Knows(A,P)  Knows(A,  P).

Exercise Do exercise in R&N: AIMA. You may use the book, chapter 10 as the basis. Try to answer the challenges stated in items (a) – (f). You may use the treatise in this handout and program examples on the repository as an inspiration. Ideally you should be able to make a runnable system for some of the tasks, but that is not a requirement. You are not required to to fill out details that are not explicitly asked for.