基于状态演算的智能主体推理算法及编程语言
基本信息
| 申请号 | CN201410146738.9 | 申请日 | - |
| 公开（公告）号 | CN104090744A | 公开（公告）日 | 2014-10-08 |
| 申请公布号 | CN104090744A | 申请公布日 | 2014-10-08 |
| 分类号 | G06F9/44(2006.01)I | 分类 | 计算；推算；计数; |
| 发明人 | 吴庆;朱会娟;施炜雷;史晓亮 | 申请（专利权）人 | 江苏盛世云图数字科技有限公司 |
| 代理机构 | - | 代理人 | - |
| 地址 | 215500 江苏省常熟市东南开发区东南大道68号1栋科创大厦 | ||
| 法律状态 | - | ||
摘要
| 摘要 | 本发明公开了一种基于状态演算的智能主体推理算法及编程语言，其基于公理集合论，引入正、负流集合来定义状态。本发明克服了流演算在状态表示上的固有缺陷，给出基于不完全状态的状态公式和知识表示方法，避免了一般用模态逻辑表示知识在实现上的困难。本发明给出了状态演算的公理系统和前推推理机制，证明了状态知识更新公理为表示和推理框架问题给出了一种自然有效的解决方案。本发明提出并实现了约束逻辑程序设计语言STEX。 |
