Argumentation Using Temporal Knowledge

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. Keywords. Argumentation systems, Arguments, Temporal argumentation.

• Type: Conference
• Year: 2008
• Where: COMMA
• Authors: Nicholas Mann, Anthony Hunter
• Keywords: Applied Computing, COMMA 2008, Logic-based Argumentation, Temporal Argumentation, Temporal Knowledge