Relative Logic for Intelligence-Based Systems