knowledge representation and logical agents 6800156