Logikk og ressonerende systemer