Title: Relative Logic for Intelligence-Based Systems