NONMONOTONIC REASONING BY INHIBITION NETS II
Hannes Leitgeb · International Journal of Uncertainty Fuzziness and Knowledge-Based Systems · 2003
This paper is a sequel to Leitgeb7. We show that certain networks called 'inhibition nets' may be regarded as mechanisms drawing nonmonotonic inferences if only an interpretation of net states as states of belief is introduced. We prove that each of the cumulative logical systems studied by Kraus et al.6are sound and complete with respect to certain classes of such interpreted inhibition nets. Thus, there is an adequate cognitive network semantics for the systems C, CL, P, CM, and M of (nonmonotonic) logic.