论文信息 - General Approach to Nonmonotonic Logics

General Approach to Nonmonotonic Logics

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.

Witold Lukaszewicz | W. Lukaszewicz

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

[2] Max J. Cresswell,et al. A New Introduction to Modal Logic , 1998 .

[3] Drew McDermott,et al. Nonmonotonic Logic II: Nonmonotonic Modal Theories , 1982, JACM.

[4] Drew McDermott,et al. Non-Monotonic Logic I , 1987, Artif. Intell..