A Too-Clever Ranking Method

behind it, see Anderson and Perlis (2005). 3. In the case of logic-based domains, an anomaly often takes the form of a direct contradiction, E and ¬E. This is the case, for instance, not only in the nonmonotonic reasoning domain, but also in the natural language domain discussed in this article. For these, we employ active logic (Elgot-Drapkin and Perlis 2006), a time-sensitive inference engine specifically designed to allow an automated agent to reason in real time about its own ongoing reasoning, noting direct contradictions rather than inadvertently using them to derive all sentences.