在進(jìn)行科學(xué)研究和工程設(shè)計(jì)的工作中， 經(jīng)常需要根據(jù)變量間的實(shí)驗(yàn)數(shù)據(jù)，建立變量之間內(nèi)在規(guī)律的形式化描述。然而，從海量的實(shí)驗(yàn)數(shù)據(jù)中直接發(fā)現(xiàn)內(nèi)在規(guī)律是比較困難的。隨著計(jì)算機(jī)技術(shù)和數(shù)據(jù)擬合技術(shù)的發(fā)展， 人們提出了通過(guò)高次多項(xiàng)式來(lái)表示變量之間關(guān)系的方法。但是，數(shù)據(jù)擬合技術(shù)存在公式不夠直觀的問(wèn)題，從高次多項(xiàng)式中直接發(fā)現(xiàn)變量之間的關(guān)系比較困難。另外， 數(shù)據(jù)擬合技術(shù)中存在當(dāng)次數(shù)增大時(shí)系數(shù)行列式元素微小變化引起解顯著變化的“病態(tài)”問(wèn)題。經(jīng)驗(yàn)公式發(fā)現(xiàn)理論 FDD（Formula Discovery from Data）是應(yīng)用人工智能技術(shù)的機(jī)器發(fā)現(xiàn)技術(shù)和數(shù)據(jù)計(jì)算中的曲線擬合技術(shù)以及可視化技術(shù)結(jié)合起來(lái)的系統(tǒng)。它可以從大量的實(shí)驗(yàn)數(shù)據(jù)中進(jìn)行公式挖掘， 最終以初等函數(shù)的組合公式表示變量之間的關(guān)系。FDD 所發(fā)現(xiàn)的公式更為直觀地表現(xiàn)出變量之間的關(guān)系， 同時(shí)也解決了傳統(tǒng)數(shù)據(jù)擬合中存在的“病態(tài)”問(wèn)題。