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