基于状态演算的智能主体推理算法及编程语言

摘要

本发明公开了一种基于状态演算的智能主体推理算法及编程语言，其基于公理集合论，引入正、负流集合来定义状态。本发明克服了流演算在状态表示上的固有缺陷，给出基于不完全状态的状态公式和知识表示方法，避免了一般用模态逻辑表示知识在实现上的困难。本发明给出了状态演算的公理系统和前推推理机制，证明了状态知识更新公理为表示和推理框架问题给出了一种自然有效的解决方案。本发明提出并实现了约束逻辑程序设计语言STEX。

主权项

一种基于状态演算的智能主体推理算法，基于公理集合论，引入正、负流集合来定义状态，其特征在于：State(s)的状态知识公式Ω(State(s))是由Knows(f，State(s))、Knows(N(f)，State(s))以及普通原子公式通过逻辑连接词∧、所构成的式子，即其中，f、是流，为n个两两不同的变量向量(n≥1)，为的非空子集，Ω、Ω1和Ω2为状态知识表达式。Knows(f，State(s))、Knows(N(f)，State(s))、称为原子状态知识公式。