论文信息 - Nonmonotonic theories and their axiomatic varieties

Nonmonotonic theories and their axiomatic varieties

The properties of monotonic inference systems and the properties of their theories are strongly linked. These links, however, are much weaker in nonmonotonic inference systems. In this paper we introduce the notion of anaxiomatic variety for a theory and show how this notion, instead of the notion of a theory, can be used for the syntactic and semantic analysis of nonmonotonic inferences.

Zbigniew Stachniak | Z. Stachniak

[1] R. Wójcicki. Theory of Logical Calculi: Basic Theory of Consequence Operations , 1988 .

[2] David Makinson,et al. General Theory of Cumulative Inference , 1988, NMR.

[3] Dov M. Gabbay,et al. Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning , 1994 .

[4] Zbigniew Stachniak. Two theorems on many-valued logics , 1988, J. Philos. Log..

[5] Zbigniew Stachniak,et al. Algebraic Sematics for Cumulative Inference Operations , 1993, AAAI.

[6] David Makinson,et al. General patterns in nonmonotonic reasoning , 1994 .

[7] Dov M. Gabbay,et al. Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems , 1989, Logics and Models of Concurrent Systems.

[8] Yoav Shoham,et al. New Results on Semantical Non-Monotonic Reasoning , 1988, NMR.

[9] B. Piochi. Logical matrices and non-structural consequence operators , 1983 .

[10] Grzegorz Malinowski,et al. Many-Valued Logics , 1994 .

[11] Ryszard Wójcicki,et al. Theory of Logical Calculi , 1988 .

[12] Sarit Kraus,et al. Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..