Interpolation by lattice polynomial functions: a polynomial time algorithm

Quentin Brabant 1 Miguel Couceiro 1 José Figueira 2
1 ORPAILLEUR - Knowledge representation, reasonning
Inria Nancy - Grand Est, LORIA - NLPKD - Department of Natural Language Processing & Knowledge Discovery
Abstract : This paper deals with the problem of interpolating partial functions over finite distributive lattices by lattice polynomial functions. More precisely, this problem can be formulated as follows: Given a finite dis-tributive lattice L and a partial function f from D ⊆ L n to L, find all the lattice polynomial functions that interpolate f on D. If the set of lattice polynomials interpolating a function f is not empty, then it has a unique upper bound and a unique lower bound. This paper presents a new description of these bounds and proposes an algorithm for computing them that runs in polynomial time, thus improving existing methods. Furthermore, we present an empirical study on randomly generated datasets that illustrates our theoretical results.
Document type :
Journal articles
Complete list of metadatas

Cited literature [32 references]  Display  Hide  Download
Contributor : Quentin Brabant <>
Submitted on : Friday, April 26, 2019 - 11:39:52 AM
Last modification on : Saturday, June 1, 2019 - 11:26:02 AM


Files produced by the author(s)




Quentin Brabant, Miguel Couceiro, José Figueira. Interpolation by lattice polynomial functions: a polynomial time algorithm. Fuzzy Sets and Systems, Elsevier, 2019, 368, pp.101-118. ⟨10.1016/j.fss.2018.12.009⟩. ⟨hal-01958903v2⟩



Record views


Files downloads