Facts, arguments, annotations and reasoning
Reasoning about facts and reasoning about arguments regarding facts are distinct activities, and automated reasoning systems should be able to treat them accordingly. In this work, we discuss one precise sense in which this distinction can be envisaged and suggest the use of Annotated Logics to characterise it.
automated reasoning annotated logic classical logic knowledge representation