Hostname: page-component-cd9895bd7-gxg78 Total loading time: 0 Render date: 2024-12-14T11:05:58.422Z Has data issue: false hasContentIssue false
  • English
  • Français

Valuation structure

Published online by Cambridge University Press:  12 March 2014

Zhaohui Zhu ,
Zhenghua Pan ,
Shifu Chen  and
Wujia Zhu
Zhaohui Zhu
Affiliation:
Department of Computer Science, Nanjing University of Aeronautics and Astronautics, Nanjing, China210016 State Key Lab of Novel Software Technology, Nanjing University, Nanjing, China210093, E-mail: bnj4892856@jlonline.com
Zhenghua Pan
Affiliation:
Department of Computer Science, Nanjing University of Aeronautics and Astronautics, Nanjing, China210016, E-mail: pan_zhenghua@263.net
Shifu Chen
Affiliation:
State Key Lab of Novel Software Technology, Nanjing University, Nanjing, China210093, E-mail: chensf@nju.edu.cn
Wujia Zhu
Affiliation:
State Key Lab of Novel Software Technology, Nanjing University, Nanjing, China210093 Department of Computer Science, Nanjing University of Aeronautics and Astronautics, Nanjing, China210016, E-mail: wujiazhu@263.net
Get access Rights & Permissions [Opens in a new window]

Abstract

This paper introduces valuation structures associated with preferential models. Based on KLM valuation structures, we present a canonical approach to obtain injective preferential models for any preferential relation satisfying the property INJ, and give uniform proofs of representation theorems for injective preferential relations appeared in the literature. In particular, we show that, in any propositional language (finite or infinite), a preferential inference relation satisfies INJ if and only if it can be represented by a standard preferential model. This conclusion generalizes the result obtained by Freund. In addition, we prove that, when the language is finite, our framework is sufficient to establish a representation theorem for any injective relation.

Keywords

nonmonotonic logicinjective inference relationvaluation structurerepresentation theoremINJ property
Type
Research Article
Information
The Journal of Symbolic Logic , Volume 67 , Issue 1 , March 2002 , pp. 1 - 23
Copyright
Copyright © Association for Symbolic Logic 2002

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Bezzazi, H., Makinson, D., and Pérez, R. Pino, Beyond rational monotonicity: Some strong non-Horn rules for nonmonotonic inference relations, Journal of Logic and Computation, vol. 7 (1997), pp. 605–631.CrossRefGoogle Scholar
[2]Bezzazi, H. and Pérez, R. Pino, Rational transitivity and its models, Proceedings of the twenty-sixth international symposium on multiple-valued logic, IEEE Computer Society Press, 1996, pp. 160–165.Google Scholar
[3]Freund, M., Injective models and disjunctive relations, Journal of Logic and Computation, vol. 3 (1993), pp. 231–247.CrossRefGoogle Scholar
[4]Gabbay, D. M., Theoretical foundation for nonmonotonic reasoning in expert systems, Proceedings of the NATO advanced study institute on logics and models of concurrent systems, LaColle-sur-loup, France (Apr, K. R., editor), Springer-Verlag, Berlin, 1985, pp. 439–457.CrossRefGoogle Scholar
[5]Kraus, S., Lehmann, D., and Magidor, M., Nonmonotonic reasoning, preferential models and cumulative logics, Artificial Intelligence, vol. 44 (1990), no. 1-2, pp. 167–207.CrossRefGoogle Scholar
[6]Lehmann, D. and Magidor, M., What does a conditional knowledge base entail?, Artificial Intelligence, vol. 55 (1992), pp. 1–60.CrossRefGoogle Scholar
[7]Makinson, D., Handbook of logic in Artificial Intelligence and logic programming, vol. III, ch. 2, General patterns in nonmonotonic reasoning, Clarendon Press, Oxford, 1993.Google Scholar
[8]Pérez, R. Pino and Uzcátegui, Carlos, On representation theorems for nonmonotonic inference relation, to appear in this Journal, http://www.lif1.fr/GN0M/.Google Scholar
[9]Zhu, Zhaohui, Li, Bin, and Chen, Shifu, Valuation-ranked preferential model, The seventh international conference on principles of knowledge representation and reasoning (KR'2000), Breckenridge, Colorado, USA, April 11-15, 2000 (Cohn, A., Giunchilia, F., and Selman, B., editors), Morgan Kaufmann Publishers, 2000, pp. 647–653.Google Scholar