"Non-Standard Logics for Automated Reasoning" - читать интересную книгу автора (Smets P., Mamdani E.H., Dubois D., Prade H.)