基于復(fù)雜推理網(wǎng)絡(luò)的自動(dòng)解題方法
基本信息
| 申請(qǐng)?zhí)?/td> | CN201810979453.1 | 申請(qǐng)日 | - |
| 公開(kāi)（公告）號(hào) | CN109271511A | 公開(kāi)（公告）日 | 2019-01-25 |
| 申請(qǐng)公布號(hào) | CN109271511A | 申請(qǐng)公布日 | 2019-01-25 |
| 分類(lèi)號(hào) | G06F16/35;G06F16/36;G06Q50/20 | 分類(lèi) | 計(jì)算；推算；計(jì)數(shù); |
| 發(fā)明人 | 李巧艷;謝德剛 | 申請(qǐng)（專(zhuān)利權(quán)）人 | 上?；ソ讨悄芸萍加邢薰?/a> |
| 代理機(jī)構(gòu) | - | 代理人 | - |
| 地址 | 201210 上海市浦東新區(qū)中國(guó)(上海)自由貿(mào)易試驗(yàn)區(qū)張江路368號(hào)29幢211室 | ||
| 法律狀態(tài) | - | ||
摘要
| 摘要 | 一種基于復(fù)雜推理網(wǎng)絡(luò)的自動(dòng)解題方法，包括以下步驟：S1：編寫(xiě)基礎(chǔ)規(guī)則，S2：歸納總結(jié)數(shù)學(xué)邏輯，提取解題流程，編寫(xiě)規(guī)則流，規(guī)則流是由多條基礎(chǔ)規(guī)則組合而成，用于處理數(shù)學(xué)邏輯中常見(jiàn)的解題模式；S3：針對(duì)觸發(fā)的規(guī)則，記錄下其規(guī)則名，規(guī)則的條件和結(jié)論，基礎(chǔ)規(guī)則與規(guī)則流分別插入并保存在不同的容器中；S4：利用定時(shí)器，每經(jīng)過(guò)一個(gè)時(shí)間間隔檢查容器中事實(shí)數(shù)目的變化，當(dāng)工作空間中存在與求解目標(biāo)等價(jià)的事實(shí)或容器中的規(guī)則數(shù)目不再發(fā)生變化時(shí)，則停機(jī)；S5：自動(dòng)整理并形成推理網(wǎng)絡(luò)并正向輸出。 |
