COSC 4401/5326 Sample End-of-Term Test Questions

1) Consider the ConGolog program (a1 || (a2;a3) || a4) where a1, a2,
a3 and a4 are primitive actions that are always possible.  Give 3
different final situations for this progran when executed starting in
s0, i.e. three different situations s such that
Do((a1 || (a2;a3) || a4),s0,s).

2) In 5 lines, explain what "triggers" are in OAA.

3) In no more than one page, discuss the similarities and differences
between ConGolog and 3APL.

4) Give an example of a simple IndiGolog program P (less than one line long)
such that indigolog(search(P)) succeeds, but indigolog(P) fails.

5) Based on the semantics of ConGolog, give a formula Phi that does
not contain Trans, such that Trans([a1 | p?],s,d,s') <-> Phi.  In
this, a1 is a primitive action.

6) In Shapiro's model of communication, what happens when an agent
agt1 informs another agent agt2 that some proposition P is true and
agt2 knows that P is false?  That is, if Know(agt2, ~P, S0),
do we have Know(agt2, P, do(inform(agt1,agt2,P),S0))?
Do we have Know(agt2, ~P, do(inform(agt1,agt2,P),S0))? 

7) Suppose that we have an IndiGolog elevator controller agent and a
Java elevator GUI agent and that the elevator agent wants to ask the
GUI agent whether the call button for floor 4 is on, i.e. whether
"buttonOn(4) = on".  If both agents speak KQML, what message would the
elevator agent send to the GUI agent to make this query?
Same question, when both agents speak in OAA ICL?

8) A very simple reactive elevator controller in ConGolog might be
written using prioritized interrupts as follows:

<n : ButtonOn(n) --> serve(n)>
>>
<currentFloor =\= 1 --> goDown>

Write a similar control program in 3APL using rules.