A reconstruction of Signed Systems for Paraconsistent Reasoning within the Adaptive Logic Program ∗