Nonmonotonic reasoning by inhibition nets

Leitgeb, Hannes (2001): Nonmonotonic reasoning by inhibition nets. In: Artificial Intelligence, Bd. 128, Nr. 1: 161 - 201

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 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.

• Dokumententyp: Zeitschriftenartikel
• Keywords: Nonmonotonic reasoning; Networks; Inhibition; Cognitive agents; Cumulativity; Logic programs; Artificial neural networks
• Fakultät: Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) ; Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) > Logic
• Themengebiete: 100 Philosophie und Psychologie > 160 Logik
• ISSN: 1872-7921
• Sprache: Englisch