Rules, reasons, arguments : formal studies of argumentation and defeat