"Knowledge Representation and Reasoning" - читать интересную книгу автора (Ronald Brachman, Hector Levesque)