Abstract: The non-monotonic reasoning system based on penalty function was originally introduced by Pinkas in 1995. The main idea of this method is to get unknown knowledge via the voting method ...