基于狀態(tài)演算的智能主體推理算法及編程語(yǔ)言

基本信息

申請(qǐng)?zhí)?/td> CN201410146738.9 申請(qǐng)日 -
公開（公告）號(hào) CN104090744A 公開（公告）日 2014-10-08
申請(qǐng)公布號(hào) CN104090744A 申請(qǐng)公布日 2014-10-08
分類號(hào) G06F9/44(2006.01)I 分類 計(jì)算；推算；計(jì)數(shù);
發(fā)明人 吳慶;朱會(huì)娟;施煒雷;史曉亮 申請(qǐng)（專利權(quán)）人 江蘇盛世云圖數(shù)字科技有限公司
代理機(jī)構(gòu) - 代理人 -
地址 215500 江蘇省常熟市東南開發(fā)區(qū)東南大道68號(hào)1棟科創(chuàng)大廈
法律狀態(tài) -

摘要

摘要 本發(fā)明公開了一種基于狀態(tài)演算的智能主體推理算法及編程語(yǔ)言，其基于公理集合論，引入正、負(fù)流集合來(lái)定義狀態(tài)。本發(fā)明克服了流演算在狀態(tài)表示上的固有缺陷，給出基于不完全狀態(tài)的狀態(tài)公式和知識(shí)表示方法，避免了一般用模態(tài)邏輯表示知識(shí)在實(shí)現(xiàn)上的困難。本發(fā)明給出了狀態(tài)演算的公理系統(tǒng)和前推推理機(jī)制，證明了狀態(tài)知識(shí)更新公理為表示和推理框架問(wèn)題給出了一種自然有效的解決方案。本發(fā)明提出并實(shí)現(xiàn)了約束邏輯程序設(shè)計(jì)語(yǔ)言STEX。