"Knowledge representation and reasoning" - читать интересную книгу автора (Ronald J Brachman; Hector J Levesque )