×

The non-archimedean polynomials and merging of stratified knowledge bases. (English) Zbl 1245.68196

Sossai, Claudio (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 10th European conference, ECSQARU 2009, Verona, Italy, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02905-9/pbk). Lecture Notes in Computer Science 5590. Lecture Notes in Artificial Intelligence, 408-420 (2009).
Summary: In this paper, a new algebraic representation by the non-Archimedean fields is proposed to model stratified/ranked knowledge bases. The non-Archimedean representation is in the form of the non-Archimedean polynomials. With the non-Archimedean representation, the most widely used ordering strategies are easily induced and compared. Moreover, a framework of prioritized merging operators using the non-Archimedean representation is presented. It is shown that these merging operators satisfy the prioritized merging properties proposed by Delgrande, Dubois and Lang. In addition, several prioritized merging operators in the literature are proved to be special cases of the framework. Furthermore, the egalitarist fusion of incommensurable ranked bases by Benferhat, Lagrue and Rossit is also derived from the non-Archimedean representation.
For the entire collection see [Zbl 1165.68020].

MSC:

68T30 Knowledge representation
12J25 Non-Archimedean valued fields
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Benferhat, S., Cayrol, C., Dubois, D., Lang, J., Prade, H.: Inconsistency management and prioritized syntax-based entailment. In: Proc. of IJCAI 1993, pp. 640–647 (1993)
[2] Benferhat, S., Dubois, D., Lagrue, S., Papini, O.: Making revision reversible: an approach based on polynomials. Fundamenta Informaticae 53(3-4), 251–280 (2002) · Zbl 1049.03014
[3] Benferhat, S., Lagrue, S., Rossit, J.: An Egalitarist Fusion of Incommensurable Ranked Belief Bases under Constraints. In: Proc. of AAAI 2007, pp. 367–372 (2007)
[4] Brewka, G.: A rank based description language for qualitative preferences. In: Proc. of ECAI 2004, pp. 303–307 (2004)
[5] Delgrande, J., Dubois, D., Lang, J.: Iterated revision as prioritized merging. In: Proc. of KR 2006, pp. 210–220 (2006)
[6] Dubois, D., Prade, H.: Epistemic entrenchment and possibilistic logic. Artificial Intelligence 50, 223–239 (1991) · Zbl 0749.03019 · doi:10.1016/0004-3702(91)90101-O
[7] Hammond, P.J.: Non-Archimedean Subjective Probabilities in Decision Theory and Games. Mathematical Social Sciences 38(2), 139–156 (1999) · Zbl 0962.91010 · doi:10.1016/S0165-4896(99)00011-6
[8] Konieczny, S., Lang, J., Marquis, P.: DA2 merging operators. Artif. Intel. 157, 49–79 (2004) · Zbl 1085.68167 · doi:10.1016/j.artint.2004.04.008
[9] Lehmann, D.: Another perspective on default reasoning. Annals of Mathematics and Art. Int. 15(1), 61–82 (1995) · Zbl 0857.68096
[10] Lehmann, D.: Nonstandard numbers for qualitative decision making. In: Proc. of TARK 1998, pp. 161–174 (1998)
[11] Nebel, B.: Base revision operations and schemes: Semantics, representation, and complexity. In: Proc. of ECAI 1994, pp. 341–345 (1994)
[12] Papini, O.: Iterated Revision Operations Stemming from the History of an Agent’s Observations. In: Rott, H., Williams, M. (eds.) Frontiers of Belief Revision, pp. 279–301. Kluwer Academic, Dordrecht (2001) · Zbl 1004.03013 · doi:10.1007/978-94-015-9817-0_14
[13] Pearl, J.: From Adams conditionals to default expressions, causal conditionals and coounterfactuals. In: Eells, E., Skyrms, B. (eds.) Probability and Conditionals: Belief Revision and Rational Decision (1994)
[14] Qi, G., Liu, W., Bell, D.A.: Merging stratified knowledge bases under constraints. In: Proc. of AAAI 2006, pp. 281–286 (2006)
[15] Robinson, A.: Function Theory on Some Nonarchimedean Fields. American Mathematical Monthly: Papers in the Foundations of Mathematics 80, 87–109 (1973) · Zbl 0269.26020 · doi:10.2307/3038223
[16] Spohn, W.: Ordinal Conditional Functions: A Dynamic Theory of Epistemic States. In: Harper, W., Skyrms, B. (eds.) Causation in Decision, Belief Change, and Statistics, vol. 2, pp. 105–134. Kluwer Academic Publishers, Dordrecht (1988) · doi:10.1007/978-94-009-2865-7_6
[17] Toloo, M., Nalchigar, S.: A new integrated DEA model for finding most BCC-efficient DMU. Applied Mathematical Modelling 33(1), 597–604 (2009) · Zbl 1167.90496 · doi:10.1016/j.apm.2008.02.001
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.