"Non-standard logics for automated reasoning " - читать интересную книгу автора (Philippe Smets)