Nonmonotonic reasoning by inhibition nets

Abstract In this paper we will show that certain networks called ‘ inhibition nets ’ may be regarded as cognitive agents drawing nonmonotonic inferences. It will be proven that the system CL (introduced by KLM in [Artificial Intelligence 44 (1990) 186–189]) 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.

[1]  Gerhard Schurz,et al.  Probabilistic Semantics for Delgrande's Conditional Logic and a Counterexample to His Default Logic , 1998, Artif. Intell..

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

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

[4]  Grigoris Antoniou,et al.  Nonmonotonic reasoning , 1997 .

[5]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[6]  Gerhard Schurz,et al.  Nonmonotonic Reasoning and Changes of Belief , 1994 .

[7]  W. Reitman.  Brains, Machines, and Mathematics. Michael A. Arbib. McGraw-Hill, New York, 1964. xiv + 152 pp. Illus. $6.95 , 1964 .

[8]  W. Freeman.  Second Commentary: On the proper treatment of connectionism by Paul Smolensky (1988) - Neuromachismo Rekindled , 1989 .

[9]  Jan van Eijck,et al.  How Logic Emerges from the Dynamics of Information , 1994 .

[10]  Gerhard Brewka,et al.  Nonmonotonic Reasoning: Logical Foundations of Commonsense By Gerhard Brewka (Cambridge University Press, 1991) , 1991, SGAR.

[11]  Raúl Rojas,et al.  Theorie der neuronalen Netze , 1993 .

[12]  T. Gelder,et al.  The dynamical hypothesis in cognitive science , 1998, Behavioral and Brain Sciences.

[13]  Gerhard Schurz,et al.  Normische Gesetzeshypothesen und die wissenschaftsphilosophische Bedeutung des nichtmonotonen Schliessens , 2001 .

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

[15]  T. Horgan,et al.  Connectionism and the Philosophy of Psychology , 1996 .

[16]  P. Smolensky.  On the proper treatment of connectionism , 1988, Behavioral and Brain Sciences.

[17]  W. Pitts,et al.  A Logical Calculus of the Ideas Immanent in Nervous Activity (1943) , 2021, Ideas That Created the Future.

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

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

[20]  Frank Harary,et al.  Graph Theory , 2016 .

[21]  J. Richard Eiser.  The dynamical hypothesis in social cognition , 1998, Behavioral and Brain Sciences.

[22]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[23]  V. Wiktor Marek,et al.  Nonmonotonic Logic , 1993, Artificial Intelligence.

[24]  Rudolf Kruse,et al.  Neuronale Netze und Fuzzy-Systeme , 1994 .

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

[26]  Gerhard Brewka.  Cumulative Default Logic: In Defense of Nonmonotonic Inference Rules , 1991, Artif. Intell..

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

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

[29]  Matthew A. Lambon Ralph,et al.  Distributed versus Localist Representations: Evidence from a Study of Item Consistency in a Case of Classical Anomia , 1998, Brain and Language.

[30]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[31]  Leslie G. Valiant,et al.  Circuits of the mind , 1994 .

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

[33]  John L. Pollock,et al.  A theory of defeasible reasoning , 1991, Int. J. Intell. Syst..

[34]  M. Arbib.  Brains, Machines, and Mathematics , 1987, Springer US.

[35]  Gerhard Schurz,et al.  Pietroski and Rey on Ceteris Paribus Laws , 2001, The British Journal for the Philosophy of Science.

[36]  Kurt Konolige,et al.  On the Relation Between Default and Autoepistemic Logic , 1987, Artif. Intell..