基于復(fù)雜推理網(wǎng)絡(luò)的自動解題方法

基本信息

申請?zhí)?/td> CN201810979453.1 申請日 -
公開（公告）號 CN109271511A 公開（公告）日 2019-01-25
申請公布號 CN109271511A 申請公布日 2019-01-25
分類號 G06F16/35;G06F16/36;G06Q50/20 分類 計算；推算；計數(shù);
發(fā)明人 李巧艷;謝德剛 申請（專利權(quán)）人 上?；ソ讨悄芸萍加邢薰?/a>
代理機(jī)構(gòu) - 代理人 -
地址 201210 上海市浦東新區(qū)中國(上海)自由貿(mào)易試驗(yàn)區(qū)張江路368號29幢211室
法律狀態(tài) -

摘要

摘要 一種基于復(fù)雜推理網(wǎng)絡(luò)的自動解題方法，包括以下步驟：S1：編寫基礎(chǔ)規(guī)則，S2：歸納總結(jié)數(shù)學(xué)邏輯，提取解題流程，編寫規(guī)則流，規(guī)則流是由多條基礎(chǔ)規(guī)則組合而成，用于處理數(shù)學(xué)邏輯中常見的解題模式；S3：針對觸發(fā)的規(guī)則，記錄下其規(guī)則名，規(guī)則的條件和結(jié)論，基礎(chǔ)規(guī)則與規(guī)則流分別插入并保存在不同的容器中；S4：利用定時器，每經(jīng)過一個時間間隔檢查容器中事實(shí)數(shù)目的變化，當(dāng)工作空間中存在與求解目標(biāo)等價的事實(shí)或容器中的規(guī)則數(shù)目不再發(fā)生變化時，則停機(jī)；S5：自動整理并形成推理網(wǎng)絡(luò)并正向輸出。