Nonmonotonic reasoning by inhibition nets

Authors
Citation
H. Leitgeb, Nonmonotonic reasoning by inhibition nets, ARTIF INTEL, 128(1-2), 2001, pp. 161-201
Citations number
31
Categorie Soggetti
AI Robotics and Automatic Control
Journal title
ARTIFICIAL INTELLIGENCE
ISSN journal
00043702 → ACNP
Volume
128
Issue
1-2
Year of publication
2001
Pages
161 - 201
Database
ISI
SICI code
0004-3702(200105)128:1-2<161:NRBIN>2.0.ZU;2-3
Abstract
In this paper we will show that certain networks called 'inhibition nors' m ay be regarded as cognitive agents drawing nonmonotonic inferences. It will be proven that the system CL (introduced by KLM in [Artificial Intelligenc e 44 (1990) 186-189]) of nonmonotonic logic is both sound and complete with respect to the inferences drawn by finite hierarchical inhibition nets. Th e latter class of inhibition nets is shown to correspond to the class of fi nite, normal, hierarchical logic programs concerning dynamics, and also to the class of binary, layered, input-driven artificial neural networks. (C) 2001 Elsevier Science B.V. All rights reserved.