Nonmonotonic reasoning by inhibition nets (Q5941136)

In this paper we show that certain networks called `inhibition nets' may be regarded as cognitive agents drawing nonmonotonic inferences. It is proved that the system CL (introduced by KLM in Artificial Intelligence 44, 186-189 (1990)) of nonmonotonic logic is both sound and complete with respect to the inferences drawn by finite hierarchical inhibition nets. The latter class of inhibition nets is shown to correspond to the class of finite, normal, hierarchical logic programs concerning dynamics, and also to the class of binary, layered, input-driven artificial neural networks.