Skip to main content Accessibility help

On representation theorems for nonmonotonic consequence relations

  • Ramón Pino Pérez (a1) (a2) and Carlos Uzcátegui (a3)


One of the main tools in the study of nonmonotonic consequence relations is the representation of such relations in terms of preferential models. In this paper we give an unified and simpler framework to obtain such representation theorems.


Corresponding author

CRIL, Faculté des Sciences, Université d'Artois, 62307 Lens, France


Hide All
[1]Bezzazi, H., Makinson, D., and Pérez, R. Pino, Beyond rational monotony: some strong non-Horn rules for nonmonotonic inference relations, Journal of Logic and Computation, vol. 7 (1997), pp. 605–631.
[2]Bezzazi, H. and Pérez, R. Pino, Rational transitivity and its models, Proceedings of the twenty-sixth international symposium on multiple-valued logic (Santiago de Compostela, Spain), IEEE Computer Society Press, May 1996, pp. 160–165.
[3]Freund, M., Injective models and disjunctive relations, Journal of Logic and Computation, vol. 3 (1993), pp. 231–247.
[4]Freund, M., Lehmann, D., and Morris, P., Rationality, transitivity and contraposition, Artificial Intelligence, vol. 52 (1991), pp. 191–203.
[5]Gärdenfors, P. and Makinson, D., Nonmonotonic inferences based on expectations, Artificial Intelligence, vol. 65 (1994), pp. 197–245.
[6]Kraus, S., Lehmann, D., and Magidor, M., Nonmonotonic reasoning, preferential models and cumulative logics, Artificial Intelligence, vol. 14 (1990), no. 1, pp. 167–207.
[7]Lehmann, D. and Magidor, M., What does a conditional knowledge base entail?, Artificial Intelligence, vol. 55 (1992), pp. 1–60.
[8]Lobo, J. and Uzcátegui, C., Abductive consequence relations, Artificial Intelligence, vol. 89 (1997), pp. 149–171.
[9]Makinson, D., General patterns in nonmonotonic reasoning, Handbook of Logic in Artificial Intelligence and Logic Programming (Hogger, C., Gabbay, D., and Robinson, J., editors), vol. 111, Nonmonotonic Reasoning and Uncertain Reasoning, Oxford University Press, 1994.
[10]Pérez, R. Pino and Uzcátegui, C., Jumping to explanations vs. jumping to conclusions, Artificial Intelligence, vol. 111 (1999), no. 2, pp. 131–169.
[11]Satoh, Ken, A probabilistic interpretation for lazy nonmonotonic reasoning, Proceedings of AAAI-90 (Boston), August 1990, pp. 659–664.

Related content

Powered by UNSILO

On representation theorems for nonmonotonic consequence relations

  • Ramón Pino Pérez (a1) (a2) and Carlos Uzcátegui (a3)


Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed.