Argumentation Using Temporal Knowledge
Nicholas H. Mann, Anthony Hunter · Computational Models of Argument · 2008
Proposals for logic-based argumentation have the potential to be adapted for handling diverse kinds of knowledge. In this paper, a calculus for representing temporal knowledge is proposed, and defined in terms of propositional logic. This calculus is then considered with respect to argumentation, where an argument is pair such that Φ a minimally consistent subset of a database entailing α. Two alternative definitions of an argument are considered and contrasted.