General approach to nonmonotonic logics

  • Authors:

  • Witold Lukaszewicz

  • Affiliations:

  • Institute of Informatics, University of Warsaw, Warszawa, Poland

  • Venue:
  • IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
  • Year:
  • 1983

Quantified Score

Hi-index 0.00

Visualization

Abstract

Nonmonotonic logics are logics in which theorems can be invalidated by new axioms. In this paper we propose a general framework in which a large class of nonmonotonic logics can be specified.