"Foundations of Knowledge Representation and Reasoning " - читать интересную книгу автора (Gerhard Lakemeyer, Bernhard Nebel)