Abstrakt. Detta dokument presenterar en felande länk mellan Plotkins minst generella generaliseringsformalism och generalisering på stiftelsen Order Sorterad Feature (FOS). En funktionsbegrepp (eller -term) är en utökad logisk term baserad på beställda typer och är en normal form av en FOS-term. En axiomatic definition av  på sikt generalisering ges som en uppsättning FOS-klausul generalisering regler och den minst generalitet av den axiomatiska definitionen bevisas i betydelsen av Plotkin minsta generalisering (lgg). Definitionens riktighet anges på grundval av den axiomatiska grunden. En operativ definition av den minsta generaliseringen av klausuler som bygger på villkor visas också som ett förverkligande av den axiomatiska definitionen.
En operativ definition av den minsta generaliseringen av klausuler baserade på (ordningssorterade) särdrag ges i REF.
An Axiomatic Approach to Feature Term Generalization
{'venue': 'ECML', 'journal': None, 'mag_field_of_study': ['Computer Science']}