"Non-standard logics for automated reasoning" - читать интересную книгу автора (Smets P., Mamdani E.H., Dubois D., Prade H. (eds.) )