"The Logic of Knowledge Bases" - читать интересную книгу автора (Hector J. Levesque, Gerhard Lakemeyer)