Robot No.1: It is dark in here.
Robot No.2: Had the switch been up the light would be on.
Robot No.1: The switch is up.
Robot No.2: Had the switch been down the light would be on.
Teaching Experience in Artificial Intelligence
 

Mathematical Foundations of Artificial Intelligence: Algebraic Models.
Postgraduate Course, Academy of Sciences of Cuba, 1993.

Back