"Foundations of artificial intelligence 3: Handbook of Knowledge Representation" - читать интересную книгу автора (Frank van Harmelen, Vladimir Lifschitz, Bruce Porter)