A formalism for automated generation of preferred arguments