The Non-archimedean Polynomials and Merging of Stratified Knowledge Bases

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.

[1]  Wolfgang Spohn,et al.  Ordinal Conditional Functions: A Dynamic Theory of Epistemic States , 1988 .

[2]  Didier Dubois,et al.  Inconsistency Management and Prioritized Syntax-Based Entailment , 1993, IJCAI.

[3]  Guilin Qi,et al.  Merging Stratified Knowledge Bases under Constraints , 2006, AAAI.

[4]  Didier Dubois,et al.  Iterated Revision as Prioritized Merging , 2006, KR.

[5]  Abraham Robinson,et al.  Function Theory on Some Nonarchimedean Fields , 1973 .

[6]  William Harper,et al.  Causation in decision, belief change, and statistics , 1988 .

[7]  Ellery Eells,et al.  Probability and conditionals: belief revision and rational decision , 1994 .

[8]  Peter J. Hammond,et al.  Non-Archimedean Subjective Probabilities in Decision Theory and Games , 1997 .

[9]  Daniel Lehmann,et al.  Another perspective on default reasoning , 1995, Annals of Mathematics and Artificial Intelligence.

[10]  Odile Papini.  Iterated Revision Operations Stemming from the History of an Agent’s Observations , 2001 .

[11]  Mehdi Toloo,et al.  A NEW INTEGRATED DEA MODEL FOR FINDING MOST BCC-EFFICIENT DMU , 2009 .

[12]  Daniel Lehmann,et al.  Nonstandard Numbers for Qualitative Decision Making , 1998, TARK.

[13]  Salem Benferhat,et al.  An Egalitarist Fusion of Incommensurable Ranked Belief Bases under Constraints , 2007, AAAI.

[14]  Odile Papini,et al.  Making revision reversible: an approach based on polynomials , 2002, Fundam. Informaticae.

[15]  Didier Dubois,et al.  Epistemic Entrenchment and Possibilistic Logic , 1991, Artif. Intell..

[16]  Judea Pearl,et al.  From Adams' conditionals to default expressions, causal conditionals, and counterfactuals , 1994 .

[17]  Hiroshi Tomita,et al.  Book Review / Erratum , 2006, Ophthalmologica.

[18]  J. Lang,et al.  DA 2 merging operators ✩ , 2004 .

[19]  Bernhard Nebel,et al.  Base Revision Operations and Schemes: Semantics, Representation and Complexity , 1994, ECAI.

[20]  Gerhard Brewka,et al.  A rank based description language for qualitative preferences , 2004, NMR.