论文信息 - Credulous Nonmonotonic Inference

Credulous Nonmonotonic Inference

We present a formal characterization and semantic representation for a number of credulous inference relations based on the notion of an epistemic state. It is shown, in particular, that credulous inference can be naturally represented in terms of expectations (see [Gardenfors and Makinson, 1994]). We describe also the relationships between credulous and usual skeptical nonmonotonic inference and show how they can facilitate each other.

Alexander Bochman | A. Bochman

[1] Claudette Cayrol,et al. Non-monotonic Syntax-Based Entailment: A Classification of Consequence Relations , 1995, ECSQARU.

[2] Yves Moinard,et al. Circumscriptions from What They Cannot Do (preliminary Report) , 1998 .

[3] Stefan Brass,et al. On the Semantics of Supernormal Defaults , 1993, IJCAI.

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

[5] Peter Gärdenfors,et al. Nonmonotonic Inference Based on Expectations , 1994, Artif. Intell..

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

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

[8] Donald Nute,et al. Defeasible Logic and The Frame Problem , 1990 .

[9] Jürgen Dix,et al. The relationship between KLM and MAK models for nonmonotonic inference operations , 1992, J. Log. Lang. Inf..

[10] Pierre Siegel,et al. A Representation Theorem for Preferential Logics , 1996, KR.

[11] Hector Geffner,et al. Default reasoning - causal and conditional theories , 1992 .

[12] Grigoris Antoniou,et al. Nonmonotonic reasoning , 1997 .

[13] Johan van Benthem,et al. Foundations of conditional logic , 1984, J. Philos. Log..