Nonmonotonic Reasoning by Inhibition Nets II

This paper is a sequel to Leitgeb. 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. are 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.

[1]  James L. McClelland,et al.  Parallel distributed processing: explorations in the microstructure of cognition, vol. 1: foundations , 1986 .

[2]  Hannes Leitgeb,et al.  Inference on the Low Level , 2004 .

[3]  G. Brewka.  Principles of Knowledge Representation , 1996 .

[4]  Philipp Slusallek,et al.  Introduction to real-time ray tracing , 2005, SIGGRAPH Courses.

[5]  Andreas Herzig,et al.  Conditionals: from philosophy to computer science , 1996 .

[6]  Sarit Kraus,et al.  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

[7]  Didier Dubois,et al.  Conditional objects, possibility theory and default rules , 1996 .

[8]  V. Lifschitz,et al.  Foundations of Logic Programming , 1997 .

[9]  Hector J. Levesque,et al.  All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..

[10]  Jürgen Dix,et al.  Nonmonotonic Reasoning: An Overview , 1997, CSLI Lecture Notes.

[11]  Hannes Leitgeb.  New Results on the Network Semantics for Cumulative Systems of Nonmonotonic Reasoning , 2001 .

[12]  Christian Balkenius,et al.  Nonmonotonic Inferences in Neural Networks , 1991, KR.

[13]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems , 1988 .

[14]  Jan van Eijck,et al.  Logic and Information Flow , 1994 .

[15]  Hannes Leitgeb,et al.  Nonmonotonic reasoning by inhibition nets , 2001, Artif. Intell..

[16]  David Makinson,et al.  General patterns in nonmonotonic reasoning , 1994 .

[17]  Peter Gärdenfors,et al.  How logic emerges from the dynamics of information , 1994 .

[18]  Haim Gaifman,et al.  Semantics of Logic Programs , 1990, ICLP.

[19]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.