About us | Lectures | Papers | Seminar | Examples | Programs | Download | Links | Contact

Intelligent robots in the corridor.

Here we solve the conflict which arrise when two robots, R1 and R2, are trying to pass through the narrow corridor. They are placed face to face, in the middle of the corridor, and they are signaling each other what type of logic stucture, concerning moving options, they use. Let us suppose that both of them use the same logic structure defined by they preferences given in \eqref{eq.FL}, \eqref{eq.FR} and \eqref{eq.FW}. To avoid the crash they can:
turn right (R),      turn left (L),      wait (no action) (W).
Start the ranking procedure.