Nonmonotonic reasoning by inhibition nets

@article{Leitgeb2001NonmonotonicRB,
  title={Nonmonotonic reasoning by inhibition nets},
  author={Hannes Leitgeb},
  journal={Artif. Intell.},
  year={2001},
  volume={128},
  pages={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 (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… CONTINUE READING

Figures, Tables, and Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 11 CITATIONS

Nonmonotonic Reasoning by Inhibition Nets II

  • Hannes Leitgeb
  • Mathematics, Computer Science
  • International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
  • 2003
VIEW 10 EXCERPTS
CITES BACKGROUND

Role of Logic in Cognitive Science

VIEW 2 EXCERPTS
CITES METHODS

Logic and Complexity in Cognitive Science

VIEW 2 EXCERPTS
CITES METHODS & BACKGROUND

Completing causal networks by meta-level abduction

VIEW 2 EXCERPTS
CITES BACKGROUND

References

Publications referenced by this paper.
SHOWING 1-10 OF 26 REFERENCES