布爾網(wǎng)絡(luò)是一種重要的基因調(diào)控?cái)?shù)學(xué)模型,從布爾網(wǎng)絡(luò)的狀態(tài)變換推斷其結(jié)構(gòu)以發(fā)現(xiàn)基因之間的調(diào)控關(guān)系是布爾網(wǎng)絡(luò)研究中長期關(guān)注的重要問題。已有的歸納邏輯程序算法不能從布爾網(wǎng)絡(luò)的不確定（解釋）狀態(tài)變換學(xué)習(xí)推斷其網(wǎng)絡(luò)結(jié)構(gòu)。為此,文中提出了非確定解釋轉(zhuǎn)換學(xué)習(xí)（Learning From Non-deterministic interpretation Transitions,LFNDIT）算法從布爾網(wǎng)絡(luò)異步更新語義下的解釋變換學(xué)習(xí)其網(wǎng)絡(luò)結(jié)構(gòu)。首先將異步更新語義下的不確定解釋變換集轉(zhuǎn)換成確定解釋變換集,然后利用Inoue等提出的從1步解釋轉(zhuǎn)換學(xué)習(xí)（Learning From 1-step state transition,LF1T）算法計(jì)算其對(duì)應(yīng)的正規(guī)邏輯程序（布爾網(wǎng)絡(luò)）。該算法的完備性得到了證明,初步的實(shí)驗(yàn)結(jié)果表明,該方法能有效地從不確定狀態(tài)變換計(jì)算布爾網(wǎng)絡(luò)的結(jié)構(gòu),從而為發(fā)現(xiàn)布爾網(wǎng)絡(luò)的結(jié)構(gòu)提供了新的思路。 

【文章來源】：計(jì)算機(jī)科學(xué). 2020,47(11)北大核心CSCD

【文章頁數(shù)】：7 頁

【文章目錄】：
1 引言
2 背景知識(shí)
    2.1 布爾網(wǎng)絡(luò)
    2.2 正規(guī)邏輯程序
    2.3 布爾網(wǎng)絡(luò)與正規(guī)邏輯程序
3 布爾網(wǎng)絡(luò)的語義
4 解釋集合變換
5 LFNDIT算法
6 實(shí)驗(yàn)



本文編號(hào)：3561473