"Reasoning and Revision in Hybrid Representation Systems" - читать интересную книгу автора (Bernhard Nebel)