Penalty Logic: Paraconsistency and Applications

Аннотация

Penalty logic is a non-classical non-monotonic logic which allows us to demonstrate the power of belief, the level of truth or the reliability of data that we are using. This logic can  be useful to model human reasoning or to replace the penalty function in the sphere of Machine Learning. We can also talk about paraconsistency of this logic and suggest the definition of contradiction without negation.