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

基本信息

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

摘要

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